MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
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
1
Show details for Kaelbling, Leslie (ed.)Kaelbling, Leslie (ed.)
1
Show details for Kakas, A. C. (ed.)Kakas, A. C. (ed.)
1
Show details for Kaoen, Joost-Pieter (ed.)Kaoen, Joost-Pieter (ed.)
1
Show details for Kaplan, St. (ed.)Kaplan, St. (ed.)
2
Show details for Kapur, Deepak (ed.)Kapur, Deepak (ed.)
2
Show details for Kapur, D. (ed.)Kapur, D. (ed.)

Next Page