|
81 |
On the Complexity of Computing Maximum Entropy for Markovian Models
Chen, Taolue. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014
|
|
|
|
82 |
The Complexity of Counting Models of Linear-time Temporal Logic
Torfah, Hazem. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014
|
|
|
83 |
Joint Models for Longitudinal and Time‐to‐Event Data with Applications in R. Dimitris Rizopoulos (2012). Boca Raton: Chapman & Hall/CRC Texts in Statistical Science Series. 261 pages, ISBN: 978‐1439872864.
Enthalten in Biometrical journal Bd. 55, 2013, Nr. 5: 816-817. 2 S.
|
|
|
|
84 |
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
Danos, Vincent. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012
|
|
|
|
85 |
On the equational consistency of order-theoretic models of the lambda-calculus
Carraro, Alberto. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012
|
|
|
|
86 |
Filter Models: Non-idempotent Intersection Types, Orthogonality and Polymorphism
Bernadet, Alexis. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
|
|
|
|
87 |
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
|
|
|
|
88 |
Evolving Multialgebras Unify All Usual Sequential Computation Models
Grigorieff, Serge. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
|
|
|
|
89 |
Named Models in Coalgebraic Hybrid Logic
Schröder, Lutz. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
|
|
|
|
90 |
Transposition of EU-directives in the Austrian “Bundesländer” – Adoption of Political Science Implementation Models to the level of the Austrian states –
Enthalten in Vienna online journal on international constitutional law Bd. 4, 2010, Nr. 2: 203-216. 14 S.
|
|
Administration
