No. Title Author Year
1 Astromomie und Informatik (Dagstuhl Seminar 99321) Oberschelp, Walter et al. 2021
2 Design of Systems with Predictable Behaviour (Dagstuhl Seminar 03471) Thiele, Lothar et al. 2021
3 Informatics 10 Years Back, 10 Years Ahead (Dagstuhl Seminar 00352) Wilhelm, Reinhard 2021
4 Software Optimization (Dagstuhl Seminar 03351) Graham, Susan L. et al. 2021
5 Mixed Feelings About Mixed Criticality (Invited Paper) Wilhelm, Reinhard 2018
6 Resource Bound Analysis (Dagstuhl Seminar 17291) Gaboardi, Marco et al. 2018
7 Dagstuhl Annual Report January - December 2011 Müller-von Brochowski, Angelika et al. 2012
8 Dagstuhl Tätigkeitsbericht Januar - Dezember 2011 Müller-von Brochowski, Angelika et al. 2012
9 OASIcs, Volume 18, PPES'11, Complete Volume Lucas, Philipp et al. 2012
10 OASIcs, Volume 3, Trustworthy SW'06, Complete Volume Autexier, Serge et al. 2012
11 A Template for Predictability Definitions with Supporting Evidence Grund, Daniel et al. 2011
12 Dagstuhl Annual Report January - December 2010 Müller-von Brochowski, Angelika et al. 2011
13 Dagstuhl News January - December 2011 Müller, Fritz et al. 2011
14 Dagstuhl Tätigkeitsbericht Januar - Dezember 2010 Müller-von Brochowski, Angelika et al. 2011
15 Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482) Kreiker, Jörg et al. 2011
16 Preface (Frontmatter, Table of Contents, Preface) Lucas, Philipp et al. 2011
17 Dagstuhl News January - December 2010 Müller, Fritz et al. 2010
18 Dagstuhl Tätigkeitsbericht Januar - Dezember 2009 Müller-von Brochowski, Angelika et al. 2010
19 Dagstuhl Annual Report January - December 2000 Müller-von Brochowski, Angelika et al. 2009
20 Dagstuhl Annual Report January - December 2003 Müller-von Brochowski, Angelika et al. 2009
21 Dagstuhl Annual Report January - December 2004 Müller-von Brochowski, Angelika et al. 2009
22 Dagstuhl Annual Report January - December 2005 Müller-von Brochowski, Angelika et al. 2009
23 Dagstuhl Annual Report January - December 2006 Müller-von Brochowski, Angelika et al. 2009
24 Dagstuhl Annual Report January - December 2007 Müller-von Brochowski, Angelika et al. 2009
25 Dagstuhl Annual Report January - December 2008 Müller-von Brochowski, Angelika et al. 2009
26 Dagstuhl News January - December 2009 Müller, Fritz et al. 2009
27 Dagstuhl Tätigkeitsbericht Januar - Dezember 2000 Müller-von Brochowski, Angelika et al. 2009
28 Dagstuhl Tätigkeitsbericht Januar - Dezember 2001 Müller-von Brochowski, Angelika et al. 2009
29 Dagstuhl Tätigkeitsbericht Januar - Dezember 2002 Müller-von Brochowski, Angelika et al. 2009
30 Dagstuhl Tätigkeitsbericht Januar - Dezember 2004 Müller-von Brochowski, Angelika et al. 2009
Current Page :
Number of result pages: 2
Number of documents: 57


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI