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 

Webinar: Get your writing project started, prevent plagiarism and publish

Join our webinar on 01 October 2024 from 16.00 to 17.15 for tips and tools for a productive doctorate. Read more

Fit in research data management – workshop series in Autumn Semester 2024

Get yourself and your research project in shape with our research data management workshop programme. You can now register for the Autumn Semester 2024 workshops. Read more

Short and sweet: the “RDM Guidelines” for ETH researches explained

In a series of short videos, we explain the most important aspects of the “RDM Guidelines” quickly and easily – for good scientific practice and FAIR data. Read more

  

Recently Added 

  1. Agricultural practices and biodiversity: Conservation policies for semi-natural grasslands in Europe 

    Shipley, Ryan; Frei, Esther R.; Bergamini, Ariel; et al. (2024)
    Current Biology
    Europe's semi-natural grasslands support notably high levels of temperate biodiversity across multiple taxonomic groups. However, these ecosystems face unique conservation challenges. Contemporary agricultural practices have replaced historical traditional low-intensity agriculture in many regions, resulting in a spectrum of management intensities within these ecosystems, ranging from highly intensive methods to complete abandonment. ...
    Journal Article

  2. FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format 

    Xiao, Shengping; Zhang, Chengyu; Li, Jianwen; et al. (2023)
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2023
    We present FuzzBtor2, a fuzzer to generate random word-level model checking problems in Btor2 format. Btor2 is one of the mainstream input formats for word-level hardware model checking and was used in the most recent hardware model checking competition. Compared to bit-level one, word-level model checking is a more complex research field at an earlier stage of development. Therefore, it is necessary to develop a tool that can produce a ...
    Conference Paper

  3. Explainable Online Monitoring of Metric Temporal Logic 

    Lima, Leonardo; Herasimau, Andrei; Raszyk, Martin; et al. (2023)
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2023
    Runtime monitors analyze system execution traces for policy compliance. Monitors for propositional specification languages, such as metric temporal logic (MTL), produce Boolean verdicts denoting whether the policy is satisfied or violated at a given point in the trace. Given a sufficiently complex policy, it can be difficult for the monitor's user to understand how the monitor arrived at its verdict. We develop an MTL monitor that outputs ...
    Conference Paper

  4. Cold reactions of He<sup>+</sup> with OCS and CO<sub>2</sub>: competitive kinetics and the effects of the molecular multipole moments 

    Martins, Fernanda B. V.; Zhelyazkova, Valentina; Merkt, Frédéric (2024)
    Physical Chemistry Chemical Physics
    Journal Article

  5. Structural build-up at rest in the induction and acceleration periods of Portland Cement 

    Michel, Luca; Reiter, Lex; Sanner, Antoine; et al. (2024)
    Cement and Concrete Research
    Structural build-up in fresh cement paste at rest is characterized by time evolutions of storage modulus and yield stress, which both increase linearly in time during the induction period of hydration, followed by an exponential evolution after entering the acceleration period. Here, we investigate structural build-up by coupling calorimetry and oscillatory shear measurements of Portland Cement at different w/c ratios and in the absence ...
    Journal Article

View more