Search results for "decidable"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Franz Baader, Jakub Rydval	Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains.	J. Autom. Reason.	2022	DBLP DOI BibTeX RDF
15	Ori Lahav 0001, Udi Boker	What's Decidable About Causally Consistent Shared Memory?	ACM Trans. Program. Lang. Syst.	2022	DBLP DOI BibTeX RDF
15	Shaull Almagor, Udi Boker, Orna Kupferman	What's decidable about weighted automata?	Inf. Comput.	2022	DBLP DOI BibTeX RDF
15	Kaartik Bhushan, Ankit Kumar Misra, Varun Narayanan, Manoj Prabhakaran 0001	Secure Non-interactive Reducibility is Decidable.	TCC (2)	2022	DBLP DOI BibTeX RDF
15	Mateus de Oliveira Oliveira, Olga Tveretina	Mortality and Edge-to-Edge Reachability are Decidable on Surfaces.	HSCC	2022	DBLP DOI BibTeX RDF
15	Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell 0001	What's Decidable About Discrete Linear Dynamical Systems?	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
15	Wojciech Czerwinski, Piotr Hofman	Language Inclusion for Boundedly-Ambiguous Vector Addition Systems Is Decidable.	CONCUR	2022	DBLP DOI BibTeX RDF
15	Oded Padon	Verification of Distributed Protocols: Decidable Modeling and Invariant Inference.	FMCAD	2022	DBLP DOI BibTeX RDF
15	Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo	Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract).	IJCAI	2022	DBLP DOI BibTeX RDF
15	Jakub Rydval	Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains.		2022	RDF
15	Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo	Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case.	Fundam. Informaticae	2021	DBLP DOI BibTeX RDF
15	Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara	Decidable characterizations of dynamical properties for additive cellular automata over a finite abelian group with applications to data encryption.	Inf. Sci.	2021	DBLP DOI BibTeX RDF
15	Makoto Fujiwara, Tatsuji Kawai	Decidable fan theorem and uniform continuity theorem with continuous moduli.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
15	Makoto Fujiwara	König's lemma, weak König's lemma, and the decidable fan theorem.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
15	Laure Daviaud, Marcin Jurdzinski, Ranko Lazic 0001, Filip Mazowiecki, Guillermo A. Pérez 0001, James Worrell 0001	When are emptiness and containment decidable for probabilistic automata?	J. Comput. Syst. Sci.	2021	DBLP DOI BibTeX RDF
15	Roberto Gorrieri	Place Bisimilarity is Decidable, Indeed!	CoRR	2021	DBLP BibTeX RDF
15	Marie-Pierre Béal, Dominique Perrin, Antonio Restivo	Decidable problems in substitution shifts.	CoRR	2021	DBLP BibTeX RDF
15	Bartosz Bednarczyk, Maja Orlowska, Anna Pacanowska, Tony Tan	On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics.	CoRR	2021	DBLP BibTeX RDF
15	Benedikt Bollig, Alain Finkel, Amrita Suresh 0001	Bounded Reachability Problems are Decidable in FIFO Machines.	CoRR	2021	DBLP BibTeX RDF
15	Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo	Capturing Homomorphism-Closed Decidable Queries with Existential Rules.	CoRR	2021	DBLP BibTeX RDF
15	Arnaldo Cesco, Roberto Gorrieri	A Decidable Equivalence for a Turing-complete, Distributed Model of Computation.	CoRR	2021	DBLP BibTeX RDF
15	Paolo Pistone, Luca Tranchini	What's Decidable about (Atomic) Polymorphism.	CoRR	2021	DBLP BibTeX RDF
15	Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo	Complexity assessments for decidable fragments of Set Theory. III: A quadratic reduction of constraints over nested sets to Boolean formulae.	CoRR	2021	DBLP BibTeX RDF
15	Toby Cathcart Burn, Luke Ong, Steven J. Ramsay, Dominik Wagner	Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses.	CoRR	2021	DBLP BibTeX RDF
15		Provability in BI's Sequent Calculus is Decidable.	CoRR	2021	DBLP BibTeX RDF
15	James Barnes	The Σ2 theory of Dh(⩽hO) as an uppersemilattice with least and greatest element is decidable.	Comput.	2021	DBLP DOI BibTeX RDF
15	Véronique Cortier, Stéphanie Delaune, Vaishnavi Sundararajan	A Decidable Class of Security Protocols for Both Reachability and Equivalence Properties.	J. Autom. Reason.	2021	DBLP DOI BibTeX RDF
15	Marco Voigt	Decidable ∃ ∀ First-Order Fragments of Linear Rational Arithmetic with Uninterpreted Predicates.	J. Autom. Reason.	2021	DBLP DOI BibTeX RDF
15	Quentin Peyras, Julien Brunel, David Chemouil	A decidable and expressive fragment of Many-Sorted First-Order Linear Temporal Logic.	Inf. Comput.	2021	DBLP DOI BibTeX RDF
15	Minglong Qin, Penghui Yao	Nonlocal Games with Noisy Maximally Entangled States are Decidable.	SIAM J. Comput.	2021	DBLP DOI BibTeX RDF
15	Toby Cathcart Burn, Luke Ong, Steven J. Ramsay, Dominik Wagner	Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses.	LICS	2021	DBLP DOI BibTeX RDF
15	Paolo Pistone, Luca Tranchini	What's Decidable About (Atomic) Polymorphism?	FSCD	2021	DBLP DOI BibTeX RDF
15	Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell 0001	The Pseudo-Skolem Problem is Decidable.	MFCS	2021	DBLP DOI BibTeX RDF
15	Arnaldo Cesco, Roberto Gorrieri	A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation.	MFCS	2021	DBLP DOI BibTeX RDF
15	Pierre-Étienne Meunier, Damien Regnault	Directed Non-Cooperative Tile Assembly Is Decidable.	DNA	2021	DBLP DOI BibTeX RDF
15	Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà	A Decidable Theory Treating Addition of Differentiable Real Functions.	ICTCS	2021	DBLP BibTeX RDF
15	Domenico Cantone, Pietro Maugeri, Eugenio G. Omodeo	Two Crucial Cubic-Time Components of Polynomial-Maximal Decidable Boolean Languages.	ICTCS	2021	DBLP BibTeX RDF
15	Mnacho Echenim, Radu Iosif, Nicolas Peltier	Unifying Decidable Entailments in Separation Logic with Inductive Definitions.	CADE	2021	DBLP DOI BibTeX RDF
15	Pascal Bergsträßer, Moses Ganardi, Georg Zetzsche	A Characterization of Wreath Products Where Knapsack Is Decidable.	STACS	2021	DBLP DOI BibTeX RDF
15	Florian Bruse, Martin Lange	A Decidable Non-Regular Modal Fixpoint Logic.	CONCUR	2021	DBLP DOI BibTeX RDF
15	Roberto Gorrieri	Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves.	FORTE	2021	DBLP DOI BibTeX RDF
15	Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo	Capturing Homomorphism-Closed Decidable Queries with Existential Rules.	KR	2021	DBLP DOI BibTeX RDF
15	Julian Berger, Maximilian Böther, Vanja Doskoc, Jonathan Gadea Harder, Nicolas Klodt, Timo Kötzing, Winfried Lötzsch, Jannik Peters 0001, Leon Schiller, Lars Seifert, Armin Wells, Simon Wietheger	Learning Languages with Decidable Hypotheses.	CiE	2021	DBLP DOI BibTeX RDF
15	Mnacho Echenim, Radu Iosif, Nicolas Peltier	Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Establishment.	CSL	2021	DBLP DOI BibTeX RDF
15	Bartosz Bednarczyk, Maja Orlowska, Anna Pacanowska, Tony Tan	On Classical Decidable Logics Extended with Percentage Quantifiers and Arithmetics.	FSTTCS	2021	DBLP DOI BibTeX RDF
15	Sophia Roshal	Towards decidable and expressive DOT.	SPLASH (Companion)	2021	DBLP DOI BibTeX RDF
15	Jason Z. S. Hu, Ondrej Lhoták	Undecidability of d<: and its decidable fragments.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
15	Zeina Migeed, Jens Palsberg	What is decidable about gradual types?	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
15	Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves	Decidable subtyping for path dependent types.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
15	Mohamed Faouzi Atig	What is decidable under the TSO memory model?	ACM SIGLOG News	2020	DBLP DOI BibTeX RDF
15	Nikolay Bazhenov 0001, Sergey Goncharov 0002, Alexander G. Melnikov	Decompositions of decidable abelian groups.	Int. J. Algebra Comput.	2020	DBLP DOI BibTeX RDF
15	Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara	Chaos and ergodicity are decidable for linear cellular automata over (Z/mZ)n.	Inf. Sci.	2020	DBLP DOI BibTeX RDF
15	Daniel Gerbet, Klaus Röbenack	On global and local observability of nonlinear polynomial systems: a decidable criterion.	Autom.	2020	DBLP DOI BibTeX RDF
15	Satoru Niki	Decidable variables for constructive logics.	Math. Log. Q.	2020	DBLP DOI BibTeX RDF
15	Domenico Cantone, Pietro Maugeri, Eugenio G. Omodeo	Complexity assessments for decidable fragments of set theory. II: A taxonomy for 'small' languages involving membership.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
15	Mnacho Echenim, Radu Iosif, Nicolas Peltier	Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Established Systems.	CoRR	2020	DBLP BibTeX RDF
15	Adam Bene Watts, J. William Helton	3XOR Games with Perfect Commuting Operator Strategies Have Perfect Tensor Product Strategies and are Decidable in Polynomial Time.	CoRR	2020	DBLP BibTeX RDF
15	Julian Berger, Maximilian Böther, Vanja Doskoc, Jonathan Gadea Harder, Nicolas Klodt, Timo Kötzing, Winfried Lötzsch, Jannik Peters 0001, Leon Schiller, Lars Seifert, Armin Wells, Simon Wietheger	Learning Languages with Decidable Hypotheses.	CoRR	2020	DBLP BibTeX RDF
15	Paul Krogmeier, Umang Mathur 0001, Adithya Murali, P. Madhusudan, Mahesh Viswanathan 0001	Decidable Synthesis of Programs with Uninterpreted Functions.	CAV (2)	2020	DBLP DOI BibTeX RDF
15	Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà	A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals.	CILC	2020	DBLP BibTeX RDF
15	Yujunrong Ma, Jiahao Wu 0001, Shuvra S. Bhattacharyya, Jani Boutellier	Decidable Variable-Rate Dataflow for Heterogeneous Signal Processing Systems.	ICASSP	2020	DBLP DOI BibTeX RDF
15	Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves	Syntactically Restricting Bounded Polymorphism for Decidable Subtyping.	APLAS	2020	DBLP DOI BibTeX RDF
15	Alexis Bès, Christian Choffrut	$\langle \mathbb {R}, +, <, 1 \rangle $ Is Decidable in $\langle \mathbb {R}, +, < , \mathbb {Z}\rangle $.	LATA	2020	DBLP DOI BibTeX RDF
15	Manfred Droste, Zoltán Fülöp 0001, Dávid Kószó, Heiko Vogler	Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is Decidable.	DCFS	2020	DBLP DOI BibTeX RDF
15	Ori Lahav 0001, Udi Boker	Decidable verification under a causally consistent shared memory.	PLDI	2020	DBLP DOI BibTeX RDF
15	Umang Mathur 0001, P. Madhusudan, Mahesh Viswanathan 0001	What's Decidable About Program Verification Modulo Axioms?	TACAS (2)	2020	DBLP DOI BibTeX RDF
15	Jerzy Marcinkowski	What Makes a Variant of Query Determinacy (Un)Decidable? (Invited Talk).	ICDT	2020	DBLP DOI BibTeX RDF
15	Benedikt Bollig, Alain Finkel, Amrita Suresh 0001	Bounded Reachability Problems Are Decidable in FIFO Machines.	CONCUR	2020	DBLP DOI BibTeX RDF
15	Emanuele D'Osualdo, Felix Stutz	Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions.	CONCUR	2020	DBLP DOI BibTeX RDF
15	Kees van Berkel 0002, Tim Lyon, Francesco Olivieri	A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms.	CLAR	2020	DBLP DOI BibTeX RDF
15	Corto Mascle, Martin Zimmermann 0002	The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas.	CSL	2020	DBLP DOI BibTeX RDF
15	Umang Mathur 0001, P. Madhusudan, Mahesh Viswanathan 0001	Decidable verification of uninterpreted programs.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
15	Jin-Yi Cai, Xi Chen 0001	A decidable dichotomy theorem on directed graph homomorphisms with non-negative weights.	Comput. Complex.	2019	DBLP DOI BibTeX RDF
15	Petr Jancar, David Purser	Structural liveness of Petri nets is ExpSpace-hard and decidable.	Acta Informatica	2019	DBLP DOI BibTeX RDF
15	Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin	Decidable weighted expressions with Presburger combinators.	J. Comput. Syst. Sci.	2019	DBLP DOI BibTeX RDF
15	Yue Ben, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001	Decidable and expressive classes of probabilistic automata.	J. Comput. Syst. Sci.	2019	DBLP DOI BibTeX RDF
15	Vernon Asuncion, Yan Zhang 0003, Heng Zhang 0006, Ruixuan Li 0001	Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes.	J. Artif. Intell. Res.	2019	DBLP DOI BibTeX RDF
15	Étienne André	What's decidable about parametric timed automata?	Int. J. Softw. Tools Technol. Transf.	2019	DBLP DOI BibTeX RDF
15	Étienne André	What's decidable about parametric timed automata?	CoRR	2019	DBLP BibTeX RDF
15	Marco Voigt	Separateness of Variables - A Novel Perspective on Decidable First-Order Fragments.	CoRR	2019	DBLP BibTeX RDF
15	Paul Krogmeier, Umang Mathur 0001, Adithya Murali, P. Madhusudan, Mahesh Viswanathan 0001	Decidable Synthesis of Programs with Uninterpreted Functions.	CoRR	2019	DBLP BibTeX RDF
15	Umang Mathur 0001, P. Madhusudan, Mahesh Viswanathan 0001	What's Decidable About Program Verification Modulo Axioms?	CoRR	2019	DBLP BibTeX RDF
15	Julia Belyakova	Decidable Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions.	CoRR	2019	DBLP BibTeX RDF
15	Florian Frohn, Jürgen Giesl	Termination of Triangular Integer Loops is Decidable.	CoRR	2019	DBLP BibTeX RDF
15	Anca Muscholl, Gabriele Puppis	Equivalence of finite-valued streaming string transducers is decidable.	CoRR	2019	DBLP BibTeX RDF
15	Corto Mascle, Martin Zimmermann 0002	The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas.	CoRR	2019	DBLP BibTeX RDF
15	Jason Z. S. Hu, Ondrej Lhoták	Undecidability of $D_{<: }$ and Its Decidable Fragments.	CoRR	2019	DBLP BibTeX RDF
15	Idan Berkovits, Marijana Lazic, Giuliano Losa, Oded Padon, Sharon Shoham	Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics.	CoRR	2019	DBLP BibTeX RDF
15	Emanuele D'Osualdo, Felix Stutz	Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions.	CoRR	2019	DBLP BibTeX RDF
15	Michael Benedikt, Pierre Bourhis, Michael Vanden Boom	Definability and Interpolation within Decidable Fixpoint Logics.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
15	Philipp Hieronymi	When is scalar multiplication decidable?	Ann. Pure Appl. Log.	2019	DBLP DOI BibTeX RDF
15	Idan Berkovits, Marijana Lazic, Giuliano Losa, Oded Padon, Sharon Shoham	Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics.	CAV (2)	2019	DBLP DOI BibTeX RDF
15	Florian Frohn, Jürgen Giesl	Termination of Triangular Integer Loops is Decidable.	CAV (2)	2019	DBLP DOI BibTeX RDF
15	Ian Pratt-Hartmann	Transitivity and Equivalence in Decidable Fragments of First-Order Logic: A Survey.	ICLA	2019	DBLP DOI BibTeX RDF
15	Anca Muscholl, Gabriele Puppis	Equivalence of Finite-Valued Streaming String Transducers Is Decidable.	ICALP	2019	DBLP DOI BibTeX RDF
15	Nikola Benes, Lubos Brim, Jana Drazanová, Samuel Pastva, David Safránek	Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT.	HSCC	2019	DBLP DOI BibTeX RDF
15	David Baelde, Anthony Lick, Sylvain Schmitz	Decidable XPath Fragments in the Real World.	PODS	2019	DBLP DOI BibTeX RDF
15	Julia Belyakova	Decidable tag-based semantic subtyping for nominal types, tuples, and unions.	FTfJP@ECOOP	2019	DBLP DOI BibTeX RDF
15	Francesco Belardinelli, Vadim Malvone	Decidable Verification of Agent-Based Data-Aware Systems.	PRIMA	2019	DBLP DOI BibTeX RDF
15	Alkida Balliu, Sebastian Brandt 0002, Yi-Jun Chang, Dennis Olivetti, Mikaël Rabie, Jukka Suomela	The Distributed Complexity of Locally Checkable Problems on Paths is Decidable.	PODC	2019	DBLP DOI BibTeX RDF