Export\All to MPG RTF format...

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: 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
14
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
32215D5D874452C4C1257B1E006EA21B-Sofronie-Stokkermans2013-jar-cade-special-issue
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
977B59458D5362E2C1257C6900520065-Dhungana2013
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
1E3BA4F46B76254AC1257C6A002FFA11-ErramiEiswirth:13a
Hillenbrand, Piskac, Waldmann, Weidenbach2013From Search to Computation: Redundancy Criteria and Simplification at Work
In: Programming Logics, Essays in Memory of Harald Ganzinger, ?
EB42B8FF2A0632A0C125785B0056C554-HillenbrandPiskacWaldmannWeidenbach2011
Hillenbrand, Weidenbach2013Superposition for Bounded Domains
In: Automated Reasoning and Mathematics, Essays in Memory of William W. McCune, 68-100
89A2BD7B2848CEAFC1257B1D00703A22-HillenbrandWeidenbach13
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
D9058E034BD60D8DC1257C69004AE012-Sofronie-Stokkermans-frocos2013
Kapur, Nieuwenhuis, Voronkov, Weidenbach, Wilhelm2013Harald Ganzinger's Legacy: Contributions to Logics and Programming
In: Programming Logics,
1B38D0934F61CD4EC1257C6A00501B2A-VoronkovetAl13
Karrenberg, Košta, Sturm2013Attachment IconPresburger Arithmetic in Memory Access Optimization for Data-Parallel Languages
In: Frontiers of Combining Systems, 56-70
19E92F4A98DEF6D4C1257C6A00300DB4-KarrenbergKostaSturm2013
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
EB045FCF8BF297B8C1257C6A007C8154-Kosta2013
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
96E145A424CFEEAAC1257B2C00472CCC-Sofronie-Stokkermans-2013
Sofronie-Stokkermans2013Locality and Applications to Subsumption Testing in EL and Some of its Extensions
In: Scientific Annals of Computer Science [23], 251-284
F840E3FA6E8F889BC1257C69004B4765-Sofronie-Stokkermans-sacs2013
Sofronie-Stokkermans2013On combinations of local theory extensions
In: Programming Logics, Essays in Memory of Harald Ganzinger, 392-413
4D6F77024162244BC125784C00552BF9-Sofronie-wlphg11
Voronkov, Weidenbach2013Programming Logics - Essays in Memory of Harald GanzingerF189ECDDE309058BC1257C6A004F80BC-VoronkovWeidenbach13
3
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
2
Hide details for DissertationenDissertationen
Kruglov2013Attachment IconSuperposition Modulo TheoryF58B326B7199622DC1257C66003BEFFF-KruglovDiss13
Lu2013Attachment IconFormal Verification of the Pastry Protocol53D311D21A10BD89C1257C66003CDFCF-LuDiss13
19

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