|
61 |
How to prove security of communication protocols? A discussion on the soundness of formal models w.r.t. computational ones.
Comon-Lundh, Hubert. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
|
|
|
|
62 |
Evolving Multialgebras Unify All Usual Sequential Computation Models
Grigorieff, Serge. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
|
|
|
|
63 |
Named Models in Coalgebraic Hybrid Logic
Schröder, Lutz. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
|
|
|
|
64 |
About models of security protocols
Comon-Lundh, Hubert. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008
|
|
|
|
65 |
Space Hierarchy Results for Randomized Models
Kinne, Jeff. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008
|
|
|
66 |
A ‘Divergence Problem’ of global explanatory models in-between science and humanities
Enthalten in Humanities and Social Sciences Communications Bd. 10, 26.10.2023, Nr. 1, date:12.2023: 1-6
|
|
|
|
67 |
Advancing complexity science in healthcare research: the logic of logic models
Enthalten in BMC medical research methodology Bd. 19, 12.3.2019, Nr. 1, date:12.2019: 1-11
|
|
|
|
68 |
AI-assisted discovery of quantitative and formal models in social science
Enthalten in Humanities and Social Sciences Communications Bd. 12, 31.1.2025, Nr. 1, date:12.2025: 1-12
|
|
|
|
69 |
Basic science of electronic cigarettes: assessment in cell culture and in vivo models
Enthalten in Respiratory research Bd. 17, 7.10.2016, Nr. 1, date:12.2016: 1-5
|
|
|
|
70 |
Between Education and Opinion-Making
Enthalten in Science & education Bd. 29, 9.9.2020, Nr. 5, date:10.2020: 1117-1138
|
|
Administration
