The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1973-1979 (17) 1980-1981 (15) 1982-1984 (18) 1985-1986 (22) 1987 (15) 1988-1989 (31) 1990 (16) 1991-1992 (23) 1993 (16) 1994 (27) 1995 (17) 1996 (18) 1997 (27) 1998 (26) 1999 (24) 2000 (34) 2001 (34) 2002 (33) 2003 (37) 2004 (33) 2005 (46) 2006 (43) 2007 (35) 2008 (23) 2009 (32) 2010 (15) 2011-2012 (30) 2013 (20) 2014 (21) 2015-2016 (23) 2017-2018 (22) 2019 (16) 2020 (15) 2021 (20) 2022 (15) 2023-2024 (17)
Publication types (Num. hits)
article(294) book(3) incollection(4) inproceedings(564) phdthesis(11)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 643 occurrences of 415 keywords

Results
Found 876 publication records. Showing 876 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
90J. Jenny Li, Hong Liu, Rudolph E. Seviora Constructing automated protocol testing oracles to accommodate specification nondeterminism. Search on Bibsonomy ICCCN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF automated protocol testing oracles, specification nondeterminism, test inputs, test outputs, automated output checking, and-state method, concurrent system states generation, Specification and Description Language, automatic testing, random testing, SDL, experimental results, nondeterminism, network system, computational cost reduction
75Joseph G. Slember, Priya Narasimhan Living with Nondeterminism in Replicated Middleware Applications. Search on Bibsonomy Middleware The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
75Joseph G. Slember, Priya Narasimhan Using Program Analysis to Identify and Compensate for Nondeterminism in Fault-Tolerant, Replicated Systems. Search on Bibsonomy SRDS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
75Orieta Celiku, Joakim von Wright Implementing Angelic Nondeterminism. Search on Bibsonomy APSEC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
70Martin Kutrib, Andreas Malcher, Larissa Werlein Regulated Nondeterminism in Pushdown Automata. Search on Bibsonomy CIAA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF regulated nondeterminism, limited nondeterminism, pushdown automata, closure properties
65Joseph G. Slember, Priya Narasimhan Nondeterminism in ORBs: The Perception and the Reality. Search on Bibsonomy DEXA Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
63Dino Pedreschi, Salvatore Ruggieri Bounded Nondeterminism of Logic Programs. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF universal termination, bounded nondeterminism, strong termination, logic programming
63Juraj Hromkovic, Georg Schnitger Nondeterminism versus Determinism for Two-Way Finite Automata: Generalizations of Sipser's Separation. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF descriptional complexity of regular languages, Finite automata, nondeterminism
56Thomas Noll 0001, Bastian Schlich Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
56Joseph G. Slember, Priya Narasimhan Handling Emergent Nondeterminism in Replicated Services. Search on Bibsonomy WADS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
56Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams. Search on Bibsonomy FMOODS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
56Bernd Braßel, Michael Hanus Nondeterminism Analysis of Functional Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
55Nirman Kumar, Koushik Sen, José Meseguer 0001, Gul Agha A Rewriting Based Model for Probabilistic Distributed Object Systems. Search on Bibsonomy FMOODS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Rewrite theory, probability, nondeterminism, actors, Maude
53Juraj Hromkovic, Juhani Karhumäki, Hartmut Klauck, Georg Schnitger, Sebastian Seibert Measures of Nondeterminism in Finite Automata. Search on Bibsonomy ICALP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF limited ambiguity, communication complexity, finite automata, nondeterminism, descriptional complexity
53Pavol Duris, Juraj Hromkovic, Katsushi Inoue A Separation of Determinism, Las Vegas and Nondeterminism for Picture Recognition. Search on Bibsonomy CCC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Las Vegas randomization, two-dimensional finite automata, nondeterminism
53Michal Walicki, Sigurd Meldal A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF reasoning with nondeterminism, algebraic specifications
48Roberto Segala Verification of Randomized Distributed Algorithms. Search on Bibsonomy European Educational Forum: School on Formal Methods and Performance Analysis The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
48Manfred Broy, Martin Wirsing On the Algebraic Specification of Nondeterministic Programming Languages. Search on Bibsonomy CAAP The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
46Rastislav Bodík, Satish Chandra 0001, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor Programming with angelic nondeterminism. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF angelic non-determinism, constraints, refinement, traces, bounded model-checking
46Martin Kutrib, Andreas Malcher Context-Dependent Nondeterminism for Pushdown Automata. Search on Bibsonomy Developments in Language Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
46Jonathan Goldstine, Hing Leung, Detlef Wotschke Measuring Nondeterminism in Pushdown Automata. Search on Bibsonomy STACS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
46Alexandru Mateescu, Arto Salomaa Nondeterminism in Patterns. Search on Bibsonomy STACS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
46George M. Reed, A. W. Roscoe 0001 Analysing TMFS: a Study of Nondeterminism in Real-Time Concurrency. Search on Bibsonomy Concurrency: Theory, Language, And Architecture The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
46Ralph-Johan Back Semantics of Unbounded Nondeterminism. Search on Bibsonomy ICALP The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
46Michal Armoni, Noa Lewenstein, Mordechai Ben-Ari Teaching students to think nondeterministically. Search on Bibsonomy SIGCSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF nondeterministic automata, nondeterminism
46Juraj Hromkovic, Georg Schnitger Pushdown Automata and Multicounter Machines, a Comparison of Computation Modes. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF multicounter machines, randomization, nondeterminism, complexity theory, pushdown automata
46Jessica Chen Formal Modelling of Java GUI Event Handling. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Java Swing and AWT, Model Checking, Concurrency, Nondeterminism, Labelled Transition Systems
44Frantisek Mráz, Martin Plátek, Friedrich Otto A Measure for the Degree of Nondeterminism of Context-Free Languages. Search on Bibsonomy CIAA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF measure of nondeterminism, restarting automaton, analysis by reduction
44Philipp Woelfel On the Complexity of Integer Multiplication in Branching Programs with Multiple Tests and in Read-Once Branching Programs with Limited Nondeterminism. Search on Bibsonomy CCC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Lower Bounds, BDDs, Nondeterminism, Branching Programs, Integer Multiplication
44Richard Beigel, Bin Fu Molecular Computing, Bounded Nondeterminism, and Efficient Recursion. Search on Bibsonomy Algorithmica The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Nondeterminism, Molecular computing, Volume
44Luis Fernando Llana Díaz, Manuel Núñez 0001 Testing Semantics for Unbounded Nondeterminism. Search on Bibsonomy Euro-Par The full citation details ... 1997 DBLP  DOI  BibTeX  RDF unbounded nondeterminism, testing semantics, Process algebra, CSP, operational semantics
44P. A. Subrahmanyam Nondeterminism in Abstract Data Types. Search on Bibsonomy ICALP The full citation details ... 1981 DBLP  DOI  BibTeX  RDF nondeterministic operations, extraction equivalence, observable behavior, implementations, correctness, abstract data types, nondeterminism
38Derek Hower, Pablo Montesinos, Luis Ceze, Mark D. Hill, Josep Torrellas Two hardware-based approaches for deterministic multiprocessor replay. Search on Bibsonomy Commun. ACM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
36Martin R. Neuhäußer, Mariëlle Stoelinga, Joost-Pieter Katoen Delayed Nondeterminism in Continuous-Time Markov Decision Processes. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
36Mordechai Ben-Ari Teaching concurrency and nondeterminism with spin. Search on Bibsonomy ITiCSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF visualization, verification, concurrency, spin
36Ana Cavalcanti 0001, Jim Woodcock 0001, Steve Dunne Angelic nondeterminism in the unifying theories of programming. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Semantics, Refinement, Relations, Predicate transformers
36Ozan Kahramanogullari Reducing Nondeterminism in the Calculus of Structures. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Benjamin Aminof, Orna Kupferman On the Succinctness of Nondeterminism. Search on Bibsonomy ATVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Alberto Pettorossi, Maurizio Proietti, Sophie Renault Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF automatic program derivation, transformation rules and strategies, logic programming, program transformation, program specialization
36Alexander Healy, Salil P. Vadhan, Emanuele Viola Using nondeterminism to amplify hardness. Search on Bibsonomy STOC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF noise stability, pseudorandom generators for space-bounded computation, average-case complexity, hardness amplification
36Dieter Kranzlmüller, Martin Schulz 0001 Notes on Nondeterminism in Message Passing Programs. Search on Bibsonomy PVM/MPI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
36Tobias Nipkow Hoare Logics for Recursive Procedures and Unbounded Nondeterminism. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
36Juraj Hromkovic, Martin Sauerhoff Tradeoffs between Nondeterminism and Complexity for Communication Protocols and Branching Programs. Search on Bibsonomy STACS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
36Richard Beigel, Bin Fu Molecular Computing, Bounded Nondeterminism, and Efficient Recursion. Search on Bibsonomy ICALP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
36Manfred Broy Interactive and Reactive Systems: States, Observations, Experiments, Input, Output, Nondeterminism, Compositionality and all That. Search on Bibsonomy Foundations of Computer Science: Potential - Theory - Cognition The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
36Liming Cai, Jianer Chen On the Amount of Nondeterminism and the Power of Verifying (Extended Abstract). Search on Bibsonomy MFCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
36Krzysztof R. Apt, Gordon D. Plotkin Countable nondeterminism and random assignment. Search on Bibsonomy J. ACM The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
36Joost N. Kok Denotational Semantics of Nets with Nondeterminism. Search on Bibsonomy ESOP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
36Krzysztof R. Apt, Gordon D. Plotkin A Cook's Tour of Countable Nondeterminism. Search on Bibsonomy ICALP The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
36Ernst-Erich Doberkat The Converse of a Stochastic Relation. Search on Bibsonomy FoSSaCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Stochastic relations, relational calculi, concurrency, converse, bisimulation, nondeterminism
36Mihnea Marinescu, Benjamin Goldberg Partial-Evaluation Techniques for Concurrent Programs. Search on Bibsonomy PEPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF concurrency, CSP, CSP, partial evaluation, nondeterminism, binding-time analysis
36A. P. Wim Böhm, R. R. Oldehoeft Two Issues in Parallel Language Design. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF nonstrictness, nondeterminism, SISAL, SISAL
34Charles E. Leiserson, Tao B. Schardl A work-efficient parallel breadth-first search algorithm (or how to cope with the nondeterminism of reducers). Search on Bibsonomy SPAA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF hyperobjects, parallel algorithms, multithreading, graph algorithms, reducers, nondeterminism, work-stealing, breadth-first search, cilk
34Klaus Reinhardt, Eric Allender Making Nondeterminism Unambiguous. Search on Bibsonomy FOCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF nonuniform complexity, nondeterministic logarithmic space bounded computation, computational complexity, nondeterminism, complexity classes, context-free languages
34Ian Parberry A Note on Nondeterminism in Small, Fast Parallel Computers. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1989 DBLP  DOI  BibTeX  RDF nondeterministic analogues, fast parallel computers, language classes, SC, NNC, NSC, deterministic Turing machine, polylog tape-head reversals, POLYLOGSPACE, simultaneous polynomial time, read-only input tape, read-write work tape, computational complexity, parallel computation, parallel machines, formal languages, nondeterminism, Turing machines, subset, NC
34Rob J. van Glabbeek Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra. Search on Bibsonomy STACS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF & Phrases Concurrency, Approximation Induction Principle, Bounded Nondeterminism, Fairness, Abstraction, Consistency, Process algebra, Recursion, Bisimulation, Liveness, ACP
34Richard Kennaway, C. A. R. Hoare A Theory of Nondeterminism. Search on Bibsonomy ICALP The full citation details ... 1980 DBLP  DOI  BibTeX  RDF axiomatic sematnics, complementary definitions, powerdomains, operational semantics, nondeterminism
29Rupert Hölzl 0001, Wolfgang Merkle Generation Complexity Versus Distinction Complexity. Search on Bibsonomy TAMC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Alex Groce, Rajeev Joshi Random testing and model checking: building a common framework for nondeterministic exploration. Search on Bibsonomy WODA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model checking, dynamic analysis, random testing, test frameworks
29Smruti R. Sarangi, Brian Greskamp, Josep Torrellas CADRE: Cycle-Accurate Deterministic Replay for Hardware Debugging. Search on Bibsonomy DSN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29François Le Gall Quantum Weakly Nondeterministic Communication Complexity. Search on Bibsonomy MFCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Tomas Kalibera, Lubomír Bulej, Petr Tuma 0001 Automated Detection of Performance Regressions: The Mono Experience. Search on Bibsonomy MASCOTS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Wenbing Zhao 0001, Louise E. Moser, P. M. Melliar-Smith Deterministic Scheduling for Multithreaded Replicas. Search on Bibsonomy WORDS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Thomas J. Myers, A. Toni Cohen Models and Transformations for Nondeterministic Extensions of Functional Programming. Search on Bibsonomy FSTTCS The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
27Yifeng Chen, Jeff W. Sanders Unifying Probability with Nondeterminism. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27Roberto Segala Probability and Nondeterminism in Operational Models of Concurrency. Search on Bibsonomy CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Moshe Deutsch, Martin C. Henson An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement. Search on Bibsonomy APSEC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Jianer Chen, Donald K. Friesen, Weijia Jia 0001, Iyad A. Kanj Using Nondeterminism to Design Efficient Deterministic Algorithms. Search on Bibsonomy Algorithmica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Three-dimensional matching, Nondeterministic algorithms, Parameterized algorithms
27Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky Modelling Nondeterminism. Search on Bibsonomy MPC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Juraj Hromkovic, Martin Sauerhoff The Power of Nondeterminism and Randomness for Oblivious Branching Programs. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Markus Holzer 0001, Martin Kutrib Flip-Pushdown Automata: Nondeterminism Is Better than Determinism. Search on Bibsonomy Developments in Language Theory The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Martin Sauerhoff Randomness versus Nondeterminism for Read-Once and Read- k Branching Programs. Search on Bibsonomy STACS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Yijia Chen, Jörg Flum, Martin Grohe Bounded Nondeterminism and Alternation in Parameterized Complexity Theory. Search on Bibsonomy CCC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Jianer Chen, Donald K. Friesen, Weijia Jia 0001, Iyad A. Kanj Using Nondeterminism to Design Deterministic Algorithms. Search on Bibsonomy FSTTCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Petr Savický, Detlef Sieling A Hierarchy Result for Read-Once Branching Programs with Restricted Parity Nondeterminism. Search on Bibsonomy MFCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27X. Cai, J. Chen Control of Nondeterminism in Testing Distributed Multithreaded Programs. Search on Bibsonomy APAQS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27Russell Harmer, Guy McCusker A Fully Abstract Game Semantics for Finite Nondeterminism. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27Hing Leung On Finite Automata with Limited Nondeterminism. Search on Bibsonomy Acta Informatica The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
27Frank S. de Boer, M. van Hulst Local Nondeterminism in Asynchronously Communicating Processes. Search on Bibsonomy FME The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
27Michael Siegel A Refinement Theory that Supports both 'Decrease of Nondeterminism' and 'Increase of Parallelism'. Search on Bibsonomy CONCUR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
27Luca Aceto On Relating Concurency and Nondeterminism. Search on Bibsonomy MFPS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
27Deborah Joseph, Meera Sitharam Kolmogorov Complexity, Restrited Nondeterminism and Generalized Spectra. Search on Bibsonomy STACS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
27Wim H. Hesselink A Mathematical Approach to Nondeterminism in Data Types. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
27Arthur J. Bernstein Output Guards and Nondeterminism in "Communicating Sequential Processes". Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
27Jan Christiansen, Sebastian Fischer 0001 EasyCheck - Test Data for Free. Search on Bibsonomy FLOPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Encapsulated Search, Testing, Nondeterminism, Curry
27Hanmei Cui, Jessica Chen On Formal MOM Modeling. Search on Bibsonomy ISPA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF model checking, distributed applications, nondeterminism, message-oriented middleware
27Edward A. Lee The Problem with Threads. Search on Bibsonomy Computer The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Design patterns, Threads, Nondeterminism, Programming paradigms, Coordination languages
27Claudio Basile, Zbigniew Kalbarczyk, Ravishankar K. Iyer Active Replication of Multithreaded Applications. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Fault tolerance, replication, multithreading, fault injection, nondeterminism
27Pascal Felber, Priya Narasimhan Experiences, Strategies, and Challenges in Building Fault-Tolerant CORBA Systems. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF OGS, Eternal, fault tolerance, CORBA, replication, recovery, nondeterminism, FT-CORBA
27Gianfranco Rossi, Elisabetta Poleo Javaset: Declarative programming in Java with sets. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Java, constraint programming, nondeterminism, declarative programming
27Richard Edwin Stearns Deterministic versus nondeterministic time and lower bound problems. Search on Bibsonomy J. ACM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF generic problems, power index, Computational complexity, NP-completeness, time complexity, SAT, nondeterminism, generic algorithms
27Jessica Chen Using Formal Methods to Serialize Synchronization Events. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Reproducible Testing, Formal Engineering Method, Nondeterminism, Labelled Transition Systems
27Ranko Lazic 0001, David Nowak On a Semantic Definition of Data Independence . Search on Bibsonomy TLCA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF nondeterminism, logical relations, Data independence, definability
27Thomas Eiter, Georg Gottlob, Kazuhisa Makino New results on monotone dualization and generating hypergraph transversals. Search on Bibsonomy STOC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF combinatorial enumeration, hypergraph acyclicity, limited nondeterminism, output-polynomial algorithms, transversal computation, treewidth, dualization
27Chi-Jen Lu Derandomizing Arthur-Merlin games under uniform assumptions. Search on Bibsonomy Comput. Complex. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF graph nonisomorphism problem, nondeterminism, Derandomization, uniformity, Arthur-Merlin games
27Ryszard Janicki, Emil Sekerinski Foundations of the Trace Assertion Method of Module Interface Specification. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Module interface specifications, trace assertion method, module refinement, tabular notation, state machines, nondeterminism, relational model, Mealy machines, step-sequences
27Martin Sauerhoff Randomized Branching Programs. Search on Bibsonomy SAGA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Randomized branching program, read-k-times, linear-length, lower bounds, randomness, nondeterminism, OBDD
27Jessica Chen On Using Static Analysis in Distributed System Testing. Search on Bibsonomy EDO The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Distributed Systems, CORBA, Automata, Nondeterminism, Specification-based Testing
27Steffen Lipperts On the Efficient Deployment of Mobility in Distributed System Management. Search on Bibsonomy DEXA Workshops The full citation details ... 2000 DBLP  DOI  BibTeX  RDF mobility deployment, future networks, disruptive links, competing goals, performance evaluation, mobile computing, mobile agents, nondeterminism, utility theory, prototype implementation, distributed system management, enabling technology
27Carroll Morgan, Annabelle McIver, Karen Seidel 0002 Probabilistic Predicate Transformers. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF probability, refinement, nondeterminism, weakest preconditions, Galois connection, predicate transformers, program derivation
Displaying result #1 - #100 of 876 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][>>]
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