MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
1
Show details for Ianni, Giovambattista (ed.)Ianni, Giovambattista (ed.)
1
Show details for Ida, Tetsuo (ed.)Ida, Tetsuo (ed.)
1
Show details for Ito, Takayasu (ed.)Ito, Takayasu (ed.)
1
Show details for Ito, T. (ed.)Ito, T. (ed.)
1
Show details for Iturrioz, LuisaIturrioz, Luisa
2
Show details for Iturrioz, Luisa (ed.)Iturrioz, Luisa (ed.)
4
Hide details for Jacobs, SwenJacobs, Swen
2007Jacobs, Swen
Sofronie-Stokkermans, Viorica		Applications of hierarchical reasoning in the verification of complex systems
In: Electronic Notes in Theoretical Computer Science [??],		Electronic Journal Article
2006Jacobs, Swen
Sofronie-Stokkermans, Viorica		Attachment IconApplications of hierarchical reasoning in the verification of complex systems
In: PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning, 15-26		Electronic Proceedings Article
2005Jacobs, Swen
Waldmann, Uwe		Attachment IconComparing Instance Generation Methods for Automated Reasoning
In: Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2005, 153-168		Proceedings Article
2004Jacobs, SwenAttachment IconInstance Generation Methods for Automated Reasoning
Universität des Saarlandes		Thesis - Masters thesis
4
Show details for Jacquemard, FlorentJacquemard, Florent
23
Show details for Jaeger, ManfredJaeger, Manfred
1
Show details for Jaffar, Joxan (ed.)Jaffar, Joxan (ed.)
1
Show details for Jamshidi, Mohammad (ed.)Jamshidi, Mohammad (ed.)
1
Show details for Jancar, Petr (ed.)Jancar, Petr (ed.)
1
Show details for Jantke, Klaus (ed.)Jantke, Klaus (ed.)
1
Show details for Jarrar, Mustafa (ed.)Jarrar, Mustafa (ed.)
1
Show details for Jaulin, LucJaulin, Luc
2
Show details for Jaume, MathieuJaume, Mathieu
1
Show details for Jensen, KurtJensen, Kurt
1
Show details for Jensen, Kurt (ed.)Jensen, Kurt (ed.)
1
Show details for Jeusfeld, Manfred A. (ed.)Jeusfeld, Manfred A. (ed.)
1
Show details for Johann, PatriciaJohann, Patricia
1
Show details for John Bell (ed.)John Bell (ed.)
1
Show details for Jones, Robert B. (ed.)Jones, Robert B. (ed.)
1
Show details for Josephs, BertholdJosephs, Berthold
3
Show details for Jouannaud, Jean-Pierre (ed.)Jouannaud, Jean-Pierre (ed.)
1
Show details for Juilland, Jacques (ed.)Juilland, Jacques (ed.)
1
Show details for Jung, GeorgJung, Georg

Next Page