Repositorium für Publikationen und Forschungsdaten

Suchen Sie in der Research Collection der ETH Zürich nach wissenschaftlichen Publikationen und Forschungsdaten oder laden Sie selbst eigenen Forschungsoutput hoch. Weiterlesen

Aktuell 

ORCID Autoren-Identifier in der Research Collection

Mit der Open Researcher and Contributor ID (ORCID) können Forschende eindeutig identifiziert und Publikationen korrekt Personen zugeordnet werden – neu ist das nun auch in der Research Collection der ETH Zürich möglich. Weiterlesen

Nationale Open Access Conference 2018

swissuniversities lädt ein zur National Open Access Conference am Freitag, 26. Oktober 2018 an der Universität Lausanne. Weiterlesen

Daten sicher aufbewahren und archivieren

Viele Datenträger veralten und gewisse Dateiformate laufen nach ein paar Jahren nicht mehr auf Ihrem Rechner. Doch wie lassen sich Daten am besten sichern und auf lange Zeit aufbewahren? Die Fachstelle Digitaler Datenerhalt der ETH-Bibliothek steht mit Rat und Tat zur Seite. Weiterlesen

Neueste Publikationen 

  1. Bayonet: Probabilistic inference for networks 

    Gehr T.; Misailovic S.; Tsankov P.; et al. (2018)
    Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
    Conference Paper
  2. Incremental inference for probabilistic programs 

    Cusumano-Towner M.; Bichsel B.; Gehr T.; et al. (2018)
    Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
    Conference Paper
  3. Static serializability analysis for causal consistency 

    Brutschy L.; Dimitrov D.; Müller P.; et al. (2018)
    Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
    Conference Paper
  4. Inferring Crypto API rules from code changes 

    Paletov R.; Tsankov P.; Raychev V.; et al. (2018)
    Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
    Conference Paper

Mehr anzeigen