The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Undecidability with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1957-1974 (15) 1975-1982 (19) 1983-1987 (15) 1988-1990 (21) 1991-1992 (16) 1993 (20) 1994-1995 (29) 1996 (16) 1997 (19) 1998 (20) 1999 (25) 2000 (27) 2001 (18) 2002 (21) 2003 (29) 2004 (22) 2005 (39) 2006 (34) 2007 (44) 2008 (37) 2009 (43) 2010 (17) 2011-2012 (33) 2013-2014 (28) 2015 (15) 2016 (18) 2017 (19) 2018 (15) 2019 (16) 2020-2021 (29) 2022 (17) 2023 (16) 2024 (2)
Publication types (Num. hits)
article(346) book(3) incollection(5) inproceedings(396) phdthesis(4)
Venues (Conferences, Journals, ...)
CoRR(66) J. Symb. Log.(34) Theor. Comput. Sci.(29) STACS(18) CSL(16) Fundam. Informaticae(15) RTA(15) Inf. Comput.(14) Ann. Pure Appl. Log.(13) FSTTCS(12) Inf. Process. Lett.(12) LPAR(12) LICS(11) CONCUR(10) ICALP(10) MFCS(10) More (+10 of total 252)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 282 occurrences of 201 keywords

Results
Found 754 publication records. Showing 754 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
61Frank Wolter, Michael Zakharyaschev Undecidability of the unification and admissibility problems for modal and description logics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF admissible rule, description logic, decidability, Unification, hybrid logic
61Thomas A. Henzinger, Jean-François Raskin Robust Undecidability of Timed and Hybrid Systems. Search on Bibsonomy HSCC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
59Zhiyao Liang, Rakesh M. Verma Improving Techniques for Proving Undecidability of Checking Cryptographic Protocols. Search on Bibsonomy ARES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF insider, authentication, formal method, cryptographic protocol, undecidability, secrecy
50Petr Jancar, Jirí Srba Undecidability Results for Bisimilarity on Prefix Rewrite Systems. Search on Bibsonomy FoSSaCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
48Petr Jancar, Jirí Srba Undecidability of bisimilarity by defender's forcing. Search on Bibsonomy J. ACM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF process algebra, undecidability, pushdown automata, Bisimilarity
48Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, Hiroshi Nakano Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF domain-free type system, undecidability, existential type, CPS-translation
48Oleg V. Kudinov, Victor L. Selivanov Undecidability in the Homomorphic Quasiorder of Finite Labeled Forests. Search on Bibsonomy CiE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF homomorphic quasiorder, elementary theory, Tree, undecidability, forest, labeled tree
48Judith Gal-Ezer, Dvir Lanzberg, Daphna Shahak Introducing undecidability. Search on Bibsonomy ITiCSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF pedagogy, undecidability
44Max I. Kanovich The Expressive Power of Horn Monadic Linear Logic. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
40Sergei G. Vorobyov Structural Decidable Extensions of Bounded Quantification. Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF (W)SnS, bounded universal type quantification, essential undecidability, parametric and inheritance polymorphisms, second-order polymorphic typed ?-calculus, system F?, decidability, subtyping, undecidability
39Jasper Berendsen, Taolue Chen, David N. Jansen Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata. Search on Bibsonomy TAMC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
39Sergio Giro Undecidability Results for Distributed Probabilistic Systems. Search on Bibsonomy SBMF The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
39Jörg Endrullis, Herman Geuvers, Hans Zantema Degrees of Undecidability in Term Rewriting. Search on Bibsonomy CSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
39Petr Jancar Selected Ideas Used for Decidability and Undecidability of Bisimilarity. Search on Bibsonomy Developments in Language Theory The full citation details ... 2008 DBLP  DOI  BibTeX  RDF decidability, bisimulation equivalence
39Ian M. Hodkinson, Angelo Montanari, Guido Sciavicco Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Naoki Kobayashi 0001, Takashi Suto Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the pi -Calculus. Search on Bibsonomy ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
39Paul Bell, Igor Potapov Lowering Undecidability Bounds for Decision Questions in Matrices. Search on Bibsonomy Developments in Language Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF vector reachability, matrix semigroups, piecewise linear maps, membership, Theory of computing
39Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh The Boundary Between Decidability and Undecidability for Transitive-Closure Logics. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
39Richard Mayr Undecidability of Weak Bisimulation Equivalence for 1-Counter Processes. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF 1-counter nets, 1-counter machines, bisimulation
39Arthur Charlesworth The undecidability of associativity and commutativity analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Associative function, commutative function, loop program, recursively enumerable, reduction, recursive, sequence, scan, undecidable, parallel prefix, primitive recursive
39Jirí Srba Undecidability of Weak Bisimilarity for Pushdown Processes. Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
39Piotr Chrzastowski-Wachtel Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem. Search on Bibsonomy ICATPN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
39Ralf Treinen A New Method for Undecidability Proofs of First Order Theories. Search on Bibsonomy FSTTCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
37James Brotherston, Max I. Kanovich Undecidability of Propositional Separation Logic and Its Neighbours. Search on Bibsonomy LICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF bunched logic, heap models, separation logic, undecidability
37Leon Horsten, Philip D. Welch The Undecidability of Propositional Adaptive Logic. Search on Bibsonomy Synth. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Dynamic logic, Undecidability, Paraconsistent logic, Adaptive logic
37Joseph S. Miller, Lawrence S. Moss The Undecidability of Iterated Modal Relativization. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF iterated relativization, modal logic, undecidability, Dynamic epistemic logic
37R. J. Mac Dawson, R. Paré, D. A. Pronk Undecidability of the Free Adjoint Construction. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF free adjoint construction, abacus, undecidability, 2-category
37Rodney G. Downey, André Nies Undecidability Results for Low Complexity Degree Structures. Search on Bibsonomy CCC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF undecidability results, low complexity degree structures, EXPTIME degrees, polynomial time Turing, many-one reducibility, coding method, ideal lattices, hyper-polynomial time classes, Boolean algebra, Boolean algebras
34Matthias C. Caro From undecidability of non-triviality and finiteness to undecidability of learnability. Search on Bibsonomy Int. J. Approx. Reason. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Rajeev Alur, Kenneth L. McMillan, Doron A. Peled Deciding Global Partial-Order Properties. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF partial order logics, model checking, concurrency, temporal logics
33Nachum Dershowitz Primitive Rewriting. Search on Bibsonomy Processes, Terms and Cycles The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Raffaella Gentilini Reachability Problems on Extended O-Minimal Hybrid Automata. Search on Bibsonomy FORMATS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Martin Fränzle Model-checking dense-time Duration Calculus. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Dense-time Duration Calculus, Model-checking, Decidability
33Ranko Lazic 0001, Thomas Christopher Newcomb, A. W. Roscoe 0001 On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Viktor Kuncak, Martin C. Rinard Existential Heap Abstraction Entailment Is Undecidable. Search on Bibsonomy SAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Program Verification, Shape Analysis, Type Checking, Monadic Second-Order Logic, Typestate, Graph Homomorphism, Post Correspondence Problem
31Eero Lehtonen An Undecidable Permutation of the Natural Numbers. Search on Bibsonomy RP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Permutation, Undecidability
31Joan M. Lucas, Jonathan Jarvis Incorporating transformations into jflap for enhanced understanding of automata. Search on Bibsonomy SIGCSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF automata, educational software, undecidability, jflap
31Wan-Hui Tseng, Chin-Feng Fan Handling Malicious Code on Control Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF control systems security, malicious code classification, undecidability
31Victor L. Selivanov A Useful Undecidable Theory. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF discrete weak semilattice, partition, theory, reducibility, undecidability, Semilattice
31T. S. Jayram, Phokion G. Kolaitis, Erik Vee The containment problem for REAL conjunctive queries with inequalities. Search on Bibsonomy PODS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF bag semantics, bag-set semantics, conjunctive queries, undecidability, query containment, inequalities
31Julien Cervelle, Enrico Formenti, Benoît Masson Basic Properties for Sand Automata. Search on Bibsonomy MFCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF sand automata, ultimate periodicity, undecidability, reversibility
31Dipankar Sarkar 0001, S. C. De Sarkar A Set of Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF quantified formula handling, array handling, undecidability problem, automated verifier, quantified formulas, bound-extension rule, bound-modification, theorem proving, program verification, program verification, first-order logic, inference mechanisms, decidability, inference rules, integer arithmetic
31Martin K. Solomon Some properties of relational expressions. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 1979 DBLP  DOI  BibTeX  RDF equi-join, predicate lock, Concurrency, query optimization, relational algebra, undecidability, relational calculus, predicate calculus, natural join
28Matthias Baaz, Agata Ciabattoni, Norbert Preining SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability. Search on Bibsonomy WoLLIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28Carlos Olarte, Frank D. Valencia The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. Search on Bibsonomy PPDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF first-order linear temporal logic, security protocols, closure operators, concurrent constraint programming
28Nicolas Ollinger Two-by-Two Substitution Systems and the Undecidability of the Domino Problem. Search on Bibsonomy CiE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Vesa Halava, Mika Hirvensalo Improved matrix pair undecidability results. Search on Bibsonomy Acta Informatica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Artur Jez, Alexander Okhotin Conjunctive Grammars over a Unary Alphabet: Undecidability and Unbounded Growth. Search on Bibsonomy CSR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28David Janin On the (High) Undecidability of Distributed Synthesis Problems. Search on Bibsonomy SOFSEM (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Sara Adams, Joël Ouaknine, James Worrell 0001 Undecidability of Universality for Timed Automata with Minimal Resources. Search on Bibsonomy FORMATS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Andrzej Grzegorczyk Undecidability without Arithmetization. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF discernibility, Kurt Gödel, Alfred Tarski, representability, decidability, arithmetization, concatenation
28Marc Bezem On the Undecidability of Coherent Logic. Search on Bibsonomy Processes, Terms and Cycles The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Jérôme Durand-Lose Abstract Geometrical Computation: Turing-Computing Ability and Undecidability. Search on Bibsonomy CiE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Analog model of computation, Turing universality, Cellular automata, Geometry, Abstract geometrical computation
28Venkatesh Mysore, Amir Pnueli Refining the Undecidability Frontier of Hybrid Automata. Search on Bibsonomy FSTTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Erich Grädel, Martin Otto 0001, Eric Rosen Undecidability results on two-variable logics. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28Vesa Halava, Mika Hirvensalo, Ronald de Wolf Decidability and Undecidability of Marked PCP. Search on Bibsonomy STACS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28Daniel Kirsten Some Undecidability Results Related to the Star Problem in Trace Monoids. Search on Bibsonomy STACS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28Petr Jancar, Faron Moller Techniques for Decidability and Undecidability of Bisimilarity. Search on Bibsonomy CONCUR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema Relative Undecidability in the Termination Hierarchy of Single Rewrite Rules. Search on Bibsonomy TAPSOFT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
28Erich Grädel, Martin Otto 0001, Eric Rosen Undecidability Results on Two-Variable Logics. Search on Bibsonomy STACS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
28Jerzy Marcinkowski Undecidability of the First Order Theory of One-Step Right Ground Rewriting. Search on Bibsonomy RTA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
28Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema Relative Undecidability in Term Rewriting. Search on Bibsonomy CSL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Friedrich Otto Some Undecidability Results for Weakly Confluent Monadic String-Rewriting Systems. Search on Bibsonomy AAECC The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
28Paul S. Wang The Undecidability of the Existence of Zeros of Real Elementary Functions. Search on Bibsonomy J. ACM The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
22Kshitij Bansal, Rémi Brochenin, Étienne Lozes Beyond Shapes: Lists with Ordered Data. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Jarkko Kari The Tiling Problem Revisited (Extended Abstract). Search on Bibsonomy MCU The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Riccardo Rosati 0001 The Limits of Querying Ontologies. Search on Bibsonomy ICDT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Stéphane Demri, Deepak D'Souza, Régis Gascon A Decidable Temporal Logic of Repeating Values. Search on Bibsonomy LFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Patricia Bouyer, Nicolas Markey Costs Are Expensive! Search on Bibsonomy FORMATS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Tachio Terauchi, Alex Aiken On Typability for Rank-2 Intersection Types with Polymorphic Recursion. Search on Bibsonomy LICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Felix Klaedtke, Harald Rueß Monadic Second-Order Logics with Cardinalities. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Nicolas Ollinger The Intrinsic Universality Problem of One-Dimensional Cellular Automata. Search on Bibsonomy STACS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Thomas Heimrich, Günther Specht Enhancing ECA Rules for Distributed Active Database Systems. Search on Bibsonomy Web, Web-Services, and Database Systems The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
22Marcin Jurdzinski, Mogens Nielsen Hereditary History Preserving Bisimilarity Is Undecidable. Search on Bibsonomy STACS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
22Salvatore La Torre, Margherita Napoli A Decidable Dense Branching-Time Temporal Logic. Search on Bibsonomy FSTTCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
22A. J. Kfoury, Santiago M. Pericás-Geertsen Type Inference for Recursive Definitions. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF type systems, type inference, lambda calculus, unification, software specification
22Rajeev Alur, Kenneth L. McMillan, Doron A. Peled Deciding Global Partial-Order Properties. Search on Bibsonomy ICALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
22Jacek Chrzaszcz Polymorphic Subtyping Without Distributivity. Search on Bibsonomy MFCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
22David Harel Towards a Theory of Recursive Structures. Search on Bibsonomy MFCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
22Matteo Baldoni, Laura Giordano 0001, Alberto Martelli A Tableau for Multimodal Logics and Some (Un)Decidability Results. Search on Bibsonomy TABLEAUX The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Multimodal logics, Prefixed Tableaux methods, Decidability, Formal Grammars
22David Harel Towards a theory of Recursive Structures. Search on Bibsonomy Computer Science Today The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
22Anatoli Degtyarev, Andrei Voronkov Simultaneous Regid E-Unification Is Undecidable. Search on Bibsonomy CSL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
22David Harel Towards a Theory of Recursive Structures. Search on Bibsonomy STACS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
22Matthias Baaz, Richard Zach Algorithmic Structuring of Cut-free Proofs. Search on Bibsonomy CSL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
20Florian Berger, Rolf Klein A traveller's problem. Search on Bibsonomy SCG The full citation details ... 2010 DBLP  DOI  BibTeX  RDF affine mappings, continuous dijkstra, frogger, pseudo-polynomial approximation, computational geometry, partition, np-hardness, motion planning, undecidability
20Caslav Brukner Quantum complementarity and logical indeterminacy. Search on Bibsonomy Nat. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Quantum complementarity, Logical indeterminacy, Mathematical undecidability
20Max I. Kanovich, Paul D. Rowe, Andre Scedrov Policy Compliance in Collaborative Systems. Search on Bibsonomy CSF The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Collaboration, Complexity, Policies, Confidentiality, Undecidability
20Maurice Margenstern The Periodic Domino Problem Is Undecidable in the Hyperbolic Plane. Search on Bibsonomy RP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF hyperbolic plane, periodic tiling problem, tilings, undecidability
20Zhiyao Liang, Rakesh M. Verma Complexity of Checking Freshness of Cryptographic Protocols. Search on Bibsonomy ICISS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Athena, NP-completeness, Cryptographic protocols, undecidability, replay attack, model checker, freshness, challenge response
20Erik D. Demaine, Robert A. Hearn Constraint Logic: A Uniform Framework for Modeling Computation as Games. Search on Bibsonomy CCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF games, undecidability, hardness
20Decheng Ding, Klaus Weihrauch, Yongcheng Wu Absolutely Non-effective Predicates and Functions in Computable Analysis. Search on Bibsonomy TAMC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF measure, computability, representation, set, undecidability
20Phokion G. Kolaitis, Jonathan Panttaja, Wang Chiew Tan The complexity of data exchange. Search on Bibsonomy PODS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF database dependencies, complexity, data exchange, schema mappings, heterogenous databases, undecidability, data translation
20Jia Xu Making Software Timing Properties Easier to Inspect and Verify. Search on Bibsonomy IEEE Softw. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF preruntime scheduling, verification, real time, predictability, software, code, inspection, undecidability, timing properties, state space explosion
20Venkatesan T. Chakaravarthy New results on the computability and complexity of points - to analysis. Search on Bibsonomy POPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF flow-insensitive, complexity, pointer analysis, undecidability, flow-sensitive
20Giuseppe Longo Computer modelling and natural phenomena. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF computational models in biology, continuous models, digital approximation and discrete data structures, plastiticy and degeneracy in neural systems, unpredictability and undecidability, dynamical systems, causal relations
20Larry J. Stockmeyer, Albert R. Meyer Cosmological lower bound on the circuit complexity of a small problem in logic. Search on Bibsonomy J. ACM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF WS1S, practical undecidability, computational complexity, lower bound, logic, Circuit complexity, decision problem
20Markus Müller-Olm, Helmut Seidl On optimal slicing of parallel programs. Search on Bibsonomy STOC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF complexity, parallel programs, slicing, undecidability, interprocedural analysis
20Rajeev Alur, Thomas A. Henzinger Back to the Future: Towards a Theory of Timed Regular Languages Search on Bibsonomy FOCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF theory of timed regular languages, two-way timed automata, temporal logic, undecidability, boolean operations, PSPACE-complete
Displaying result #1 - #100 of 754 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license