MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
6
Show details for Gabbay, Dov M.Gabbay, Dov M.
5
Show details for Gabbay, Dov M. (ed.)Gabbay, Dov M. (ed.)
4
Show details for Gabbay, Dov (ed.)Gabbay, Dov (ed.)
2
Show details for Gaede, BerndGaede, Bernd
1
Show details for Gaglio, S. (ed.)Gaglio, S. (ed.)
1
Show details for Gaillourdet, Jean-MarieGaillourdet, Jean-Marie
1
Show details for Galmiche, DidierGalmiche, Didier
1
Show details for Galmiche, Didier (ed.)Galmiche, Didier (ed.)
1
Show details for Gamkrelidze, AlexanderGamkrelidze, Alexander
1
Show details for Ganzha, Victor G. (ed.)Ganzha, Victor G. (ed.)
58
Show details for Ganzinger, HaraldGanzinger, Harald
16
Show details for Ganzinger, Harald (ed.)Ganzinger, Harald (ed.)
1
Show details for Gao, X-S. (ed.)Gao, X-S. (ed.)
1
Show details for Gebhardt, J. (ed.)Gebhardt, J. (ed.)
1
Show details for Geffner, HectorGeffner, Hector
1
Show details for Geiger, Dan (ed.)Geiger, Dan (ed.)
5
Hide details for Georgieva, LiliaGeorgieva, Lilia
2005[Charatonik, Witold]
[Georgieva, Lilia]
Maier, Patrick		Bounded Model Checking of Pointer Programs
In: Computer Science Logic; 19th International Workshop, CSL 2005; 14th Annual Conference of the EACSL, 397-412		Proceedings Article
2005[Georgieva, Lilia]
Maier, Patrick		Description Logics for Shape Analysis
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 321-330		Proceedings Article
2002[Georgieva, Lilia]
[Hustadt, Ullrich]
[Schmidt, Renate A.]		A New Clausal Class Decidable by HyperresolutionReport
2002[Georgieva, Lilia]
[Hustadt, Ullrich]
[Schmidt, Renate A.]		A New Clausal Class Decidable by Hyperresolution
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 260-274		Proceedings Article
2002[Georgieva, Lilia]
[Hustadt, Ullrich]
[Schmidt, Renate A.]		On the Relationship Between Decidable Fragments, Non-Classical Logics, and Description Logics
In: Proceedings of the International Workshop on Description Logics (DL'2002), 25-36		Proceedings Article
1
Show details for Gerards, Bert (ed.)Gerards, Bert (ed.)
1
Show details for Gerber, ChristianGerber, Christian
2
Show details for Geske, Ulrich (ed.)Geske, Ulrich (ed.)
1
Show details for Ginzburg, Jonathan (ed.)Ginzburg, Jonathan (ed.)
1
Show details for Giua, Alessandro (ed.)Giua, Alessandro (ed.)
1
Show details for Giunchiglia, Enrico (ed.)Giunchiglia, Enrico (ed.)
1
Show details for Giunchiglia, FaustoGiunchiglia, Fausto
1
Show details for Giunchiglia, Fausto (ed.)Giunchiglia, Fausto (ed.)

Next Page