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: 9. Admin - 3. Fachbeiratsbericht 2005-2007

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

BibTeX cite keyAuthor/EditorYearTitleType
Bankstahl06Bankstahl, Jan2006Attachment IconNetflow analysis of SAP R/3 traffic in an enterprise environment
Universität des Saarlandes
Thesis - other
Bankstahl2006Bankstahl, Jan2006Netflow analysis of SAP R/3 traffic in an enterprise
Universität des Saarlandes
Thesis - Masters thesis
Bastuck2006Bastuck, Andrea2006Maschinell unterstützte Analyse eines Sicherheitsprotokolls
Universität des Saarlandes
Thesis - other
DammDischHungarJacobsPangPigorschSchollWaldmannWirtz2007Damm, Werner
Disch, Stefan
Hungar, Hardi
Jacobs, Swen
Pang, Jun
Pigorsch, Florian
Scholl, Christoph
Waldmann, Uwe
Wirtz, Boris
2007Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
In: Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, 425-440
Proceedings Article
DammDischHungarPangPigorschSchollWaldmannWirtz2006Damm, Werner
Disch, Stefan
Hungar, Hardi
Pang, Jun
Pigorsch, Florian
Scholl, Christoph
Waldmann, Uwe
Wirtz, Boris
2006Automatic Verification of Hybrid Systems with Large Discrete State Space
In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, 276-291
Proceedings Article
Dimova2007Dimova, Dilyana2007Attachment IconPropositional Abduction
Universität des Saarlandes
Thesis - Bachelor thesis
Dressler2007Dressler, Christian2007Attachment IconFirst-Order Proof Documentation
Universität des Saarlandes
Thesis - Bachelor thesis
faber-jacobs-sofronie-ifm-2007Faber, Johannes
Jacobs, Swen
Sofronie-Stokkermans, Viorica
2007Verifying CSP-OZ-DC specifications with complex data types and timing parameters
In: Proceedings of IFM 2007: Integrated Formal Methods, 233-252
Proceedings Article
Fietzke2007Fietzke, Arnaud2007Attachment IconLabelled Splitting
Universität des Saarlandes
Thesis - Masters thesis
Freiheit2005Freiheit, Jörn
Luuk, Marc
Münch, Susanne
Sijanski, Grozdana
Zangl, Fabrice
2006Lexecute: Visualisation and representation of legal procedures
In: Digital Evidence Journal [3], 17-27
Journal Article
Freiheit2005bFreiheit, Jörn
Zangl, Fabrice
2006Model-based user-interface management for public services
In: 6th European Conference on e-Government, 141-151
Proceedings Article
Freiheit2005cLilith, Nimrod
Billington, Jonathan
Freiheit, Jörn
2006Approximate Closed-Form Aggregation of a Fork-Join Structure in Generalised Stochastic Petri Nets
In: Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2006, 1-10
Electronic Proceedings Article
Freiheit2005dSimon, Carlo
Freiheit, Jörn
Olbrich, Sebastian
2006Using BPEL processes defined by Event-driven Process Chains
In: 5. GI-Workshop "EPK 2006 - Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten", 121-135
Proceedings Article
Freiheit2007aFreiheit, Jörn
Zangl, Fabrice
2007Model-based User-interface Management for Public Services
In: Electronic Journal of e-Government [5], 53-62
Journal Article
Freiheit2007cZiemann, Joerg
Matheis, Thomas
Freiheit, Jörn
2007Modelling of Cross-Organizational Business Processes - Current Methods and Standards
In: Enterprise Modelling and Information Systems Architectures [2], 23-31
Journal Article
Freiheit2007dZiemann, Joerg
Matheis, Thomas
Freiheit, Jörn
2007Modelling of Cross-Organizational Business Processes
In: Enterprise Modelling and Information Systems Architectures 2007, 87-95
Proceedings Article
GanKor:ThInst:2006Ganzinger, Harald
Korovin, Konstantin
2006Theory Instantiation
In: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference (LPAR'06), 497-511
Proceedings Article
GSW-i-and-cGanzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe
2006Modular Proof Systems for Partial Functions with Evans Equality
In: Information and Computation [204], 1453-1492
Journal Article
HillenbrandEtAl2006DisprovingHillenbrand, Thomas
Topic, Dalibor
Weidenbach, Christoph
2006Sudokus as Logical Puzzles
In: Disproving'06: Non-Theorems, Non-Validity, Non-Provability, 2-12
Proceedings Article
HillenbrandWeidenbach2007ReportHillenbrand, Thomas
Weidenbach, Christoph
2007Attachment IconSuperposition for Finite DomainsReport
Hirt2006Hirth, Simon2006Attachment IconAutomatische Analyse von DHCP und höheren Infrasturkturdiensten mit SPASS
Universität des Saarlandes
Thesis - Masters thesis
HirthKarlWeidenbach2007reportHirth, Simon
Karl, Carsten
Weidenbach, Christoph
2007Attachment IconAutomatic Analysis of LAN InfrastructuresReport
jacobs-sofronie-pdpar-06Jacobs, Swen
Sofronie-Stokkermans, Viorica
2006Applications of hierarchical reasoning in the verification of complex systems
In: PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning, 15-26
Electronic Proceedings Article
jacobs-sofronie-pdpar-entcsJacobs, Swen
Sofronie-Stokkermans, Viorica
2007Attachment IconApplications of hierarchical reasoning in the verification of complex systems
In: Electronic Notes in Theoretical Computer Science [174], 39-54
Electronic Journal Article
JacobsWaldmann2005Jacobs, Swen
Waldmann, Uwe
2005Attachment IconComparing Instance Generation Methods for Automated Reasoning
In: Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, 153-168
Proceedings Article
JacobsWaldmann2006Jacobs, Swen
Waldmann, Uwe
2006Attachment IconComparing Instance Generation Methods for Automated Reasoning
In: Journal of Automated Reasoning [38], 57-78
Electronic Journal Article
JacobsWaldmann2007Jacobs, Swen
Waldmann, Uwe
2007Attachment IconComparing Instance Generation Methods for Automated Reasoning
In: Journal of Automated Reasoning [38], 57-78
Journal Article
Karl2006Karl, Carsten2006Attachment IconAutomatische Analyse von Layer 3 Netzwerken mit SPASS
Universität des Saarlandes
Thesis - Masters thesis
LevAmiWeidenbachEtAl2007CADELev-Ami, Tal
Weidenbach, Christoph
Reps, Thomas
Sagiv, Mooly
2007Labelled Clauses
In: 21st International Conference on Automated Deduction (CADE-21), 311-327
Proceedings Article
LudwigDipl2006Ludwig, Michel2006Extensions of the Knuth-Bendix Ordering with LPO-like Properties
Universität des Saarlandes
Thesis - Masters thesis
LudwigWaldmann2007Ludwig, Michel
Waldmann, Uwe
2007An Extension of the Knuth-Bendix Ordering with LPO-Like Properties
In: Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, 348-362
Proceedings Article
PrevostoWaldmann2006Prevosto, Virgile
Waldmann, Uwe
2006SPASS+T
In: ESCoR: FLoC'06 Workshop on Empirically Successful Computerized Reasoning, 18-33
Proceedings Article
Rybalchenko-Sofronie-vmcai07Rybalchenko, Andrey
Sofronie-Stokkermans, Viorica
2007Constraint Solving for Interpolation
In: Verification, Model Checking and Abstract Interpretation : 8th International Conference, VMCAI 2007, 346-362
Proceedings Article
Sofronie-cade-05Sofronie-Stokkermans, Viorica2005Attachment IconHierarchic reasoning in local theory extensions
In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 219-234
Proceedings Article
sofronie-ihlemann-ismvl-2007Sofronie-Stokkermans, Viorica
Ihlemann, Carsten
2007Automated reasoning in some local extensions of ordered structures
In: Proceedings of ISMVL 2007, Article1
Proceedings Article
Sofronie-Ihlemann-Jacobs-dagstuhl07Sofronie-Stokkermans, Viorica
Ihlemann, Carsten
Jacobs, Swen
2007Local Theory Extensions, Hierarchical Reasoning and Applications to Verification
In: Deduction and Decision Procedures, 1-22
Electronic Proceedings Article
sofronie-ihlemann-jmvl-2007Sofronie-Stokkermans, Viorica
Ihlemann, Carsten
2007Automated reasoning in some local extensions of ordered structures
In: Journal of Multiple-Valued Logic and Soft Computing [13], 397-414
Journal Article
Sofronie-ijcar-06Sofronie-Stokkermans, Viorica2006Attachment IconInterpolation in local theory extensions
In: Proceedings of IJCAR 2006, 235-250
Proceedings Article
Sofronie-Stokkermans-addct07Ghilardi, Sattler, Sofronie-Stokkermans, Tiwari (ed.)2007Automated Deduction: Decidability, Complexity, Tractability (ADDCT'07)Proceedings
Sofronie-Stokkermans-dam-06Sofronie-Stokkermans, Viorica2007Attachment IconAutomated theorem proving by resolution in non-classical logics
In: Annals of Mathematics and Artificial Intelligence [49], 221-252
Journal Article
Sofronie-Stokkermans-frocos-07Sofronie-Stokkermans, Viorica2007Hierarchical and modular reasoning in complex theories: The case of local theory extensions
In: Frontiers of Combining Systems. 6th International Symposium FroCos 2007, Proceedings, 47-71
Proceedings Article
Sofronie-Stokkermans-ftp07-abstractSofronie-Stokkermans, Viorica2007Hierarchical and modular reasoning in complex theories: The case of local theory extensions.
In: Proceedings of the Sixth International Workshop on First-Order Theorem Proving (FTP 2007), 1
Proceedings Article
Sofronie-Stokkermans-getco-06Sofronie-Stokkermans, Viorica2006Sheaves and geometric logic in concurrency
In: Proceedings of the Eighth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2006), ?
Proceedings Article
Sofronie-Stokkermans-jahrbuch-2006Sofronie-Stokkermans, Viorica2006Automatisches Beweisen in komplexen Theorien
In: MPG Jahrbuch [-],
Electronic Journal Article
Sofronie-Stokkermans-moisil-08Sofronie-Stokkermans, Viorica2007Algebraic and logical methods in computer science: some aspects
In: Grigore C. Moisil and his followers, 488-493
Part of a Book
Sofronie-Stokkermans-unif-05Sofronie-Stokkermans, Viorica2007Attachment IconOn unification for bounded distributive lattices
In: ACM Transactions on Computational Logic [8], 12.1-12.28
Journal Article
Sofronie-Stokkermans2006Sofronie-Stokkermans, Viorica2007On unification in certain finitely generated varieties of algebras
In: Proceedings of the 21th International Workshop on Unification (UNIF 2007), 1-5
Electronic Proceedings Article
Sofronie-verify-06Sofronie-Stokkermans, Viorica2006Local reasoning in verification
In: IJCAR'06 Workshop : VERIFY'06: Verification Workshop, 128-145
Electronic Proceedings Article
WeidenbachSchmidtEtAl2007cadeWeidenbach, Christoph
Schmidt, Renate
Hillenbrand, Thomas
Rusev, Rostislav
Topic, Dalibor
2007Attachment IconSystem Description: Spass Version 3.0
In: Automated Deduction --- CADE-21 : 21st International Conference on Automated Deduction, 514-520
Proceedings Article
Wischnewski2007Wischnewski, Patrick2007Attachment IconContextual Rewriting in SPASS
Universität des Saarlandes
Thesis - Masters thesis
Zimmer2007Zimmer, Stephan2007Attachment IconIntelligent Combination of a First Order Theorem Prover and SMT Procedures
Universität des Saarlandes
Thesis - other

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