BibTeX cite key | Author/Editor | Year | | Title | Type |
Eisenbrand1999 | Eisenbrand, Friedrich | 1999 | | On the Membership Problem for the Elementary Closure of a Polyhedron
In: Combinatorica [19], 297-300 | Journal Article |
Eisenbrand2000 | Eisenbrand, Friedrich | 2000 | | Gomory-Chvátal Cutting planes and the Elementary Closure of Polyhedra
Universität des Saarlandes | Thesis - PhD thesis |
Eisenbrand2001 | Eisenbrand, Friedrich | 2001 | | Short vectors of planar integral lattices via continued fractions
In: Information Processing Letters [79], 121-126 | Journal Article |
EisenSchulz1999 | Eisenbrand, Friedrich
Schulz, Andreas S. | 1999 | | Bounds on the Chvátal Rank of Polytopes in the 0/1-Cube
In: Proceedings of the 7th Conference on Integer Programming and Combinatorial Optimization (IPCO-99), 137-150 | Proceedings Article |
EisingerNonnengartPraecklein92 | Eisinger, Norbert
Nonnengart, Andreas
Präcklein, Axel | 1992 | | Termersetzungssysteme
In: Deduktionssysteme -- Automatisierung des logischen Denkens, 126-149 | Part of a Book |
EisingerOhlbach93 | Eisinger, Norbert
Ohlbach, Hans Jürgen | 1993 | | Deduction Systems Based on Resolution
In: Handbook of Logic in Artificial Intelligence and Logic Programming, 184-271 | Proceedings Article |
EisingerOhlbachPraecklein91a | Eisinger, Norbert
Ohlbach, Hans Jürgen
Präcklein, Axel | 1991 | | Reduction Rules for Resolution Based Systems
In: Artificial Intelligence [50], 141-181 | Journal Article |
Engel96 | Engel, Thorsten | 1996 | | Quantifier Elimination in Second-Order Predicate Logic
Universität des Saarlandes | Thesis - Masters thesis |
ER2001 | Eisenbrand, Friedrich
Rote, Günter | 2001 | | Fast 2-variable integer programming
In: Proceedings of the 8th Conference on Integer and Combinatorial Optimization (IPCO-01), 78-89 | Proceedings Article |
ER2001b | Eisenbrand, Friedrich
Rote, Günter | 2001 | | Fast reduction of ternary quadratic forms
In: Proceedings of the 1st Conference on Lattices and Cryptography (CaLC-01), 99-111 | Proceedings Article |
ERV02 | Eisenbrand, Friedrich
Rinaldi, Giovanni
Ventura, Paolo | 2002 | | 0/1 Optimization and 0/1 Primal Separation are Equivalent
In: Proceedings of the 13th Annual ACM SIAM Symposium on Discrete Algorithms, 920-926 | Proceedings Article |
EsparzaPodelskiPOPL00 | Esparza, Javier
Podelski, Andreas | 2000 | | Efficient Algorithms for Pre$^\star$ and Post$^\star$ on Interprocedural Parallel Flow Graphs
In: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-00), 1-11 | Proceedings Article |
Fehrer93a | Fehrer, Detlef | 1993 | | A Unifying Framework for Reason Maintenance
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings European Conference ECSQARU '93, 113-120 | Proceedings Article |
Fehrer94a | Fehrer, Detlef | 1994 | | A Unifying Logical Framework for Reason Maintenance (Deliverable DI.1.2-3P)
In: Medlar II Report PPR2, 47-55 | Proceedings Article |
FehrerDiss1995 | Fehrer, Detlef | 1995 | | A unifying logical framework for reason maintenance
Universität des Saarlandes | Thesis - PhD thesis |
Fehreretal94a | Fehrer, Detlef
Hustadt, Ullrich
Jaeger, Manfred
Nonnengart, Andreas
Ohlbach, Hans Jürgen
Schmidt, Renate A.
Weidenbach, Christoph
Weydert, Emil | 1994 | | Description Logics for Natural Language Processing
In: International Workshop on Description Logics '94, 80-84 | Proceedings Article |
firozabadhi:ecai98 | Firozabadhi, Babak Sadighi
van der Torre, Leendert W. N. | 1998 | | Towards a formal analysis of control systems
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 317-318 | Proceedings Article |
fischm00a | Rahman, Shahid
Rückert, Helge
Fischmann, Matthias | 1997 | | Dialogues and Ontology, the Dialogical Approach to Free Logic
In: Logique et Analyse [160], 357-374 | Journal Article |
Fischmann-Diplom99 | Fischmann, Matthias | 1999 | | On Applications of Decidable Object-Oriented Type Theory
Universität des Saarlandes | Thesis - Masters thesis |
FrankBasin-98 | Frank, Ian
Basin, David A. | 1998 | | Search in Games with Incomplete Information: A Case Study Using Bridge Card Play
In: Artificial Intelligence [100], 87-123 | Journal Article |
FrankBasinBundy92a | Frank, Ian
Basin, David A.
Bundy, Alan | 1992 | | Finesse: An Adaptation of Proof-Planning to Declarer Play in Bridge
In: Proceedings of the 10th European Conference on Artificial Intelligence (ECAI-92), 72-76 | Proceedings Article |
Freiheit2005 | Freiheit, Jörn
Luuk, Marc
Münch, Susanne
Sijanski, Grozdana
Zangl, Fabrice | 2006 | | Lexecute: Visualisation and representation of legal procedures
In: Digital Evidence Journal [3], 17-27 | Journal Article |
Freiheit2005a | Yuan, Cong
Billington, Jonathan
Freiheit, Jörn | 2005 | | An Abstract Model of Routing in Mobile Ad Hoc Networks
In: Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 137-156 | Proceedings Article |
Freiheit2005b | Freiheit, Jörn
Münch, Susanne
Schöttle, Hendrik
Sijanski, Grozdana
Zangl, Fabrice | 2005 | | Enhanced Workflow Models as a Tool for Judicial Practitioners
In: On the move to meaningful internet systems 2005: OTM 2005 Workshops : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, 26-27 | Proceedings Article |
Freiheit2005c | Lilith, Nimrod
Billington, Jonathan
Freiheit, Jörn | 2006 | | Approximate Closed-Form Aggregation of a Fork-Join Structure in Generalised Stochastic Petri Nets
In: 1st International Conference on Performance Evaluation Methodologies and Tools, ??-?? | Proceedings Article |
Freiheit2005d | Simon, Carlo
Freiheit, Jörn
Olbrich, Sebastian | 2006 | | Using BPEL processes defined by Event-driven Process Chains
In: 5. GI-Workshop "EPK 2006 - Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten", 121-135 | Proceedings Article |
Freiheit2005e | Freiheit, Jörn
Zangl, Fabrice | 2006 | | Model-based user-interface management for public services
In: 6th European Conference on e-Government, 141-151 | Proceedings Article |
Freiheit2005EPK | Cuntz, Nicolas
Freiheit, Jörn
Kindler, Ekkart | 2005 | | On the semantics of EPCs: Faster calculation for EPCs with small state spaces
In: EPK 2005 : Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, 7-23 | Proceedings Article |
Friedrich-Diplom98 | Friedrich, Stefan | 1998 | | Integration of a Decision Procedure for Second-Order Monadic Logic in a Higher-Order Logic Theorem Proving Environment
Universität des Saarlandes | Thesis - Masters thesis |
Furbach:etal:OptimizingXPathDL:INAP:2004 | Baumgartner, Peter
Furbach, Ulrich
Gross-Hardt, Margret
Kleemann, Thomas | 2005 | | Optimizing the Evaluation of XPath Using Description Logics
In: Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, 1-15 | Proceedings Article |