Search

Your search keyword '"Rohr, Christian"' showing total 380 results

Search Constraints

Start Over You searched for: Author "Rohr, Christian" Remove constraint Author: "Rohr, Christian"
380 results on '"Rohr, Christian"'

Search Results

6. Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams

7. Instrumental Meteorological Records Before 1850 : An Inventory

8. UNLOCKING PRE-1850 INSTRUMENTAL METEOROLOGICAL RECORDS : A Global Inventory

11. Current European flood-rich period exceptional compared with past 500 years

12. Model Checking Contest @ Petri Nets, Report on the 2013 edition

13. Multiple Partonic Interactions in Herwig++

14. European Middle Ages

15. JAK/STAT signalling - an executable model assembled from molecule-centred modules demonstrating a module-oriented database concept for systems- and synthetic biology

20. Universitäre Weiterbildung und Digitalisierung im Umbruch – zwischen COVID und der immer prominenteren Rolle Künstlicher Intelligenz.

28. MARCIE’s Secrets of Efficient Model Checking

30. Introduction

33. Disaster memory and ‘banished memory’. General considerations and case studies from Europe and the United States (19th-21st centuries)

40. Early Humidity Measurements by Louis Morin in Paris between 1701 and 1711—Data and Metadata

42. Auf dem Weg in eine 'Katastrophen-Verdrängungsgesellschaft' und zurück? Formen und Konjunkturen der Erinnerungskulturen an Katastrophen von der Frühen Neuzeit bis heute

46. An empirical perspective for understanding climate change impacts in Switzerland

49. Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators

50. MARCIE – Model Checking and Reachability Analysis Done Efficiently

Catalog

Books, media, physical & digital resources