Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF RG1 Publications

MPI-INF RG1 Publications

Entries sorted by: 1. Author,Editor - 1. by Individual - 1. by Names

Login to this database


 

Viewing:

1. Author,Editor - 1. by Individual - 1. by Names
Next Page
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
#YearAuthor(s) [non member]TitleType
1
Show details for Cachro, Jacek (ed.)Cachro, Jacek (ed.)
1
Show details for Charatonik, Witold (ed.)Charatonik, Witold (ed.)
1
Show details for Cha, Sungdeok (Steve) (ed.)Cha, Sungdeok (Steve) (ed.)
1
Show details for Choi, Jin-Young (ed.)Choi, Jin-Young (ed.)
1
Show details for Christophe Ringeissen (ed.)Christophe Ringeissen (ed.)
1
Show details for Ciobanu, Gabriel (ed.)Ciobanu, Gabriel (ed.)
1
Show details for Clarke, Edmund M. (ed.)Clarke, Edmund M. (ed.)
2
Show details for Cohrs, ChristianCohrs, Christian
1
Show details for Contejean, Evelyne (ed.)Contejean, Evelyne (ed.)
3
Show details for Cook, Byron (ed.)Cook, Byron (ed.)
1
Show details for Cruz, Rene L. (ed.)Cruz, Rene L. (ed.)
1
Show details for D'Agostino, Marcello (ed.)D'Agostino, Marcello (ed.)
1
Show details for Dahn, Ingo (ed.)Dahn, Ingo (ed.)
8
Show details for Damm, WernerDamm, Werner
3
Show details for Damm, Werner Martin (ed.)Damm, Werner Martin (ed.)
5
Show details for Damm, Werner (ed.)Damm, Werner (ed.)
1
Show details for Davies, Jim	 (ed.)Davies, Jim (ed.)
1
Show details for Dawar, Anuj (ed.)Dawar, Anuj (ed.)
1
Show details for de Melo, Gerardde Melo, Gerard
2
Show details for de Nivelle, Hans (ed.)de Nivelle, Hans (ed.)
1
Show details for de Swart, Harrie (ed.)de Swart, Harrie (ed.)
1
Show details for Denney, Ewen (ed.)Denney, Ewen (ed.)
1
Show details for Dershowitz, Nachum (ed.)Dershowitz, Nachum (ed.)
1
Show details for Dhungana, DeepakDhungana, Deepak
2
Show details for Dierks, HenningDierks, Henning
3
Show details for Dimova, DilyanaDimova, Dilyana
1
Show details for Dingel, Juergen (ed.)Dingel, Juergen (ed.)
5
Show details for Disch, StefanDisch, Stefan
1
Show details for Dreschler-Fischer, Leonie (ed.)Dreschler-Fischer, Leonie (ed.)
2
Show details for Dreßler, ChristianDreßler, Christian
1
Show details for Eggers, AndreasEggers, Andreas
1
Show details for Egly, Uwe (ed.)Egly, Uwe (ed.)
1
Show details for Eiswirth, M.Eiswirth, M.
1
Show details for Eklund, Patrick (ed.)Eklund, Patrick (ed.)
2
Show details for Engel, ThorstenEngel, Thorsten
1
Show details for Errami, H.Errami, H.
1
Show details for Escalada-Imaz, Gonzalo (ed.)Escalada-Imaz, Gonzalo (ed.)
1
Show details for Esquivel Pinto, Claudia SofiaEsquivel Pinto, Claudia So fia
1
Show details for et. al. (ed.)et. al. (ed.)
3
Show details for Faber, JohannesFaber, Johannes
1
Show details for Fehrer, DetlefFehrer, Detlef
1
Show details for Felty, Amy (ed.)Felty, Amy (ed.)
1
Show details for Fermüller, Christian G. (ed.)Fermüller, Christian G. (ed.)
1
Show details for Fermüller, Christian (ed.)Fermüller, Christian (ed.)
1
Show details for Ferreirim, Isabel (ed.)Ferreirim, Isabel (ed.)
1
Show details for Fiedler, Herbert (ed.)Fiedler, Herbert (ed.)
9
Show details for Fietzke, ArnaudFietzke, Arnaud
1
Show details for Finkbeiner, Bernd (ed.)Finkbeiner, Bernd (ed.)
1
Show details for Fitting, Melvin (ed.)Fitting, Melvin (ed.)
1
Show details for Fontaine, PascalFontaine, Pascal
1
Show details for Fontaine, Pascal (ed.)Fontaine, Pascal (ed.)
8
Show details for Fränzle, Martin (ed.)Fränzle, Martin (ed.)
1
Show details for Frazzoli, Emilio (ed.)Frazzoli, Emilio (ed.)
7
Show details for Freiheit, JörnFreiheit, Jörn
2
Show details for Furbach, Ulrich (ed.)Furbach, Ulrich (ed.)
1
Show details for Gaede, BerndGaede, Bernd
1
Show details for Gaillourdet, Jean-MarieGaillourdet, Jean-Marie
15
Show details for Ganzinger, HaraldGanzinger, Harald
5
Show details for Ganzinger, Harald (ed.)Ganzinger, Harald (ed.)
1
Show details for Gasse, FrancisGasse, Francis
1
Show details for Ghilardi, SilvioGhilardi, Silvio
5
Show details for Ghilardi, Silvio (ed.)Ghilardi, Silvio (ed.)
1
Show details for Gibbons, Jeremy (ed.)Gibbons, Jeremy (ed.)
5
Show details for Giesl, Jürgen (ed.)Giesl, Jürgen (ed.)
1
Show details for Goldblatt, Robert (ed.)Goldblatt, Robert (ed.)
2
Show details for Goré, Rajeev (ed.)Goré, Rajeev (ed.)
1
Show details for Gorny, Peter (ed.)Gorny, Peter (ed.)
1
Show details for Gottlob, Georg (ed.)Gottlob, Georg (ed.)
1
Show details for Grädel, Erich (ed.)Grädel, Erich (ed.)
1
Show details for Graf, Susanne (ed.)Graf, Susanne (ed.)
1
Show details for Gramlich, Bernhard (ed.)Gramlich, Bernhard (ed.)
1
Show details for Grass, Werner (ed.)Grass, Werner (ed.)
1
Show details for Grigoriev. D.Grigoriev. D.
1
Show details for Grosu, Radu (ed.)Grosu, Radu (ed.)
1
Show details for Hähnle, ReinerHähnle, Reiner
5
Show details for Hähnle, Reiner (ed.)Hähnle, Reiner (ed.)
3
Show details for Hagemann, WillemHagemann, Willem
1
Show details for Hermanns, HolgerHermanns, Holger
5
Show details for Hermann, Miki (ed.)Hermann, Miki (ed.)
1
Show details for Higashino, Teruo (ed.)Higashino, Teruo (ed.)
18
Show details for Hillenbrand, ThomasHillenbrand, Thomas
2
Show details for Hirth, SimonHirth, Simon
1
Show details for Hölldobler, Steffen (ed.)Hölldobler, Steffen (ed.)
11
Show details for Horbach, MatthiasHorbach, Matthias
1
Show details for Horbach, Matthias (ed.)Horbach, Matthias (ed.)
1
Show details for Hotz, Günter (ed.)Hotz, Günter (ed.)
1
Show details for Hund, Marcus (ed.)Hund, Marcus (ed.)
2
Show details for Hungar, HardiHungar, Hardi
2
Show details for Hustadt, UllrichHustadt, Ullrich
14
Show details for Ihlemann, CarstenIhlemann, Carsten
1
Show details for Iorgulescu, Afrodita (ed.)Iorgulescu, Afrodita (ed.)
1
Show details for Iturrioz, LuisaIturrioz, Luisa
2
Show details for Iturrioz, Luisa (ed.)Iturrioz, Luisa (ed.)
14
Show details for Jacobs, SwenJacobs, Swen
1
Show details for Jacquemard, FlorentJacquemard, Florent
1
Show details for Jaeger, ManfredJaeger, Manfred
1
Show details for Kahle, Reinhard (ed.)Kahle, Reinhard (ed.)
2
Show details for Kapur, DeepakKapur, Deepak
2
Show details for Karl, CarstenKarl, Carsten
1
Show details for Karrenberg, RalfKarrenberg, Ralf
3
Show details for Keen, EnnoKeen, Enno
1
Show details for Kepser, Stephan (ed.)Kepser, Stephan (ed.)
1
Show details for Kerber, ManfredKerber, Manfred
1
Show details for Kerner, I. O. (ed.)Kerner, I. O. (ed.)
1
Show details for Kijania-Placek, Katarzyna (ed.)Kijania-Placek, Katarzyna (ed.)
1
Show details for Kim Moonzoo (ed.)Kim Moonzoo (ed.)
2
Show details for Kirchner, Claude (ed.)Kirchner, Claude (ed.)
1
Show details for Kirchner, HeleneKirchner, Helene
3
Show details for Kirchner, Hélène (ed.)Kirchner, Hélène (ed.)
1
Show details for Kleine Büning, HansKleine Büning, Hans
1
Show details for Kolaitis, Phokion (ed.)Kolaitis, Phokion (ed.)
1
Show details for Konev, Boris (ed.)Konev, Boris (ed.)
2
Show details for Korovin, KonstantinKorovin, Konstantin
2
Show details for Košta, MarekKošta, Marek
1
Show details for Košta, Marek (ed.)Košta, Marek (ed.)
8
Show details for Kruglov, EvgenyKruglov, Evgeny
1
Show details for Kunze, Jürgen (ed.)Kunze, Jürgen (ed.)
1
Show details for Kupferschmid, StefanKupferschmid, Stefan
3
Show details for Lamotte-Schubert, ManuelLamotte-Schubert, Manuel
1
Show details for Lamotte, ManuelLamotte, Manuel
1
Show details for Lasaruk, AlessLasaruk, Aless
1
Show details for Lee, Insup (ed.)Lee, Insup (ed.)
3
Show details for Leitsch, Alexander (ed.)Leitsch, Alexander (ed.)
1
Show details for Lenzerini, Maurizio (ed.)Lenzerini, Maurizio (ed.)
1
Show details for Lenzini, Luciano (ed.)Lenzini, Luciano (ed.)
1
Show details for Letz, ReinholdLetz, Reinhold
1
Show details for Leuschel, Michael (ed.)Leuschel, Michael (ed.)
1
Show details for Lev-Ami, TalLev-Ami, Tal
1
Show details for Levi, G. (ed.)Levi, G. (ed.)
1
Show details for Leykin, Anton (ed.)Leykin, Anton (ed.)
1
Show details for Lilith, NimrodLilith, Nimrod
5
Show details for Löchner, BerndLöchner, Bernd
2
Show details for Ludwig, MichelLudwig, Michel
1
Show details for Lutz, Carsten (ed.)Lutz, Carsten (ed.)
1
Show details for Luuk, MarcLuuk, Marc
1
Show details for Lu, QiLu, Qi
3
Show details for Lu, TianxiangLu, Tianxiang
1
Show details for Lynch, ChristopherLynch, Christopher
1
Show details for Lynch, Christopher (ed.)Lynch, Christopher (ed.)
1
Show details for Maler, Oded (ed.)Maler, Oded (ed.)
1
Show details for Mantel, Heiko (ed.)Mantel, Heiko (ed.)
1
Show details for Marcus, Solomon (ed.)Marcus, Solomon (ed.)
2
Show details for Matheis, ThomasMatheis, Thomas
2
Show details for McAllester, David (ed.)McAllester, David (ed.)
1
Show details for McCune, William (ed.)McCune, William (ed.)
1
Show details for McRobbie, Michael A. (ed.)McRobbie, Michael A. (ed.)
2
Show details for McRobbie, M. A. (ed.)McRobbie, M. A. (ed.)
1
Show details for Mendling, Jan (ed.)Mendling, Jan (ed.)
1
Show details for Mertsching, Bärbel (ed.)Mertsching, Bärbel (ed.)
1
Show details for Mery, Dominique (ed.)Mery, Dominique (ed.)
3
Show details for Merz, StephanMerz, Stephan
1
Show details for Merz, Stephan (ed.)Merz, Stephan (ed.)
3
Show details for Meyer, ChristophMeyer, Christoph
1
Show details for Miller, Dale (ed.)Miller, Dale (ed.)
1
Show details for Motik, Boris (ed.)Motik, Boris (ed.)
1
Show details for Münch, SusanneMünch, Susanne
1
Show details for Mundici, Daniele (ed.)Mundici, Daniele (ed.)
1
Show details for Nadif, Mohamed (ed.)Nadif, Mohamed (ed.)
1
Show details for Namjoshi, Kedar S. (ed.)Namjoshi, Kedar S. (ed.)
1
Show details for Napoli, Amedeo (ed.)Napoli, Amedeo (ed.)
1
Show details for Narendran, Paliath (ed.)Narendran, Paliath (ed.)
1
Show details for Neumann, Stephan RouvenNeumann, Stephan Rouven
1
Show details for Nguyen, ThanhVuNguyen, ThanhVu
2
Show details for Nieuwenhuis, RobertNieuwenhuis, Robert
3
Show details for Nieuwenhuis, Robert (ed.)Nieuwenhuis, Robert (ed.)
4
Show details for Nipkow, Tobias (ed.)Nipkow, Tobias (ed.)
3
Show details for Nonnengart, AndreasNonnengart, Andreas
1
Show details for Nüttgens, Markus (ed.)Nüttgens, Markus (ed.)
1
Show details for Nutt, Werner (ed.)Nutt, Werner (ed.)
2
Show details for Ohlbach, Hans JürgenOhlbach, Hans Jürgen
1
Show details for Ohlbach, Hans Jürgen (ed.)Ohlbach, Hans Jürgen (ed.)
1
Show details for Okamura, Yoshio (ed.)Okamura, Yoshio (ed.)
1
Show details for Olbrich, SebastianOlbrich, Sebastian
8
Show details for Olderog, Ernst-Rüdiger (ed.)Olderog, Ernst-Rüdiger (ed.)
3
Show details for Orlowska, Ewa (ed.)Orlowska, Ewa (ed.)
2
Show details for Pang, JunPang, Jun
1
Show details for Pascal Fontaine (ed.)Pascal Fontaine (ed.)
1
Show details for Patel-Schneider, Peter F. (ed.)Patel-Schneider, Peter F. (ed.)
1
Show details for Paun, Gheorghe (ed.)Paun, Gheorghe (ed.)
1
Show details for Peltier, NicolasPeltier, Nicolas
5
Show details for Peltier, Nicolas (ed.)Peltier, Nicolas (ed.)
1
Show details for Pfenning, Frank (ed.)Pfenning, Frank (ed.)
4
Show details for Pigorsch, FlorianPigorsch, Florian
1
Show details for Piskac, RuzicaPiskac, Ruzica
1
Show details for Podelski, AndreasPodelski, Andreas
9
Show details for Podelski, Andreas (ed.)Podelski, Andreas (ed.)
1
Show details for Popescu, AndreiPopescu, Andrei
1
Show details for Prade, Henri (ed.)Prade, Henri (ed.)
1
Show details for Prevosto, VirgilePrevosto, Virgile
1
Show details for Pribbenow, Simone (ed.)Pribbenow, Simone (ed.)
1
Show details for Ramakrishnan, C. R. (ed.)Ramakrishnan, C. R. (ed.)
1
Show details for Ranise, SilvioRanise, Silvio
1
Show details for Ranise, Silvio (ed.)Ranise, Silvio (ed.)
2
Show details for Ratschan, Stefan (ed.)Ratschan, Stefan (ed.)
1
Show details for Rehof, Jakob (ed.)Rehof, Jakob (ed.)
1
Show details for Reischuk, Rüdiger (ed.)Reischuk, Rüdiger (ed.)
1
Show details for Remenyi, Dan (ed.)Remenyi, Dan (ed.)
1
Show details for Rémy, J.-L. (ed.)Rémy, J.-L. (ed.)
1
Show details for Renate A. Schmidt (ed.)Renate A. Schmidt (ed.)
1
Show details for Reps, ThomasReps, Thomas
1
Show details for Reuter, JochenReuter, Jochen
1
Show details for Riazanov, AlexandreRiazanov, Alexandre
1
Show details for Ringeissen, Christophe (ed.)Ringeissen, Christophe (ed.)
1
Show details for Ringeissen, ChristopherRingeissen, Christopher
2
Show details for Robinson, Alan (ed.)Robinson, Alan (ed.)
2
Show details for Rock, GeorgRock, Georg
1
Show details for Roggenbach, Markus (ed.)Roggenbach, Markus (ed.)
1
Show details for Rosati, Riccardo (ed.)Rosati, Riccardo (ed.)
1
Show details for Rudeanu, Sergiu (ed.)Rudeanu, Sergiu (ed.)
1
Show details for Rudolph, Sebastian (ed.)Rudolph, Sebastian (ed.)
1
Show details for Rump, Frank J. (ed.)Rump, Frank J. (ed.)
2
Show details for Rusev, RostislavRusev, Rostislav
1
Show details for Rusinowitch, Michael (ed.)Rusinowitch, Michael (ed.)
1
Show details for Rusinowitch, M. (ed.)Rusinowitch, M. (ed.)
3
Show details for Rybalchenko, AndreyRybalchenko, Andrey
1
Show details for Sagiv, MoolySagiv, Mooly
1
Show details for Salzer, Gernot (ed.)Salzer, Gernot (ed.)
1
Show details for SanJuan, Eric (ed.)SanJuan, Eric (ed.)
1
Show details for Sattler, Uli (ed.)Sattler, Uli (ed.)
1
Show details for Sattler, UlrikeSattler, Ulrike
4
Show details for Sattler, Ulrike (ed.)Sattler, Ulrike (ed.)
1
Show details for Scheibler, KarstenScheibler, Karsten
1
Show details for Schmidt, RenateSchmidt, Renate
2
Show details for Schmidt, Renate A.Schmidt, Renate A.
6
Show details for Schmidt, Renate A. (ed.)Schmidt, Renate A. (ed.)
1
Show details for Schmidt, Renate (ed.)Schmidt, Renate (ed.)
1
Show details for Schmitt, Peter H. (ed.)Schmitt, Peter H. (ed.)
5
Show details for Scholl, ChristophScholl, Christoph
1
Show details for Schulz, Klaus U. (ed.)Schulz, Klaus U. (ed.)
2
Show details for Schulz, Stephan (ed.)Schulz, Stephan (ed.)
2
Show details for Sebastiani, Roberto (ed.)Sebastiani, Roberto (ed.)
1
Show details for Seiler, W.Seiler, W.
1
Show details for Shankar, Natarajan (ed.)Shankar, Natarajan (ed.)
1
Show details for Sigayret, Alain (ed.)Sigayret, Alain (ed.)
1
Show details for Sijanski, GrozdanaSijanski, Grozdana
1
Show details for Simon, CarloSimon, Carlo
1
Show details for Slaney, John K. (ed.)Slaney, John K. (ed.)
2
Show details for Slaney, J. K. (ed.)Slaney, J. K. (ed.)
75
Show details for Sofronie-Stokkermans, VioricaSofronie-Stokkermans, Viorica
12
Show details for Sofronie-Stokkermans, Viorica (ed.)Sofronie-Stokkermans, Viorica (ed.)
1
Show details for Spies, HendrikSpies, Hendrik
1
Show details for Stickel, Mark E. (ed.)Stickel, Mark E. (ed.)
1
Show details for Stickel, Mark (ed.)Stickel, Mark (ed.)
1
Show details for Stokkermans, KarelStokkermans, Karel
1
Show details for Stoyan, Herbert (ed.)Stoyan, Herbert (ed.)
4
Show details for Sturm, ThomasSturm, Thomas
3
Show details for Sturm, Thomas (ed.)Sturm, Thomas (ed.)
1
Show details for Sturm, T.Sturm, T.
6
Show details for Suda, MartinSuda, Martin
1
Show details for Sutcliffe, GeoffSutcliffe, Geoff
1
Show details for Sutcliffe, Geoff (ed.)Sutcliffe, Geoff (ed.)
1
Show details for Tang, Ching HooTang, Ching Hoo
1
Show details for Teige, TeigeTeige, Teige
1
Show details for Teucke, AndreasTeucke, Andreas
2
Show details for Theobalt, ChristianTheobalt, Christian
2
Show details for Tinelli, Cesare (ed.)Tinelli, Cesare (ed.)
2
Show details for Tiwari, AshishTiwari, Ashish
2
Show details for Tiwari, Ashish (ed.)Tiwari, Ashish (ed.)
2
Show details for Topic, DaliborTopic, Dalibor
3
Show details for Topić, DaliborTopić, Dalibor
2
Show details for Tran, Duc-KhanhTran, Duc-Khanh
2
Show details for Turunen, Esko (ed.)Turunen, Esko (ed.)
1
Show details for Vaida, Dragos (ed.)Vaida, Dragos (ed.)
1
Show details for Vaz de Carvalho, Júlia (ed.)Vaz de Carvalho, Júlia (ed.)
1
Show details for Veith, Helmut (ed.)Veith, Helmut (ed.)
1
Show details for Vigneron, Laurent (ed.)Vigneron, Laurent (ed.)
1
Show details for Viswanathan, Mahesh (ed.)Viswanathan, Mahesh (ed.)
1
Show details for Vojtas, Peter (ed.)Vojtas, Peter (ed.)
2
Show details for Voronkov, AndreiVoronkov, Andrei
1
Show details for Voronkov, Andrei VoronkovVoronkov, Andrei Voronkov
15
Show details for Voronkov, Andrei (ed.)Voronkov, Andrei (ed.)
32
Show details for Waldmann, UweWaldmann, Uwe
1
Show details for Wand, DanielWand, Daniel
1
Show details for Weber, AndreasWeber, Andreas
1
Show details for Weber, A.Weber, A.
75
Hide details for Weidenbach, ChristophWeidenbach, Christoph
2013[Dhungana, Deepak]
Tang, Ching Hoo
Weidenbach, Christoph
[Wischnewski, Patrick]
Attachment IconAutomated Verification of Interactive Rule-Based Configuration Systems
In: 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 551-561
Proceedings Article
2013Hillenbrand, Thomas
[Piskac, Ruzica]
Waldmann, Uwe
Weidenbach, Christoph
From Search to Computation: Redundancy Criteria and Simplification at Work
In: Programming Logics, Essays in Memory of Harald Ganzinger, ?
Part of a Book
2013[Kapur, Deepak]
[Nieuwenhuis, Robert]
[Voronkov, Andrei]
Weidenbach, Christoph
[Wilhelm, Reinhard]
Harald Ganzinger's Legacy: Contributions to Logics and Programming
In: Programming Logics,
Proceedings Article
2013Voronkov, Andrei Voronkov
Weidenbach, Christoph
Programming Logics - Essays in Memory of Harald GanzingerBook
2013Hillenbrand, Thomas
Weidenbach, Christoph
Superposition for Bounded Domains
In: Automated Reasoning and Mathematics, Essays in Memory of William W. McCune, 68-100
Part of a Book
2012Suda, Martin
Weidenbach, Christoph
Attachment IconA PLTL-prover based on labelled superposition with partial model guidance
In: Automated Reasoning : 6th International Joint Conference, IJCAR 2012, 537-543
Proceedings Article
2012Fietzke, Arnaud
Kruglov, Evgeny
Weidenbach, Christoph
Automatic Generation of Invariants for Circular Derivations in SUP(LA)
In: Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, 197-211
Proceedings Article
2012[Fontaine, Pascal]
[Merz, Stephan]
Weidenbach, Christoph
Combination of Disjoint Theories: Beyond Decidability
In: Proceedings of the 6th International Joint Conference on Automated Reasoning,
Proceedings Article
2012Suda, Martin
Weidenbach, Christoph
Attachment IconLabelled Superposition for PLTL
In: Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, 391-405
Proceedings Article
2012[Blanchette, Jasmin Christian]
[Popescu, Andrei]
Wand, Daniel
Weidenbach, Christoph
More SPASS with Isabelle : Superposition with Hard Sorts and Configurable Simplification
In: Interactive Theorem Proving : Third International Conference, ITP 2012, 345-360
Proceedings Article
2012Weidenbach, Christoph
Wischnewski, Patrick
Satisfiability Checking and Query Answering for large Ontologies
In: PAAR-2012 : Third Workshop on Practical Aspects of Automated Reasoning, 163-177
Electronic Proceedings Article
2012Fietzke, Arnaud
Weidenbach, Christoph
Superposition as a Decision Procedure for Timed Automata
In: Mathematics in Computer Science [6], 409-425
Electronic Journal Article
2012Kruglov, Evgeny
Weidenbach, Christoph
Attachment IconSuperposition Decides the First-Order Logic Fragment Over Ground Theories
In: Mathematics in Computer Science [6], 427-456
Journal Article
2012Kruglov, Evgeny
Weidenbach, Christoph
Attachment IconSuperposition Decides the First-Order Logic Fragment Over Ground Theories
In: Mathematics in Computer Science [6], 427-456
Journal Article
2011Fietzke, Arnaud
Weidenbach, Christoph
Superposition as a Decision Procedure for Timed Automata
In: Fourth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2011),
Proceedings Article
2011[Eggers, Andreas]
Kruglov, Evgeny
[Kupferschmid, Stefan]
[Scheibler, Karsten]
[Teige, Teige]
Weidenbach, Christoph
SUP(NLA) -- Combining Superposition and Non-Linear Arithmetic
In: 8th International Symposium on Frontiers of Combining Systems, 119-134
Proceedings Article
2011Kruglov, Evgeny
Weidenbach, Christoph
SUP(T) Decides First-Order Logic Fragment Over Ground Theories
In: Fourth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS-4),
Proceedings Article
2011Lu, Tianxiang
[Merz, Stephan]
Weidenbach, Christoph
Towards Verification of the Pastry Routing Protocol using TLA+
In: Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011, 244-258
Proceedings Article
2010Lu, Tianxiang
[Merz, Stephan]
Weidenbach, Christoph
Attachment IconModel Checking the Pastry Routing Protocol
In: 10th International Workshop Automatic Verification of Critical Systems (AVOCS 2010), 19-21
Proceedings Article
2010Suda, Martin
Weidenbach, Christoph
Wischnewski, Patrick
On the Saturation of YAGOReport
2010Suda, Martin
Weidenbach, Christoph
Wischnewski, Patrick
On the Saturation of YAGO
In: Automated Reasoning : 5th International Joint Conference, IJCAR 2010, 441-456
Proceedings Article
2010Weidenbach, Christoph
Wischnewski, Patrick
Subterm Contextual Rewriting
In: AI Communications [23], 97-109
Journal Article
2010Fietzke, Arnaud
[Hermanns, Holger]
Weidenbach, Christoph
Superposition-based Analysis of First-Order Probabilistic Timed Automata
In: Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, 302-316
Proceedings Article
2010Horbach, Matthias
Weidenbach, Christoph
Superposition for Fixed Domains
In: ACM Transactions on Computational Logic [11], 27,1-27,35
Journal Article
2009Lamotte-Schubert, Manuel
Weidenbach, Christoph
Attachment IconAnalysis of Authorizations in SAP R/3
In: First-order Theorem Proving, FTP 2009 : International Workshop on First-Order Theorem Proving proceedings, 90-104
Proceedings Article
2009Lamotte-Schubert, Manuel
Weidenbach, Christoph
Analysis of Authorizations in SAP R/3
In: FTP 2009 : First-Order Theorem Proving, 90-104
Electronic Proceedings Article
2009Weidenbach, Christoph
Wischnewski, Patrick
Contextual RewritingReport
2009Horbach, Matthias
Weidenbach, Christoph
Decidability Results for Saturation-Based Model Building
In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, 404-420
Proceedings Article
2009Horbach, Matthias
Weidenbach, Christoph
Deciding the Inductive Validity of FOR ALL THERE EXISTS* Queries
In: Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, 332-347
Proceedings Article
2009Horbach, Matthias
Weidenbach, Christoph
Attachment IconDeciding the Inductive Validity of Forall Exists* QueriesReport
2009Fietzke, Arnaud
Weidenbach, Christoph
Labelled Splitting
In: Annals of Mathematics and Artificial Intelligence [55], 3-34
Journal Article
2009Weidenbach, Christoph
Dimova, Dilyana
Fietzke, Arnaud
Suda, Martin
Wischnewski, Patrick
SPASS Version 3.5
In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, 140-145
Proceedings Article
2009Horbach, Matthias
Weidenbach, Christoph
Attachment IconSuperposition for Fixed DomainsReport
2009Althaus, Ernst
Kruglov, Evgeny
Weidenbach, Christoph
Superposition Modulo Linear Arithmetic SUP(LA)
In: Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, 84-99
Proceedings Article
2008Weidenbach, Christoph
Wischnewski, Patrick
Contextual Rewriting in SPASS
In: PAAR/ESHOL, 115-124
Proceedings Article
2008Fietzke, Arnaud
Weidenbach, Christoph
Attachment IconLabelled SplittingReport
2008Fietzke, Arnaud
Weidenbach, Christoph
Labelled Splitting
In: IJCAR, 459-474
Proceedings Article
2008Horbach, Matthias
Weidenbach, Christoph
Superposition for Fixed Domains
In: CSL, 293-307
Proceedings Article
2007Hirth, Simon
Karl, Carsten
Weidenbach, Christoph
Attachment IconAutomatic Analysis of LAN InfrastructuresReport
2007[Lev-Ami, Tal]
Weidenbach, Christoph
[Reps, Thomas]
[Sagiv, Mooly]
Labelled Clauses
In: 21st International Conference on Automated Deduction (CADE-21), 311-327
Proceedings Article
2007Hillenbrand, Thomas
Weidenbach, Christoph
Attachment IconSuperposition for Finite DomainsReport
2007Weidenbach, Christoph
[Schmidt, Renate]
Hillenbrand, Thomas
Rusev, Rostislav
Topic, Dalibor
Attachment IconSystem Description: Spass Version 3.0
In: Automated Deduction --- CADE-21 : 21st International Conference on Automated Deduction, 514-520
Proceedings Article
2006Hillenbrand, Thomas
Topic, Dalibor
Weidenbach, Christoph
Sudokus as Logical Puzzles
In: Disproving'06: Non-Theorems, Non-Validity, Non-Provability, 2-12
Proceedings Article
2002Weidenbach, Christoph
Brahm, Uwe
Hillenbrand, Thomas
Keen, Enno
Theobalt, Christian
Topić, Dalibor
Attachment IconSPASS Version 2.0
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 275-279
Proceedings Article
2001Weidenbach, ChristophCombining Superposition, Sorts and Splitting
In: Handbook of Automated Reasoning, 1965-2013
Part of a Book
2001Nonnengart, Andreas
Weidenbach, Christoph
Computing small clause normal forms
In: Handbook of Automated Reasoning, 335-367
Part of a Book
2001Afshordel, Bijan
Hillenbrand, Thomas
Weidenbach, Christoph
Attachment IconFirst-Order Atom Definitions Extended
In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 309-319
Proceedings Article
2000Weidenbach, ChristophEntscheidbarkeitsprobleme für monadische (Horn)Klauselklassen
Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät
Thesis - Habilitation thesis
1999Weidenbach, ChristophSPASS V0.95TPTP
In: Journal of Automated Reasoning [23], 21-21
Journal Article
1999Weidenbach, Christoph
Afshordel, Bijan
Brahm, Uwe
Cohrs, Christian
Engel, Thorsten
Keen, Enno
Theobalt, Christian
Topić, Dalibor
System Description: SPASS Version 1.0.0
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 314-318
Proceedings Article
1999Weidenbach, ChristophTowards an Automatic Analysis of Security Protocols in First-Order Logic
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 378-382
Proceedings Article
1998Nonnengart, Andreas
[Rock, Georg]
Weidenbach, Christoph
On Generating Small Clause Normal Forms
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 397-411
Proceedings Article
1998Hustadt, Ullrich
Schmidt, Renate A.
Weidenbach, Christoph
Optimised Functional Translation and Resolution
In: Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98), 36-37
Proceedings Article
1998[Letz, Reinhold]
Weidenbach, Christoph
Paradigmen und Perspektiven der automatischen Deduktion
In: KI, Organ des Fachbereichs 1 "Künstliche Intelligenz'' der Gesellschaft für Informatik e.V. [4], 15-19
Journal Article
1998Weidenbach, ChristophRechnen in sortierter Prädikatenlogik
In: Ausgezeichnete Informatikdissertationen 1997, 183-197
Part of a Book
1998Weidenbach, ChristophSorted Unification and Tree Automata
In: Automated Deduction - A Basis for Applications, 291-320
Part of a Book
1998Weidenbach, Christoph
Meyer, Christoph
Cohrs, Christian
Engel, Thorsten
Keen, Enno
SPASS V0.77
In: Journal of Automated Reasoning [21], 113-113
Journal Article
1998[Jacquemard, Florent]
Meyer, Christoph
Weidenbach, Christoph
Unification in Extensions of Shallow Equational Theories
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 76-90
Proceedings Article
1997Ganzinger, Harald
Meyer, Christoph
Weidenbach, Christoph
Soft Typing for Ordered Resolution
In: Proceedings of the 14th International Conference on Automated Deduction (CADE-14), 321-335
Proceedings Article
1997Weidenbach, ChristophSPASS Version 0.49
In: Journal of Automated Reasoning [18], 247-252
Journal Article
1996[Hähnle, Reiner]
[Kerber, Manfred]
Weidenbach, Christoph
Common Syntax of the DFG-Schwerpunktprogramm ``Deduktion''Report
1996Weidenbach, ChristophComputational Aspects of a First-Order Logic with Sorts
Universität des Saarlandes
Thesis - PhD thesis
1996Weidenbach, ChristophSorted Unification and Its Application to Automated Theorem Proving
In: Proceedings of the CADE-13 Workshop: Term Schematizations and Their Applications, 67-76
Proceedings Article
1996Weidenbach, Christoph
[Gaede, Bernd]
[Rock, Georg]
SPASS & FLOTTER, Version 0.42
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 141-145
Proceedings Article
1996Weidenbach, ChristophUnification in Pseudo-Linear Sort Theories is Decidable
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 343-357
Proceedings Article
1996Weidenbach, ChristophUnification in Sort Theories
In: Proceedings of the 10th International Workshop on Unification, UNIF'96, 16-25
Proceedings Article
1996Weidenbach, ChristophUnification in Sort Theories and its Applications
In: Annals of Mathematics and Artificial Intelligence [18], 261-293
Journal Article
1995Ohlbach, Hans Jürgen
Weidenbach, Christoph
A Note on Assumptions about Skolem Functions
In: Journal of Automated Reasoning [15], 267-275
Journal Article
1995Weidenbach, ChristophFirst-Order Tableaux with Sorts
In: Journal of the Interest Group in Pure and Applied Logics [3], 887-906
Journal Article
1995Barth, Peter
[Kleine Büning, Hans]
Weidenbach, Christoph
Workshop CPL Computational Propositional Logic
In: KI-95 Activities: Workshops, Posters, Demos, 71-72
Proceedings Article
1994Fehrer, Detlef
Hustadt, Ullrich
Jaeger, Manfred
Nonnengart, Andreas
Ohlbach, Hans Jürgen
Schmidt, Renate A.
Weidenbach, Christoph
Weydert, Emil
Description Logics for Natural Language Processing
In: International Workshop on Description Logics '94, 80-84
Proceedings Article
1994Weidenbach, ChristophFirst-Order Tableaux with Sorts
In: TABLEAUX-'94, 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, 247-261
Proceedings Article
1994Weidenbach, ChristophSorts, Resolution, Tableaux and Propositional Logic
In: KI-94 Workshops: Extended Abstracts, 315-316
Proceedings Article
1993Weidenbach, ChristophA New Sorted Logic
In: GWAI-92: Advances in Artificial Inteligence, Proceedings 16th German Workshop on Artificial Intelligence, 43-54
Proceedings Article
1993Weidenbach, ChristophExtending the Resolution Method with Sorts
In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI '93), 60-65
Proceedings Article
3
Show details for Weidenbach, Christoph (ed.)Weidenbach, Christoph (ed.)
1
Show details for Weydert, EmilWeydert, Emil
1
Show details for Wilhelm, ReinhardWilhelm, Reinhard
7
Show details for Wilhelm, Reinhard (ed.)Wilhelm, Reinhard (ed.)
5
Show details for Wirtz, BorisWirtz, Boris
11
Show details for Wischnewski, PatrickWischnewski, Patrick
1
Show details for Wolter, Frank (ed.)Wolter, Frank (ed.)
1
Show details for Yoneda, Tomohiro (ed.)Yoneda, Tomohiro (ed.)
1
Show details for Zakharyaschev, Michael (ed.)Zakharyaschev, Michael (ed.)
3
Show details for Zangl, FabriceZangl, Fabrice
1
Show details for Zeller, Andreas (ed.)Zeller, Andreas (ed.)
2
Show details for Zengler, Christoph (ed.)Zengler, Christoph (ed.)
1
Show details for Zhang, Wenhui (ed.)Zhang, Wenhui (ed.)
1
Show details for Zhang, ZhihaiZhang, Zhihai
1
Show details for Zhao, HantaoZhao, Hantao
2
Show details for Ziemann, JoergZiemann, Joerg
1
Show details for Zimmer, StephanZimmer, Stephan
841
Next Page