Export\All to MPG RTF format...

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

MPI-INF RG1 Publications

MPI-INF RG1 Publications

Entries sorted by: 5. Year - 3. Two Years Ago - 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

#edocLckAuthor/EditorYearTitleedoc identifier
Hide details for Veröffentlichungen der MitarbeiterVeröffentlichungen der Mitarbeiter
Bjorner, Sofronie-Stokkermans2013Preface: Special Issue of Selected Extended Papers of CADE-23
In: Journal of Automated Reasoning [51], 1-2
Dhungana, Tang, Weidenbach, Wischnewski2013Attachment IconAutomated Verification of Interactive Rule-Based Configuration Systems
In: 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 551-561
Errami, Eiswirth, , Seiler, Sturm, Weber2013Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates
In: Proceedings of the CASC 2013, 88-99
Hillenbrand, Piskac, Waldmann, Weidenbach2013From Search to Computation: Redundancy Criteria and Simplification at Work
In: Programming Logics, Essays in Memory of Harald Ganzinger, ?
Hillenbrand, Weidenbach2013Superposition for Bounded Domains
In: Automated Reasoning and Mathematics, Essays in Memory of William W. McCune, 68-100
Horbach2013INFORMATIK 2013 - Informatik angepasst an Mensch, Organisation und UmweltC31A7116204D3B00C1257C69005253BC-Horbach2013Informatik
Horbach, Sofronie-Stokkermans2013Obtaining Finite Local Theory Axiomatizations via Saturation
In: Frontiers of Combining Systems - 9th International Symposium, 198-213
Kapur, Nieuwenhuis, Voronkov, Weidenbach, Wilhelm2013Harald Ganzinger's Legacy: Contributions to Logics and Programming
In: Programming Logics,
Karrenberg, Košta, Sturm2013Attachment IconPresburger Arithmetic in Memory Access Optimization for Data-Parallel Languages
In: Frontiers of Combining Systems, 56-70
Košta2013{SMT}-Based Compiler Support for Memory Access Optimization for Data-Parallel Languages
In: Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and System Sciences, 36-42
Sofronie-Stokkermans2013Hierarchical reasoning and model generation for the verification of parametric hybrid systems
In: Proceedings of the 24th International Conference on Automated Deduction (CADE-24), 360-376
Sofronie-Stokkermans2013Locality and Applications to Subsumption Testing in EL and Some of its Extensions
In: Scientific Annals of Computer Science [23], 251-284
Sofronie-Stokkermans2013On combinations of local theory extensions
In: Programming Logics, Essays in Memory of Harald Ganzinger, 392-413
Voronkov, Weidenbach2013Programming Logics - Essays in Memory of Harald GanzingerF189ECDDE309058BC1257C6A004F80BC-VoronkovWeidenbach13
Hide details for Diplomarbeiten (/Magisterarbeiten)Diplomarbeiten (/Magisterarbeiten)
Esquivel Pinto2013Attachment IconComputing Variable Orders for SAT-Problems9111BA971F345CCAC1257C66003D5892-Esquivel13
Reuter2013Attachment IconReal Linear Quantifier EliminationF0C7E37C199F08D2C1257AF6004CE0B4-Reuter13
Teucke2013Attachment IconCDCL with Reduction2CADB201C14614B8C1257C66003EDCEF-Teucke13
Hide details for DissertationenDissertationen
Kruglov2013Attachment IconSuperposition Modulo TheoryF58B326B7199622DC1257C66003BEFFF-KruglovDiss13
Lu2013Attachment IconFormal Verification of the Pastry Protocol53D311D21A10BD89C1257C66003CDFCF-LuDiss13

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)