Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | José Carmo, Andrew J. I. Jones |
Completeness and decidability results for a logic of contrary-to-duty conditionals. |
J. Log. Comput. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Georg Gottlob, Marco Manna, Andreas Pieris |
Combining decidability paradigms for existential rules. |
Theory Pract. Log. Program. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Stefan Haar, Tomás Masopust |
Languages, Decidability, and Complexity. |
Control of Discrete-Event Systems |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis |
Verification of Artifact-Centric Systems: Decidability and Modeling Issues. |
ICSOC |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Alberto Policriti |
On the Decidability of the ∃*∀* Prefix Class in Set Theory. |
CILC |
2013 |
DBLP BibTeX RDF |
|
14 | Piotr Hofman, Richard Mayr, Patrick Totzke |
Decidability of Weak Simulation on One-Counter Nets. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Alfredo Burrieza |
Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations. |
CAEPIA |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Pavithra Prabhakar, Mahesh Viswanathan 0001 |
On the decidability of stability of hybrid systems. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Giorgio Delzanno, Riccardo Traverso |
Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Anca Muscholl, Sven Schewe |
Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge. |
MFCS |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano, Matthias Wendlandt |
Input-Driven Queue Automata: Finite Turns, Decidability, and Closure Properties. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Ricardo Gonçalves 0001, José Júlio Alferes |
Decidability and Implementation of Parametrized Logic Programs. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Elham Ramezani, Natalia Sidorova, Christian Stahl |
Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair. |
FSEN |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Jeffrey O. Shallit |
Decidability and Enumeration for Automatic Sequences: A Survey. |
CSR |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Abdelkader Kersani, Nicolas Peltier |
Completeness and Decidability Results for First-Order Clauses with Indices. |
CADE |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Amir M. Ben-Amram |
Mortality of Iterated Piecewise Affine Functions over the Integers: Decidability and Complexity (extended abstract). |
STACS |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Ivan Lanese, Gianluigi Zavattaro |
Decidability Results for Dynamic Installation of Compensation Handlers. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko |
Automatic Decidability: A Schematic Calculus for Theories with Counting Operators. |
RTA |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Sam A. M. Jones, Richard M. Thomas |
Formal Languages, Word Problems of Groups and Decidability. |
RP |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Christof Löding, Stefan Repke |
Decidability Results on the Existence of Lookahead Delegators for NFA. |
FSTTCS |
2013 |
DBLP DOI BibTeX RDF |
|
14 | 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 |
|
14 | Francesco Belardinelli, Alessio Lomuscio |
Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems. |
IJCAI |
2013 |
DBLP BibTeX RDF |
|
14 | Michaël Thomazo |
Conjunctive Query Answering Under Existential Rules - Decidability, Complexity, and Algorithms. |
|
2013 |
RDF |
|
14 | Paul Gastin, Nathalie Sznajder |
Decidability of well-connectedness for distributed synthesis. |
Inf. Process. Lett. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Emanuel Kieronski, Martin Otto 0001 |
Small substructures and decidability issues for first-order logic with two variables. |
J. Symb. Log. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Eugenio G. Omodeo, Alberto Policriti |
The Bernays - Schönfinkel - Ramsey class for set theory: decidability. |
J. Symb. Log. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Hajnal Andréka, Judit X. Madarász, István Németi |
Decidability, Undecidability, and Gödel's Incompleteness in Relativity Theories. |
Parallel Process. Lett. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Diego Figueira |
Decidability of Downward XPath. |
ACM Trans. Comput. Log. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Kenji Hashimoto, Hiroto Kawai, Yasunori Ishihara, Toru Fujiwara |
Decidability of the Security against Inference Attacks Using a Functional Dependency on XML Databases. |
IEICE Trans. Inf. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Kirsten |
Decidability, undecidability, and PSPACE-completeness of the twins property in the tropical semiring. |
Theor. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Ferucio Laurentiu Tiplea, Corina Bocaneala |
Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets. |
IEEE Trans. Syst. Man Cybern. Part A |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Udayan B. Darji, Steve W. Seif |
A Note on Decidability of Cellularity. |
J. Cell. Autom. |
2012 |
DBLP BibTeX RDF |
|
14 | Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Marco Manna |
Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues |
CoRR |
2012 |
DBLP BibTeX RDF |
|
14 | Fabien Durand |
Decidability of uniform recurrence of morphic sequences |
CoRR |
2012 |
DBLP BibTeX RDF |
|
14 | Hung-Hsun Chen, Wen-Guei Hu, De-Jan Lai, Song-Sun Lin |
Decidability of plane edge coloring with three colors |
CoRR |
2012 |
DBLP BibTeX RDF |
|
14 | Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani |
Intruder deducibility constraints with negation. Decidability and application to secured service compositions |
CoRR |
2012 |
DBLP BibTeX RDF |
|
14 | Vincent Padovani |
Decidability of All Minimal Models (Revised Version - 2012) |
CoRR |
2012 |
DBLP BibTeX RDF |
|
14 | Sicun Gao, Jeremy Avigad, Edmund M. Clarke |
Delta-Decidability over the Reals |
CoRR |
2012 |
DBLP BibTeX RDF |
|
14 | Philippe Darondeau, Stéphane Demri, Roland Meyer 0001, Christophe Morvan |
Petri Net Reachability Graphs: Decidability Status of First Order Properties |
Log. Methods Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Jarkko Kari |
Decidability and undecidability in cellular automata. |
Int. J. Gen. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Krystian Dudzinski, Stavros Konstantinidis |
Formal Descriptions of Code Properties: Decidability, Complexity, Implementation. |
Int. J. Found. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Amir M. Ben-Amram, Lars Kristiansen |
On the Edge of Decidability in Complexity Analysis of Loop Programs. |
Int. J. Found. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Mark Burgin |
Decidability and Universality in the Axiomatic Theory of Computability and Algorithms. |
Int. J. Found. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | David Auger, Olivier Teytaud |
The Frontier of Decidability in Partially Observable Recursive Games. |
Int. J. Found. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Alla Sirokofskich |
Decidability questions for a ring of Laurent polynomials. |
Ann. Pure Appl. Log. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Robert Solovay, R. D. Arthan, John Harrison 0001 |
Some new results on decidability for elementary algebra and geometry. |
Ann. Pure Appl. Log. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Julien Cassaigne, François Nicolas |
On the decidability of semigroup freeness. |
RAIRO Theor. Informatics Appl. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Daniele Zucchelli, Enrica Nicolini |
A Decidability Result for the Model Checking of Infinite-State Systems. |
J. Autom. Reason. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Véronique Cortier, Stéphanie Delaune |
Decidability and Combination Results for Two Notions of Knowledge in Security Protocols. |
J. Autom. Reason. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Yannick Chevalier, Michaël Rusinowitch |
Decidability of Equivalence of Symbolic Derivations. |
J. Autom. Reason. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Marco Manna |
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues. |
Theory Pract. Log. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | David Henriques, Manuel Biscaia, Pedro Baltazar, Paulo Mateus |
Decidability and complexity for ω-regular properties of stochastic systems. |
Log. J. IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Alberto Dennunzio, Enrico Formenti, Julien Provillard |
Non-uniform cellular automata: Classes, dynamics, and decidability. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Shibashis Guha, Chinmay Narayan, S. Arun-Kumar 0004 |
On Decidability of Prebisimulation for Timed Automata. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Faming Lu, Qingtian Zeng, Hao Zhang, Yunxia Bao, Jiufang An |
Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets. |
SEKE |
2012 |
DBLP BibTeX RDF |
|
14 | Petr Jancar |
Decidability of DPDA Language Equivalence via First-Order Grammars. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Sicun Gao, Jeremy Avigad, Edmund M. Clarke |
Delta-Decidability over the Reals. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Adam Kozaný |
On Decidability Results in Point Mutation Colonies with Restricted Rules. |
IJCCI (Selected Papers) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Lakhdar Akroun, Boualem Benatallah, Lhouari Nourine, Farouk Toumani |
On Decidability of Simulation in Data-Centeric Business Protocols. |
Business Process Management Workshops |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Marie-Pierre Béal, Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne, Sylvain Lombardy |
Decidability of Geometricity of Regular Languages. |
Developments in Language Theory |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Silvio Ranise, Alessandro Armando |
On the Automated Analysis of Safety in Usage Control: A New Decidability Result. |
NSS |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Pascal Fontaine, Stephan Merz, Christoph Weidenbach |
Combination of Disjoint Theories: Beyond Decidability. |
IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Klaus-Dieter Schewe, Qing Wang 0002 |
On the Decidability and Complexity of Identity Knowledge Representation. |
DASFAA (1) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Christopher H. Broadbent |
The Limits of Decidability for First Order Logic on CPDA Graphs. |
STACS |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Atsushi Ohta, Kohkichi Tsuji |
Decidability Analysis of Some Classes of Extended Function Petri Net. |
ICNC |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Andrea Asperti |
A Compact Proof of Decidability for Regular Expression Equivalence. |
ITP |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Joanna Golinska-Pilarek |
On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro |
Decidability Problems for Actor Systems. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar |
MSO Decidability of Multi-Pushdown Systems via Split-Width. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Nathalie Bertrand 0001, Giorgio Delzanno, Barbara König 0001, Arnaud Sangnier, Jan Stückrath |
On the Decidability Status of Reachability and Coverability in Graph Transformation Systems. |
RTA |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Martin Kutrib, Andreas Malcher, Giovanni Pighizzini |
Oblivious Two-Way Finite Automata: Decidability and Complexity. |
LATIN |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Pierre Fraigniaud, Andrzej Pelc |
Decidability Classes for Mobile Agents Computing. |
LATIN |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Takahito Aoto 0001, Jeroen Ketema |
Rational Term Rewriting Revisited: Decidability and Confluence. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
14 | German Tischler, Jürgen Wolff von Gudenberg |
Solving Decidability Problems with Interval Arithmetic. |
Reliab. Comput. |
2011 |
DBLP BibTeX RDF |
|
14 | Sebastian Danicic, Robert M. Hierons, Michael R. Laurence |
Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas. |
J. Log. Algebraic Methods Program. |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Joseph Flenner |
Relative decidability and definability in henselian valued fields. |
J. Symb. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Gareth Jones, Tamara Servi |
On the decidability of the real field with a generic power function. |
J. Symb. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
Finitely recursive programs: Decidability and bottom-up computation. |
AI Commun. |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Stefan Wehr, Peter Thiemann 0001 |
On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints. |
New Gener. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Piero A. Bonatti |
On the decidability of FDNC programs. |
Intelligenza Artificiale |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Daowen Qiu, Lvzhou Li, Xiangfu Zou, Paulo Mateus, Jozef Gruska |
Multi-letter quantum finite automata: decidability of the equivalence and minimization of states. |
Acta Informatica |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat |
On rules with existential variables: Walking the decidability line. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Fernando Rosa-Velardo, David de Frutos-Escrig |
Decidability and complexity of Petri nets with unordered data. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Olivier Finkel |
On Decidability Properties of One-Dimensional Cellular Automata. |
J. Cell. Autom. |
2011 |
DBLP BibTeX RDF |
|
14 | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier |
Decidability and Undecidability Results for Propositional Schemata. |
J. Artif. Intell. Res. |
2011 |
DBLP DOI BibTeX RDF |
|
14 | H. J. Sander Bruggink, Mathias Hülsbusch |
Decidability and Expressiveness of Finitely Representable Recognizable Graph Languages. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Levent Alpoge, Thomas Ang, Luke Schaeffer, Jeffrey O. Shallit |
Decidability and Shortest Strings in Formal Languages |
CoRR |
2011 |
DBLP BibTeX RDF |
|
14 | Vesa Halava, Tero Harju, Tomi Kärki |
A new proof for the decidability of D0L ultimate periodicity |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Ka. Shrinivaasan |
Decidability of Existence and Construction of a Complement of a given Function |
CoRR |
2011 |
DBLP BibTeX RDF |
|
14 | Fabien Durand |
Decidability of the HD0L ultimate periodicity problem |
CoRR |
2011 |
DBLP BibTeX RDF |
|
14 | Krishnendu Chatterjee, Thomas A. Henzinger, Mathieu Tracol |
The Decidability Frontier for Probabilistic Automata on Infinite Words |
CoRR |
2011 |
DBLP BibTeX RDF |
|
14 | Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev |
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces |
CoRR |
2011 |
DBLP BibTeX RDF |
|
14 | Alberto Dennunzio, Enrico Formenti, Julien Provillard |
Non-Uniform Cellular Automata: classes, dynamics, and decidability |
CoRR |
2011 |
DBLP BibTeX RDF |
|
14 | Petr Hájek 0001 |
Comments on Interpretability and Decidability in Fuzzy Logic. |
J. Log. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn |
Soundness of workflow nets: classification, decidability, and analysis. |
Formal Aspects Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Ivan Lanese, Jorge A. Pérez 0001, Davide Sangiorgi, Alan Schmitt |
On the expressiveness and decidability of higher-order process calculi. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Didier Galmiche, Yakoub Salhi |
Sequent calculi and decidability for intuitionistic hybrid logic. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Christopher Lynch, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
Automatic decidability and combinability. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Henning Bordihn, Markus Holzer 0001, Martin Kutrib |
Decidability of operation problems for T0L languages and subclasses. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III |
Schematic Validity in Dynamic Epistemic Logic: Decidability. |
LORI |
2011 |
DBLP DOI BibTeX RDF |
|