Search

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

Search Constraints

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

Search Results

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

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

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

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

10. Multiple Partonic Interactions in Herwig++

11. European Middle Ages

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

23. MARCIE’s Secrets of Efficient Model Checking

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

29. Introduction

34. 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

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

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

46. MARCIE – Model Checking and Reachability Analysis Done Efficiently

47. Snoopy – A Unifying Petri Net Tool

Catalog

Books, media, physical & digital resources