Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Leszek Aleksander Kolodziejczyk, Henryk Michalewski |
How unprovable is Rabin's decidability theorem? |
CoRR |
2015 |
DBLP BibTeX RDF |
|
14 | Jason Teutsch, Marius Zimand |
On Approximate Decidability of Minimal Programs. |
ACM Trans. Comput. Theory |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Amir M. Ben-Amram |
Mortality of iterated piecewise affine functions over the integers: Decidability and complexity. |
Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko |
A rule-based system for automatic decidability and combinability. |
Sci. Comput. Program. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Levon Haykazyan |
Decidability of the Clark's completion semantics for monadic programs and queries. |
Theory Pract. Log. Program. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Xingxiang Li, Junfeng Luan |
可计算性逻辑中CoL2系统的可判定性分析 (Research on Decidability of CoL2 in Computability Logic). |
计算机科学 |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Lvzhou Li, Yuan Feng 0001 |
Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties. |
Inf. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Simone Santini |
Querying streams using regular expressions: some semantics, decidability, and efficiency issues. |
VLDB J. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Roderick Bloem, Swen Jacobs, Ayrat Khalimov 0001, Igor Konnov 0001, Sasha Rubin, Helmut Veith, Josef Widder |
Decidability of Parameterized Verification |
|
2015 |
DOI RDF |
|
14 | Gilles Dowek, Ying Jiang |
Decidability, Introduction Rules and Automata. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Rémy Chrétien, Véronique Cortier, Stéphanie Delaune |
Decidability of Trace Equivalence for Protocols with Nonces. |
CSF |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Abhishek Murthy, Md. Ariful Islam, Scott A. Smolka, Radu Grosu |
Computing bisimulation functions using SOS optimization and δ-decidability over the reals. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Piero A. Bonatti, Marco Faella, Carsten Lutz, Luigi Sauro, Frank Wolter |
Decidability of Circumscribed Description Logics Revisited. |
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Ting Gan, Mingshuai Chen, Liyun Dai, Bican Xia, Naijun Zhan |
Decidability of the Reachability for a Family of Linear Vector Fields. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Timo Jolivet, Anne Siegel |
Decidability Problems for Self-induced Systems Generated by a Substitution. |
MCU |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Joey Eremondi, Oscar H. Ibarra, Ian McQuillan |
On the Complexity and Decidability of Some Problems Involving Shuffle. |
DCFS |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Kamila Barylska, Lukasz Mikulski |
On Decidability of Persistence Notions. |
CS&P |
2015 |
DBLP BibTeX RDF |
|
14 | Daniel Prusa |
(Un)decidability of the Emptiness Problem for Multi-dimensional Context-Free Grammars. |
CIAA |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jorge Almeida 0001, Jana Bartonová, Ondrej Klíma 0001, Michal Kunc |
On Decidability of Intermediate Levels of Concatenation Hierarchies. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Grant Olney Passmore |
Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers. |
CADE |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Alberto Gatto |
Decidability via Mosaics for Bundled Ockhamist Logic. |
TIME |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Steven Schäfer, Gert Smolka, Tobias Tebbi |
Completeness and Decidability of de Bruijn Substitution Algebra in Coq. |
CPP |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jan Kretínský, Kim Guldstrand Larsen, Simon Laursen, Jirí Srba |
Polynomial Time Decidability of Weighted Synchronization under Partial Observability. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Michal Kovác |
Decidability of Termination Problems for Sequential P Systems with Active Membranes. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Prateek Karandikar, Philippe Schnoebelen |
Decidability in the Logic of Subsequences and Supersequences. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans |
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata. |
FroCos |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Natasha Alechina, Nils Bulling, Brian Logan 0001, Hoang Nga Nguyen |
On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic. |
IJCAI |
2015 |
DBLP BibTeX RDF |
|
14 | Massimo Bartoletti, Roberto Zunino |
On the Decidability of Honesty and of Its Variants. |
WS-FM |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Sam Anthony Mark Jones |
Groups, formal language theory and decidability. |
|
2015 |
RDF |
|
14 | Julien Reichert |
Reachability games with counters : decidability and algorithms. (Décidabilité et complexité de jeux d'accessibilité sur des systèmes à compteurs). |
|
2015 |
RDF |
|
14 | Yaron Velner |
Multidimensional and Pushdown Mean-Payoff Games with Applications to Quantitative Verification and Synthesis of Programs: Complexity, Decidability and Algorithms |
|
2015 |
RDF |
|
14 | Michael Köhler-Bußmeier |
A Survey of Decidability Results for Elementary Object Systems. |
Fundam. Informaticae |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Gennadi Puninski, Carlo Toffalori |
Decidability of Modules over a BéZout Domain D+xq[X] with d a Principal Ideal Domain and Q its Field of fractions. |
J. Symb. Log. |
2014 |
DBLP BibTeX RDF |
|
14 | Manuel Biscaia, David Henriques, Paulo Mateus |
Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains. |
ACM Trans. Comput. Log. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko |
Decidability of involution hypercodes. |
Theor. Comput. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Alberto Dennunzio, Enrico Formenti, Michael Weiss |
Multidimensional cellular automata: closing property, quasi-expansivity, and (un)decidability issues. |
Theor. Comput. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti |
Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms. |
Theor. Comput. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Gillman Payette |
Decidability of an Xstit Logic. |
Stud Logica |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Wojciech Czerwinski, Piotr Hofman, Slawomir Lasota 0001 |
Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes. |
Theory Comput. Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Levon Haykazyan |
Decidability of the Clark's Completion Semantics for Monadic Programs and Queries. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
14 | Mathew Joseph, Gabriel M. Kuper, Luciano Serafini |
Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability using Acyclicity (full version). |
CoRR |
2014 |
DBLP BibTeX RDF |
|
14 | Achim Blumensath, Martin Otto 0001, Mark Weyer |
Decidability Results for the Boundedness Problem. |
Log. Methods Comput. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Hajime Ishihara |
Classical propositional logic and decidability of variables in intuitionistic propositional logic. |
Log. Methods Comput. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Ville Salo |
Decidability and Universality of Quasiminimal Subshifts. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
14 | Gilles Dowek, Ying Jiang |
Cut-elimination and the decidability of reachability in alternating pushdown systems. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
14 | Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro |
Decidability Problems for Actor Systems. |
Log. Methods Comput. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Danko Ilik |
Axioms and Decidability for Type Isomorphism in the Presence of Sums. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
14 | Jason Teutsch, Marius Zimand |
On approximate decidability of minimal programs. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
14 | Lukás Vokrínek |
Decidability of the extension problem for maps into odd-dimensional spheres. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
14 | Minghui Ma, Zhe Lin 0002 |
Residuated Basic Logic II. Interpolation, Decidability and Embedding. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
14 | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier |
Decidability and Undecidability Results for Propositional Schemata. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
14 | Vladimir A. Bashkin, Irina A. Lomazova |
Decidability of k -Soundness for Workflow Nets with an Unbounded Resource. |
Trans. Petri Nets Other Model. Concurr. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Enric Ventura |
Group-theoretic orbit decidability. |
Groups Complex. Cryptol. |
2014 |
DBLP BibTeX RDF |
|
14 | Alberto Bertoni, Christian Choffrut, Flavio D'Alessandro |
On the Decidability of the Intersection Problem for Quantum Automata and Context-Free Languages. |
Int. J. Found. Comput. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Alexandra Shlapentokh, Carlos Videla |
Definability and decidability in infinite algebraic extensions. |
Ann. Pure Appl. Log. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Martin Kutrib, Andreas Malcher, Giovanni Pighizzini |
Oblivious two-way finite automata: Decidability and complexity. |
Inf. Comput. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Haroldas Giedra, Jurate Sakalauskaite, Romas Alonderis |
Decidability of Logic of Correlated Knowledge. |
Informatica |
2014 |
DBLP BibTeX RDF |
|
14 | Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue |
Decidability and Expressiveness of Recursive Weighted Logic. |
Ershov Memorial Conference |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Takeo Uramoto |
A Modified Completeness Theorem of KAT and Decidability of Term Reducibility. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Lakhdar Akroun, Boualem Benatallah, Lhouari Nourine, Farouk Toumani |
Decidability and Complexity of Simulation Preorder for Data-Centric Web Services. |
ICSOC |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Qianqian Xue, Lei Li, Yongming Li 0001 |
Hierarchy of lattice-valued fuzzy automata and decidability of their languages. |
FUZZ-IEEE |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Daniel J. Dougherty, Joshua D. Guttman |
Decidability for Lightweight Diffie-Hellman Protocols. |
CSF |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Mathew Joseph, Gabriel M. Kuper, Luciano Serafini |
Query Answering over Contextualized RDF Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity. |
CILC |
2014 |
DBLP BibTeX RDF |
|
14 | Mikolaj Bojanczyk, Tomasz Gogacz, Henryk Michalewski, Michal Skrzypczak |
On the Decidability of MSO+U on Infinite Trees. |
ICALP (2) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Angelo Montanari, Gabriele Puppis, Pietro Sala |
Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals. |
MFCS (1) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Oscar H. Ibarra |
On Decidability and Closure Properties of Language Classes with Respect to Bio-operations. |
DNA |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Marilena Vendittelli, Jean-Paul Laumond, Bud Mishra |
Decidability of Robot Manipulation Planning: Three Disks in the Plane. |
WAFR |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Alessio R. Lomuscio, Jakub Michaliszyn |
Decidability of model checking multi-agent systems against a class of EHS specifications. |
ECAI |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Francesco Belardinelli |
Model Checking Auctions as Artifact Systems: Decidability via Finite Abstraction. |
ECAI |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Benjamin Zarrieß, Jens Claßen |
On the Decidability of Verifying LTL Properties of Golog Programs. |
AAAI Spring Symposia |
2014 |
DBLP BibTeX RDF |
|
14 | Renato Neves, Manuel A. Martins 0001, Luís Soares Barbosa |
Completeness and Decidability Results for Hybrid(ised) Logics. |
SBMF |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Christian Doczkal, Gert Smolka |
Completeness and Decidability Results for CTL in Coq. |
ITP |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Witold Charatonik, Emanuel Kieronski, Filip Mazowiecki |
Decidability of weak logics with deterministic transitive closure. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Christel Baier, Joachim Klein 0001, Sascha Klüppelholz, Sascha Wunderlich |
Weight monitoring with linear temporal logic: complexity and decidability. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Danko Ilik |
Axioms and decidability for type isomorphism in the presence of sums. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Mathew Joseph, Gabriel M. Kuper, Luciano Serafini |
Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity. |
RR |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Costas D. Koutras, Christos Moyzes, Christos Nomikos, Yorgos Zikos |
On the 'in many cases' Modality: Tableaux, Decidability, Complexity, Variants. |
SETN |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Francesco Belardinelli |
Verification of non-uniform and unbounded artifact-centric systems: decidability through abstraction. |
AAMAS |
2014 |
DBLP BibTeX RDF |
|
14 | Lakhdar Akroun |
Decidability and complexity of simulation preorder for data-centric Web services. (Décidabilité et complexité de la relation de simulation des services Web orientés données). |
|
2014 |
RDF |
|
14 | Simon Wacker, Thomas Worsch |
On Completeness and Decidability of Phase Space Invertible Asynchronous Cellular Automata. |
Fundam. Informaticae |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier |
Stochastic Cellular Automata: Correlations, Decidability and Simulations. |
Fundam. Informaticae |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Katalin Bimbó, J. Michael Dunn |
On the decidability of implicational ticket entailment. |
J. Symb. Log. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Manuel Bodirsky, Michael Pinsker, Todor Tsankov |
Decidability of definability. |
J. Symb. Log. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Studer |
Decidability for some justification logics with negative introspection. |
J. Symb. Log. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Marco Cerami, Umberto Straccia |
On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm. |
Inf. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | John Harding |
Decidability of the Equational Theory of the Continuous Geometry $CG(\Bbb {F})$. |
J. Philos. Log. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Hsing-chien Tsai |
Decidability of General Extensional Mereology. |
Stud Logica |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Hsing-chien Tsai |
A Comprehensive Picture of the Decidability of Mereological Theories. |
Stud Logica |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Dominik D. Freydenberger |
Extended Regular Expressions: Succinctness and Decidability. |
Theory Comput. Syst. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Pedro Baltazar |
Probabilization of Logics: Completeness and Decidability. |
Logica Universalis |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Piotr Hofman, Richard Mayr, Patrick Totzke |
Decidability of Weak Simulation on One-counter Nets |
CoRR |
2013 |
DBLP BibTeX RDF |
|
14 | Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya |
On the Decidability and Complexity of Some Fragments of Metric Temporal Logic |
CoRR |
2013 |
DBLP BibTeX RDF |
|
14 | Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard |
(Un)Decidability Results for Word Equations with Length and Regular Expression Constraints. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
14 | Peter Franek, Stefan Ratschan, Piotr Zgliczynski |
Quasi-decidability of a Fragment of the First-order Theory of Real Numbers. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
14 | Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis |
Verification of Artifact-Centric Systems: Decidability and Modeling Issues |
CoRR |
2013 |
DBLP BibTeX RDF |
|
14 | Lvzhou Li, Daowen Qiu |
Decidability of minimization of fuzzy automata |
CoRR |
2013 |
DBLP BibTeX RDF |
|
14 | Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier |
Stochastic Cellular Automata: Correlations, Decidability and Simulations |
CoRR |
2013 |
DBLP BibTeX RDF |
|
14 | Fabien Durand |
Decidability of Uniform Recurrence of Morphic Sequences. |
Int. J. Found. Comput. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Szilárd Zsolt Fazekas, Robert Mercas |
A Note on the Decidability of subword inequalities. |
Int. J. Found. Comput. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Fabien Durand |
Decidability of the HD0L ultimate periodicity problem. |
RAIRO Theor. Informatics Appl. |
2013 |
DBLP DOI BibTeX RDF |
|