Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Joël Ouaknine |
Specification and Verification of Linear Dynamical Systems: Advances and Challenges. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Peñaloza, Tingting Zou |
Roughening the Envelope. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Wernhard |
Abduction in Logic Programming as Second-Order Quantifier Elimination. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Areces, Raul Fervari, Guillaume Hoffmann 0001 |
Tableaux for Relation-Changing Modal Logics. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Borgwardt, Marcel Lippmann, Veronika Thost |
Temporal Query Answering in the Description Logic DL-Lite. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Takahito Aoto 0001 |
Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Konstantin Korovin |
Non-cyclic Sorts for First-Order Satisfiability. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Clark W. Barrett, Stéphane Demri, Morgan Deters |
Witness Runs for Counter Machines. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.) |
Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings |
FroCoS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Cynthia Kop, Naoki Nishida 0001 |
Term Rewriting with Logical Constraints. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Burel, Simon Cruanes |
Detection of First Order Axiomatic Theories. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Karrenberg, Marek Kosta, Thomas Sturm 0001 |
Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Papacchini, Renate A. Schmidt |
Computing Minimal Models Modulo Subset-Simulation for Modal Logics. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani, Szabolcs Mikulás |
Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Alberti, Silvio Ghilardi, Natasha Sharygina |
Definability of Accelerated Relations in a Theory of Arrays and Its Applications. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Horbach, Viorica Sofronie-Stokkermans |
Obtaining Finite Local Theory Axiomatizations via Saturation. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jasmin Christian Blanchette, Andrei Popescu 0001 |
Mechanizing the Metatheory of Sledgehammer. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Abdelkader Kersani, Nicolas Peltier |
Combining Superposition and Induction: A Practical Realization. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Bouchard, Kimberly A. Gero, Christopher Lynch, Paliath Narendran |
On Forward Closure and the Finite Variant Property. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Koopmann, Renate A. Schmidt |
Uniform Interpolation of -Ontologies Using Fixpoints. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Griggio, Quoc-Sang Phan, Roberto Sebastiani, Silvia Tomasi |
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT. |
FroCoS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dejan Jovanovic, Clark W. Barrett |
Sharing Is Caring: Combination of Theories. |
FroCoS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Cesare Tinelli, Viorica Sofronie-Stokkermans (eds.) |
Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings |
FroCoS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models. |
FroCoS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Fuhs, Cynthia Kop |
Harnessing First Order Termination Provers Using Higher Order Dependency Pairs. |
FroCoS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach |
Superposition Modulo Non-linear Arithmetic. |
FroCoS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jasmin Christian Blanchette, Lukas Bulwahn, Tobias Nipkow |
Automatic Proof and Disproof in Isabelle/HOL. |
FroCoS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai |
Controlled Term Rewriting. |
FroCoS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Martin Lange |
Size-Change Termination and Satisfiability for Linear-Time Temporal Logics. |
FroCoS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marcello M. Bersani, Stéphane Demri |
The Complexity of Reversal-Bounded Model-Checking. |
FroCoS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Schmidt-Schauß, David Sabel, Altug Anis |
Congruence Closure of Compressed Terms in Polynomial Time. |
FroCoS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Rafael Peñaloza |
On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm. |
FroCoS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christian Sternagel, René Thiemann |
Generalized and Formalized Uncurrying. |
FroCoS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Ringeissen, Valerio Senni |
Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. |
FroCoS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | François Bobot, Andrey Paskevich |
Expressing Polymorphic Types in a Many-Sorted Language. |
FroCoS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shahab Tasharrofi, Eugenia Ternovska |
A Semantic Account for Modularity in Multi-language Modelling of Search Problems. |
FroCoS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Luis Fariñas del Cerro, Andreas Herzig |
The Modal Logic of Equilibrium Models. |
FroCoS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise |
A Combination of Rewriting and Constraint Solving for the Quantifier-Free Interpolation of Arrays with Integer Difference Constraints. |
FroCoS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Areces, Pascal Fontaine |
Combining Theories: The Ackerman and Guarded Fragments. |
FroCoS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani |
Axiomatization and Completeness of Lexicographic Products of Modal Logics. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
lexicographic product, axiomatization/completeness, Modal logic |
1 | Conrad Drescher, Stephan Schiffel, Michael Thielscher |
A Declarative Agent Programming Language Based on Action Theories. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Durán 0001, Salvador Lucas, José Meseguer 0001 |
Termination Modulo Combinations of Equational Theories. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch |
Data Structures with Arithmetic Constraints: A Non-disjoint Combination. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Clare Dixon, Michael Fisher 0001, Boris Konev |
Taming the Complexity of Temporal Epistemic Reasoning. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Althaus, Evgeny Kruglov, Christoph Weidenbach |
Superposition Modulo Linear Arithmetic SUP(LA). |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Boris Motik |
Combining Description Logics, Description Graphs, and Rules. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Fontaine |
Combinations of Theories for Decidable Fragments of First-Order Logic. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher |
Putting ABox Updates into Action. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Silvio Ghilardi, Roberto Sebastiani (eds.) |
Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Luca Pulina, Armando Tacchella |
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ashish Tiwari 0001 |
Combining Equational Reasoning. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Siva Anantharaman, Hai Lin 0005, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch |
Unification Modulo Homomorphic Encryption. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Burel |
Automating Theories in Intuitionistic Logic. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Lynch, Ralph Eric McGregor |
Combining Instance Generation and Resolution. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Lescuyer, Sylvain Conchon |
Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Wies, Ruzica Piskac, Viktor Kuncak |
Combining Theories with Shared Set Operations. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink 0001, Giovambattista Ianni, Thomas Krennwallner |
Combining Nonmonotonic Knowledge Bases with External Sources. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Takahito Aoto 0001, Toshiyuki Yamada |
Argument Filterings and Usable Rules for Simply Typed Dependency Pairs. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
DL-Lite with Temporalised Concepts, Rigid Axioms and Roles. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Cédric Piette, Youssef Hamadi, Lakhdar Sais |
Efficient Combination of Decision Procedures for MUS Computation. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Andreas Bauer 0002, Marcel Lippmann |
Runtime Verification Using a Temporal Description Logic. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Armando |
Building SMT-Based Software Model Checkers: An Experience Report. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Agi Kurucz |
Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Sebastiani |
From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain. |
FroCoS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schneider-Kamp, René Thiemann, Elena Annov, Michael Codish, Jürgen Giesl |
Proving Termination Using Recursive Path Orders and SAT Solving. |
FroCoS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Tim French 0002 |
Idempotent Transductions for Modal Logics. |
FroCoS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Hasan Amjad |
A Compressing Translation from Propositional Resolution to Natural Deduction. |
FroCoS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sava Krstic, Amit Goel |
Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL. |
FroCoS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Michael Zakharyaschev |
Temporalising Logics: Fifteen Years After. |
FroCoS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Clare Dixon, Michael Fisher 0001, Boris Konev |
Temporal Logic with Capacity Constraints. |
FroCoS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune |
Combining Algorithms for Deciding Knowledge in Security Protocols. |
FroCoS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch |
Towards an Automatic Analysis of Web Service Security. |
FroCoS |
2007 |
DBLP DOI BibTeX RDF |
combination of decision procedures, Security, Web services, verification, cryptographic protocols, rewriting, equational theories |
1 | Boris Konev, Frank Wolter (eds.) |
Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings |
FroCoS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Beatriz Alarcón, Salvador Lucas |
Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs. |
FroCoS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
Combining Proof-Producing Decision Procedures. |
FroCoS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Chabin, Pierre Réty |
Visibly Pushdown Languages and Term Rewriting. |
FroCoS |
2007 |
DBLP DOI BibTeX RDF |
term rewriting, tree languages |
1 | Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli |
Noetherianity and Combination Problems. |
FroCoS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Caleiro, Jaime Ramos |
Combining Classical and Intuitionistic Implications. |
FroCoS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Viorica Sofronie-Stokkermans |
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions. |
FroCoS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Hitoshi Ohsaki, Hiroyuki Seki |
Languages Modulo Normalization. |
FroCoS |
2007 |
DBLP DOI BibTeX RDF |
tree automata modulo axioms, equational rewriting, Boolean closedness, hedge automata and XML schema, regularity, decidability |
1 | Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds 0001 |
A Temporal Logic of Robustness. |
FroCoS |
2007 |
DBLP DOI BibTeX RDF |
RoCTL*, QCTL*, Robustness, Modal Logic, Decidability, Branching Time Logic |
1 | Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain |
Certification of Automated Termination Proofs. |
FroCoS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Shuvendu K. Lahiri, Madanlal Musuvathi |
An Efficient Decision Procedure for UTVPI Constraints. |
FroCoS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Gramlich (eds.) |
Frontiers of Combining Systems, 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings |
FroCoS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Silvio Ghilardi |
Connecting Many-Sorted Structures and Theories Through Adjoint Functions. |
FroCoS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Pattinson, Bernhard Reus |
A Complete Temporal and Spatial Logic for Distributed Systems. |
FroCoS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Silvio Ranise, Christophe Ringeissen, Calogero G. Zarba |
Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic. |
FroCoS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Tverdyshev |
Combination of Isabelle/HOL with Automatic Tools. |
FroCoS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Khalil Djelloul |
About the Combination of Trees and Rational Numbers in a Complete First-Order Theory. |
FroCoS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz 0001 |
On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal. |
FroCoS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rafael del Vado Vírseda |
Declarative Constraint Programming with Definitional Trees. |
FroCoS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Éric Monfroy, Frédéric Saubion, Tony Lambert |
Hybrid CSP Solving. |
FroCoS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea |
Sociable Interfaces. |
FroCoS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sa Cui, Kevin Donnelly, Hongwei Xi |
ATS: A Language That Combines Programming with Theorem Proving. |
FroCoS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Giesl, René Thiemann, Peter Schneider-Kamp |
Proving and Disproving Termination of Higher-Order Functions. |
FroCoS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli |
A Comprehensive Framework for Combined Decision Procedures. |
FroCoS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dejan Jovanovic, Predrag Janicic |
Logical Analysis of Hash Functions. |
FroCoS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Abel 0001, Thierry Coquand, Ulf Norell |
Connecting a Logical Framework to a First-Order Logic Prover. |
FroCoS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Egon Börger |
The ASM Method for System Design and Analysis. A Tutorial Introduction. |
FroCoS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Fausto Giunchiglia |
Matching Classifications via a Bidirectional Integration of SAT and Linguistic Resources. |
FroCoS |
2005 |
DBLP DOI BibTeX RDF |
|