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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 23(3), pp. 585-626, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Georg Gottlob, Marco Manna, Andreas Pieris |
Combining decidability paradigms for existential rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 13(4-5), pp. 877-892, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Stefan Haar, Tomás Masopust |
Languages, Decidability, and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control of Discrete-Event Systems ![In: Control of Discrete-Event Systems, pp. 23-43, 2013, Springer, 978-1-4471-4275-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis |
Verification of Artifact-Centric Systems: Decidability and Modeling Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings, pp. 252-266, 2013, Springer, 978-3-642-45004-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Alberto Policriti |
On the Decidability of the ∃*∀* Prefix Class in Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013., pp. 13, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
14 | Piotr Hofman, Richard Mayr, Patrick Totzke |
Decidability of Weak Simulation on One-Counter Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013, pp. 203-212, 2013, IEEE Computer Society, 978-1-4799-0413-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Alfredo Burrieza |
Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAEPIA ![In: Advances in Artificial Intelligence - 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings, pp. 101-110, 2013, Springer, 978-3-642-40642-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Pavithra Prabhakar, Mahesh Viswanathan 0001 |
On the decidability of stability of hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 53-62, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Giorgio Delzanno, Riccardo Traverso |
Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings, pp. 238-249, 2013, Springer, 978-3-642-37063-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Anca Muscholl, Sven Schewe |
Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings, pp. 691-703, 2013, Springer, 978-3-642-40312-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings, pp. 232-243, 2013, Springer, 978-3-642-39273-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Ricardo Gonçalves 0001, José Júlio Alferes |
Decidability and Implementation of Parametrized Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings, pp. 361-373, 2013, Springer, 978-3-642-40563-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Elham Ramezani, Natalia Sidorova, Christian Stahl |
Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers, pp. 150-167, 2013, Springer, 978-3-642-40212-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Jeffrey O. Shallit |
Decidability and Enumeration for Automatic Sequences: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications - 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings, pp. 49-63, 2013, Springer, 978-3-642-38535-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Abdelkader Kersani, Nicolas Peltier |
Completeness and Decidability Results for First-Order Clauses with Indices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings, pp. 58-75, 2013, Springer, 978-3-642-38573-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Amir M. Ben-Amram |
Mortality of Iterated Piecewise Affine Functions over the Integers: Decidability and Complexity (extended abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: 30th International Symposium on Theoretical Aspects of Computer Science, STACS 2013, February 27 - March 2, 2013, Kiel, Germany, pp. 514-525, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-50-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Ivan Lanese, Gianluigi Zavattaro |
Decidability Results for Dynamic Installation of Compensation Handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings, pp. 136-150, 2013, Springer, 978-3-642-38492-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko |
Automatic Decidability: A Schematic Calculus for Theories with Counting Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 24th International Conference on Rewriting Techniques and Applications, RTA 2013, June 24-26, 2013, Eindhoven, The Netherlands, pp. 303-318, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-53-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Sam A. M. Jones, Richard M. Thomas |
Formal Languages, Word Problems of Groups and Decidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems - 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings, pp. 146-158, 2013, Springer, 978-3-642-41035-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Christof Löding, Stefan Repke |
Decidability Results on the Existence of Lookahead Delegators for NFA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 327-338, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings, pp. 151-164, 2013, Springer, 978-3-642-40884-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Francesco Belardinelli, Alessio Lomuscio |
Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, pp. 725-731, 2013, IJCAI/AAAI, 978-1-57735-633-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
14 | Michaël Thomazo |
Conjunctive Query Answering Under Existential Rules - Decidability, Complexity, and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
14 | Paul Gastin, Nathalie Sznajder |
Decidability of well-connectedness for distributed synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 112(24), pp. 963-968, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Emanuel Kieronski, Martin Otto 0001 |
Small substructures and decidability issues for first-order logic with two variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 77(3), pp. 729-765, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Eugenio G. Omodeo, Alberto Policriti |
The Bernays - Schönfinkel - Ramsey class for set theory: decidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 77(3), pp. 896-918, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Process. Lett. ![In: Parallel Process. Lett. 22(3), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Diego Figueira |
Decidability of Downward XPath. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 13(4), pp. 34:1-34:40, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 95-D(5), pp. 1365-1374, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Kirsten |
Decidability, undecidability, and PSPACE-completeness of the twins property in the tropical semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 420, pp. 56-63, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Ferucio Laurentiu Tiplea, Corina Bocaneala |
Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 42(1), pp. 238-249, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Udayan B. Darji, Steve W. Seif |
A Note on Decidability of Cellularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cell. Autom. ![In: J. Cell. Autom. 7(5-6), pp. 509-514, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
14 | Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Marco Manna |
Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1210.2316, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
14 | Fabien Durand |
Decidability of uniform recurrence of morphic sequences ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1204.5393, 2012. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1210.6712, 2012. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1207.4871, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
14 | Vincent Padovani |
Decidability of All Minimal Models (Revised Version - 2012) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1210.3599, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
14 | Sicun Gao, Jeremy Avigad, Edmund M. Clarke |
Delta-Decidability over the Reals ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1204.6671, 2012. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 8(4), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Jarkko Kari |
Decidability and undecidability in cellular automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gen. Syst. ![In: Int. J. Gen. Syst. 41(6), pp. 539-554, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Krystian Dudzinski, Stavros Konstantinidis |
Formal Descriptions of Code Properties: Decidability, Complexity, Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 23(1), pp. 67-85, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Amir M. Ben-Amram, Lars Kristiansen |
On the Edge of Decidability in Complexity Analysis of Loop Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 23(7), pp. 1451-1464, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Mark Burgin |
Decidability and Universality in the Axiomatic Theory of Computability and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 23(7), pp. 1465-1480, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | David Auger, Olivier Teytaud |
The Frontier of Decidability in Partially Observable Recursive Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 23(7), pp. 1439-1450, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Alla Sirokofskich |
Decidability questions for a ring of Laurent polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 163(5), pp. 615-619, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Robert Solovay, R. D. Arthan, John Harrison 0001 |
Some new results on decidability for elementary algebra and geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 163(12), pp. 1765-1802, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Julien Cassaigne, François Nicolas |
On the decidability of semigroup freeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 46(3), pp. 355-399, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Daniele Zucchelli, Enrica Nicolini |
A Decidability Result for the Model Checking of Infinite-State Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 48(1), pp. 1-42, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Véronique Cortier, Stéphanie Delaune |
Decidability and Combination Results for Two Notions of Knowledge in Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 48(4), pp. 441-487, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Yannick Chevalier, Michaël Rusinowitch |
Decidability of Equivalence of Symbolic Derivations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 48(2), pp. 263-292, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 12(4-5), pp. 701-718, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | David Henriques, Manuel Biscaia, Pedro Baltazar, Paulo Mateus |
Decidability and complexity for ω-regular properties of stochastic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 20(6), pp. 1175-1201, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Alberto Dennunzio, Enrico Formenti, Julien Provillard |
Non-uniform cellular automata: Classes, dynamics, and decidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 215, pp. 32-46, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Shibashis Guha, Chinmay Narayan, S. Arun-Kumar 0004 |
On Decidability of Prebisimulation for Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, pp. 444-461, 2012, Springer, 978-3-642-31423-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012, pp. 340-345, 2012, Knowledge Systems Institute Graduate School, 1-891706-31-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
14 | Petr Jancar |
Decidability of DPDA Language Equivalence via First-Order Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012, pp. 415-424, 2012, IEEE Computer Society, 978-1-4673-2263-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Sicun Gao, Jeremy Avigad, Edmund M. Clarke |
Delta-Decidability over the Reals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012, pp. 305-314, 2012, IEEE Computer Society, 978-1-4673-2263-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Adam Kozaný |
On Decidability Results in Point Mutation Colonies with Restricted Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCCI (Selected Papers) ![In: Computational Intelligence - International Joint Conference, IJCCI 2012 Barcelona, Spain, October 5-7, 2012 Revised Selected Papers, pp. 131-139, 2012, Springer, 978-3-319-11270-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Lakhdar Akroun, Boualem Benatallah, Lhouari Nourine, Farouk Toumani |
On Decidability of Simulation in Data-Centeric Business Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops - BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers, pp. 352-363, 2012, Springer, 978-3-642-36284-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory - 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings, pp. 62-72, 2012, Springer, 978-3-642-31652-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Silvio Ranise, Alessandro Armando |
On the Automated Analysis of Safety in Usage Control: A New Decidability Result. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSS ![In: Network and System Security - 6th International Conference, NSS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings, pp. 15-28, 2012, Springer, 978-3-642-34600-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Pascal Fontaine, Stephan Merz, Christoph Weidenbach |
Combination of Disjoint Theories: Beyond Decidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings, pp. 256-270, 2012, Springer, 978-3-642-31364-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Klaus-Dieter Schewe, Qing Wang 0002 |
On the Decidability and Complexity of Identity Knowledge Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA (1) ![In: Database Systems for Advanced Applications - 17th International Conference, DASFAA 2012, Busan, South Korea, April 15-19, 2012, Proceedings, Part I, pp. 288-302, 2012, Springer, 978-3-642-29037-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Christopher H. Broadbent |
The Limits of Decidability for First Order Logic on CPDA Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: 29th International Symposium on Theoretical Aspects of Computer Science, STACS 2012, February 29th - March 3rd, 2012, Paris, France, pp. 589-600, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-35-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Atsushi Ohta, Kohkichi Tsuji |
Decidability Analysis of Some Classes of Extended Function Petri Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC ![In: Third International Conference on Networking and Computing, ICNC 2012, Okinawa, Japan, December 5-7, 2012, pp. 414-419, 2012, IEEE Computer Society, 978-1-4673-4624-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Andrea Asperti |
A Compact Proof of Decidability for Regular Expression Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings, pp. 283-298, 2012, Springer, 978-3-642-32346-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Joanna Golinska-Pilarek |
On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 255-266, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro |
Decidability Problems for Actor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings, pp. 562-577, 2012, Springer, 978-3-642-32939-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar |
MSO Decidability of Multi-Pushdown Systems via Split-Width. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings, pp. 547-561, 2012, Springer, 978-3-642-32939-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 101-116, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Martin Kutrib, Andreas Malcher, Giovanni Pighizzini |
Oblivious Two-Way Finite Automata: Decidability and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2012: Theoretical Informatics - 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings, pp. 518-529, 2012, Springer, 978-3-642-29343-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Pierre Fraigniaud, Andrzej Pelc |
Decidability Classes for Mobile Agents Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2012: Theoretical Informatics - 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings, pp. 362-374, 2012, Springer, 978-3-642-29343-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Takahito Aoto 0001, Jeroen Ketema |
Rational Term Rewriting Revisited: Decidability and Confluence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 172-186, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | German Tischler, Jürgen Wolff von Gudenberg |
Solving Decidability Problems with Interval Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 15(3), pp. 279-289, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 80(2), pp. 92-112, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Joseph Flenner |
Relative decidability and definability in henselian valued fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 76(4), pp. 1240-1260, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Gareth Jones, Tamara Servi |
On the decidability of the real field with a generic power function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 76(4), pp. 1418-1428, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
Finitely recursive programs: Decidability and bottom-up computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Commun. ![In: AI Commun. 24(4), pp. 311-334, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Stefan Wehr, Peter Thiemann 0001 |
On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 29(1), pp. 87-124, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Piero A. Bonatti |
On the decidability of FDNC programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligenza Artificiale ![In: Intelligenza Artificiale 5(1), pp. 89-93, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 48(5-6), pp. 271-290, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 175(9-10), pp. 1620-1654, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Fernando Rosa-Velardo, David de Frutos-Escrig |
Decidability and complexity of Petri nets with unordered data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 412(34), pp. 4439-4451, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Olivier Finkel |
On Decidability Properties of One-Dimensional Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cell. Autom. ![In: J. Cell. Autom. 6(2-3), pp. 181-193, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
14 | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier |
Decidability and Undecidability Results for Propositional Schemata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 40, pp. 599-656, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | H. J. Sander Bruggink, Mathias Hülsbusch |
Decidability and Expressiveness of Finitely Representable Recognizable Graph Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Levent Alpoge, Thomas Ang, Luke Schaeffer, Jeffrey O. Shallit |
Decidability and Shortest Strings in Formal Languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1103.1622, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
14 | Vesa Halava, Tero Harju, Tomi Kärki |
A new proof for the decidability of D0L ultimate periodicity ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: Proceedings 8th International Conference Words 2011, Prague, Czech Republic, 12-16th September 2011., pp. 147-151, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Ka. Shrinivaasan |
Decidability of Existence and Construction of a Complement of a given Function ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1106.4102, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
14 | Fabien Durand |
Decidability of the HD0L ultimate periodicity problem ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1111.3268, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
14 | Krishnendu Chatterjee, Thomas A. Henzinger, Mathieu Tracol |
The Decidability Frontier for Probabilistic Automata on Infinite Words ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1104.0127, 2011. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1104.0219, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
14 | Alberto Dennunzio, Enrico Formenti, Julien Provillard |
Non-Uniform Cellular Automata: classes, dynamics, and decidability ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1107.5228, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
14 | Petr Hájek 0001 |
Comments on Interpretability and Decidability in Fuzzy Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 21(5), pp. 823-828, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 23(3), pp. 333-363, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 209(2), pp. 198-226, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Didier Galmiche, Yakoub Salhi |
Sequent calculi and decidability for intuitionistic hybrid logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 209(12), pp. 1447-1463, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Christopher Lynch, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
Automatic decidability and combinability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 209(7), pp. 1026-1047, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Henning Bordihn, Markus Holzer 0001, Martin Kutrib |
Decidability of operation problems for T0L languages and subclasses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 209(3), pp. 344-352, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III |
Schematic Validity in Dynamic Epistemic Logic: Decidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LORI ![In: Logic, Rationality, and Interaction - Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings, pp. 87-96, 2011, Springer, 978-3-642-24129-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|