Repository for Publications and Research Data

Search ETH Zurich’s Research Collection for scientific publications and research data or submit your own research output. Read more

News 

Into the summer with knowledge and caffeine – the Coffee Lectures in June

Can’t see your way through the open access jungle? Tangled up in literature management? Lacking inspiration for your holiday reading? Then come to one of our Coffee Lectures. All you need is 15 minutes. Read more

ETH RDM Summer School 2024 for early career scientists

The ETH Research Data Management Summer School 2024 still has some open spots. Take this great opportunity to learn more about the topic between 10-14th June 2024! Registration and more information

Coffee Lectures – check out our new programme

In just 15 minutes: Get useful tools and topics to support you in your daily research work – at the Coffee Lectures by the ETH Library. Read more

  

Recently Added 

  1. Leveraging Uniqueness for Modular Verification of Heap-Manipulating Programs 

    Astrauskas, Vytautas (2024)
    With software‘s ever-increasing role in human lives, ensuring its correctness is crucial. Deductive software verification enables formally proving that a program is functionally correct. However, verifying imperative heap-manipulating programming languages is notoriously difficult and requires complex specifications in powerful logics like separation logic. This complexity is a major obstacle to more widespread verification of imperative ...
    Doctoral Thesis

  2. The “Dark Side” of Community Ties: Collective Action and Lynching in Mexico 

    Nussio, Enzo (2024)
    American Sociological Review
    Lynching remains a common form of collective punishment for alleged wrongdoers in Latin America, Africa, and Asia today. Unlike other kinds of collective violence, lynching is usually not carried out by standing organizations. How do lynch mobs overcome the high barriers to violent collective action? I argue that they draw on local community ties to compensate for a lack of centralized organization. Lynch mobs benefit from solidarity and ...
    Journal Article

  3. Navigating Governance of CDR Certification in the Voluntary Carbon Market: Insights and Perspectives 

    Thorsdottir, Gudrun; Hondeborg, Dianne; Wicki, Michèle; et al. (2024)
    Report

  4. Dynamic wave measurement with a high spatial resolution distributed fiber optic pressure sensor 

    Höttges, Alessio; Smaadahl, Mikkel; Evers, Frederic M.; et al. (2024)
    IEEE Sensors Journal
    Wave assessment is essential for the design and monitoring of coastal structures, assisting engineers to ensure infrastructure integrity. Common methods for wave monitoring involve measuring water surface height or hydrostatic pressure, with pressure-based systems offering significant advantages, especially in the detection of small wave heights such as tsunamis in open ocean conditions. Distributed fiber optic (DFO) technology has played ...
    Journal Article

  5. Nachkriegsverschiebungen. Humanistische Rhetorik zwischen Erbe und Zensur 

    Rathjen, Lukas (2023)
    Censored? Conflicted Concepts of Cultural Heritage
    Book Chapter

View more