Publications
Server halma.mpi-inf.mpg.de
Publications
Entries sorted by: 5. Year - 4. All Years - 2. MPG Jahrbuch Format
Login to this database
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
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
| # |  | Year | edoc | Lck | Author(s) [non member] | Editor(s) [non member] | Title | Type | edoc identifier | |||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2006 | Freiheit, Jörn [Zangl, Fabrice] | [Remenyi, Dan] | Model-based user-interface management for public services In: 6th European Conference on e-Government, 141-151 | Proceedings Article | 35836E283162574AC125722F004857FC-Freiheit2005e | | ||||||
| | 2006 | | Ganzinger, Harald [Korovin, Konstantin] | [Hermann, Miki] [Voronkov, Andrei] | Theory Instantiation In: 13th Conference on Logic for Programming Artificial Intelligence Reasoning (LPAR'06), 497-511 | Proceedings Article | FFE3236E6002915AC125720400510C20-GanKor:ThInst:2006 | | |||
| 2006 | Ganzinger, Harald [Korovin, Konstantin] | [Hermann, Miki] [Voronkov, Andrei] | Theory Instantiation In: Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, 497-511 | Proceedings Article | 1CBDABE9C16AAE05C12573FA002F08C9-GK2007 | | ||||||
| | 2006 | | Ganzinger, Harald Sofronie-Stokkermans, Viorica Waldmann, Uwe | | Modular Proof Systems for Partial Functions with Evans Equality In: Information and Computation [204], 1453-1492 | Journal Article | FBC4F6CB2E255CD5C12571BD0041068C-GSW-i-and-c | | |||
| 2006 | Hoffmann, Jörg [Brafman, Ronen I.] | Conformant planning via heuristic forward search: A new approach In: Artificial Intelligence [170], 507-541 | Journal Article | A51EAD29521061C1C12571140039D847-HoffmannBrafman2006 | | |||||||
| | 2006 | | Hoffmann, Jörg [Gomes, Carla] [Selman, Bart] | [Long, Derek] [Smith, Stephen F.] [Borrajo, Daniel] [McCluskey, Lee] | Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 284-293 | Proceedings Article | 216DB24E61769B54C1257114003A4349-HoffmannEtal2006a | | |||
| 2006 | Hoffmann, Jörg [Sabharwal, Ashish] [Domshlak, Carmel] | [Long, Derek] [Smith, Stephen F.] [Borrajo, Daniel] [McCluskey, Lee] | Friends or Foes? An AI Planning Perspective on Abstraction and Search In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 294-303 | Proceedings Article | 056EE66E7364C267C1257114003A899E-HoffmannEtAl2006b | | ||||||
| | 2006 | | [Jensen, Kurt] Podelski, Andreas | | Tools and algorithms for the construction and analysis of systems In: International Journal on Software Tools for Technology Transfer [8], 177-179 | Journal Article | 161878660840AC67C125729E003E400A-Podelski2006e | | |||
| 2006 | [Kupferschmid, Sebastian] Hoffmann, Jörg [Dierks, Henning] [Behrmann, Gerd] | [Valmari, Antti] | Adapting an AI Planning Heuristic for Directed Model Checking In: Model checking software : 13th International SPIN Workshop, 35-52 | Proceedings Article | D36D17C09E4DA6DCC1257114003AEFE7-KupferschmidEtAl2006 | | ||||||
| | 2006 | | [Lilith, Nimrod] [Billington, Jonathan] Freiheit, Jörn | | 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 | 58937BB6B2FB2A45C12572300035C338-Freiheit2005c | | |||
| 2006 | Malkis, Alexander Podelski, Andreas Rybalchenko, Andrey | [Barkaoui, Kamel] [Cavalcanti, Ana] [Cerone, Antonio] | Thread-Modular Verification is Cartesian Abstract Interpretation In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, 183-197 | Proceedings Article | 96547D152FE0A906C12572250048F51F-malkis2006 | | ||||||
| | 2006 | | Malkis, Alexander Podelski, Andreas Rybalchenko, Andrey | [Gopalakrishnan, Ganesh] [O'Leary, John] |  | Thread-Modular Verification and Cartesian Abstraction | Unpublished/Draft | DCF428B4C8AA7543C12572250049F24C-malkis2006a | | ||
| 2006 | [Meyer, Roland] [Faber, Johannes] Rybalchenko, Andrey | [Barkaoui, Kamel] [Cavalcanti, Ana] [Cerone, Antonio] | Model checking Duration Calculus: a practical approach In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, 332-346 | Proceedings Article | EEC1D2A3E8A4DEA9C12572A2007C343E-Rybalchenko2006ICTAC-DC | | ||||||
| | 2006 | | Podelski, Andreas Wagner, Silke | [Hespanha, João P.] [Tiwari, Ashish] | Model Checking of Hybrid Systems: From Reachability towards Stability In: Hybrid Systems: Computation and Control : 9th International Workshop, HSCC 2006 , 507-521 | Proceedings Article | D1046A10B1588DA0C125712B004D29A6-PodelskiWagner2006 | | |||
| 2006 | [Prevosto, Virgile] Waldmann, Uwe | [Sutcliffe, Geoff] [Schmidt, Renate] [Schulz, Stephan] | SPASS+T In: ESCoR: FLoC'06 Workshop on Empirically Successful Computerized Reasoning, 18-33 | Proceedings Article | 5324014809433FE7C125721700527A95-PrevostoWaldmann2006 | | ||||||
| | 2006 | | Ratschan, Stefan | | Efficient Solving of Quantified Inequality Constraints over the Real Numbers In: ACM Transactions on Computational Logic [7], 723-748 | Journal Article | 9674D6D775A64682C1256FA9005604DE-Ratschan2005a | | |||
| 2006 | Ratschan, Stefan She, Zhikun | [Calmet, Jacques] [Ida, Tetsuo] [Wang, Dongming] | Constraints for Continuous Reachability in the Verification of Hybrid Systems In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, 196-210 | Proceedings Article | 00DE7551A0AA40FBC125722E003DCF1D-She2005 | | ||||||
| | 2006 | | Ratschan, Stefan [Smaus, Jan-Georg] | [Cassandras, Christos] [Giua, Alessandro] [Seatzu, Carla] [Zaytoon, Janan] | Verification-Integrated Falsification of Non-Deterministic Hybrid Systems In: 2nd IFAC Conference on Analysis and Design of Hybrid Systems, ? | Proceedings Article | BB07F3905A13E1A9C125717800439CEB-Ratschan2006 | | |||
| 2006 | She, Zhikun Ratschan, Stefan | Providing a Basin of Attraction to a Target Region by Computation of Lyapunov-like Functions In: 4th IEEE International Conference on Computational Cybernetics, 245-249 | Proceedings Article | 17050818335302ADC125722E003F349E-She2005b | | |||||||
| | 2006 | | She, Zhikun Xia, Bican [Xiao, Rong] | [Kovalerchuk, B.] | A Semi-Algebraic Approach for the Computation of Lyapunov Functions In: 2th IASTED International Conference on COMPUTATIONAL INTELLIGENCE, 7-12 | Proceedings Article | D55C35F37B3A1366C125722E003F7B1B-She2006b | | |||
| 2006 | [Simon, Carlo] Freiheit, Jörn [Olbrich, Sebastian] | [Nüttgens, Markus] [Rump, Frank J.] [Mendling, Jan] | Using BPEL processes defined by Event-driven Process Chains In: 5. GI-Workshop "EPK 2006 - Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten", 121-135 | Proceedings Article | A4C674BCDB1B3E5FC12572300037330E-Freiheit2005d | | ||||||
| | 2006 | | Sofronie-Stokkermans, Viorica | | Sheaves and geometric logic in concurrency In: Proceedings of the Eighth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2006), ? | Proceedings Article | 1759E2DF06FB06C9C12572210055F559-Sofronie-Stokkermans-getco-06 | | |||
| 2006 | Sofronie-Stokkermans, Viorica | [Furbach, Ulrich] [Shankar, Natarajan] | | Interpolation in local theory extensions In: Proceedings of IJCAR 2006, 235-250 | Proceedings Article | 5D4939D6175F4A2FC1257164003E6C4B-Sofronie-ijcar-06 | | |||||
| | 2006 | | Wies, Thomas [Kuncak, Viktor] [Lam, Patrick] Podelski, Andreas [Rinard, Martin C.] | [Emerson, E. Allen] [Namjoshi, Kedar S.] | | Field Constraint Analysis In: Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, 157-173 | Proceedings Article | 761CADE4F91377D6C12570B000587F60-WiesETAL06FieldConstraintAnalysis | | ||
| 2005 |  | Baumgartner, Peter [Furbach, Ulrich] [Gross-Hardt, Margret] [Kleemann, Thomas] | [Seipel, Dietmar] [Hanus, Michael] [Geske, Ulrich] [Bartenstein, Oskar] | 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 | EAB50CA717AC0320C1256F8C003A17B8-Furbach:etal:OptimizingXPathDL:INAP:2004 | | |||||
| | 2005 | | Baumgartner, Peter [Furbach, Ulrich] | [Hutter, Dieter] [Stephan, Werner] | Living Books, Automated Deduction and other Strange Things In: Mechanizing Mathematical Reasoning: Techniques, Tools and Applications - Essays in honour of Jörg H. Siekmann, 255-274 | Part of a Book | A6C3506F7D9C00FBC1256F8C003CADC9-Baumgartner:Furbach:LivingBooksStrangeThings:JS60:2004 | | |||
| 2005 | Baumgartner, Peter [Furbach, Ulrich] [Yahya, Adnan] | Automated Reasoning, Knowledge Representation and Management In: KI - Künstliche Intelligenz [1], 5-11 | Journal Article | A1511CA2458E0EB2C1256FC40050E766-Baumgartner:etal:AR-KR-Management:KI:2005 | | |||||||
| | 2005 | | Baumgartner, Peter Suchanek, Fabian | | | Model-Generation Theorem Proving for First-Order Logic Ontologies | Unpublished/Draft | C877D65BEFFB19AAC12570D8000FD127-BaumgartnerSuchanek2005 | | ||
| 2005 | Baumgartner, Peter [Tinelli, Cesare] | [Nieuwenhuis, Robert] | The Model Evolution Calculus with Equality In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 392-408 | Proceedings Article | BCF8329850928E41C1256FF40045E409-Baumgartner:Tinelli:ModelEvolutionCalculusEquality:CADE:2005 | | ||||||
| | 2005 | | Blanchet, Bruno Podelski, Andreas | | Verification of Cryptographic Protocols: Tagging Enforces Termination In: Theoretical Computer Science [333], 67-90 | Journal Article | DE831F79824AC81CC1256FC000333894-BlanchetPodelski2005 | |
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)