Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Miklós Ajtai |
Determinism versus Nondeterminism for Linear Time RAMs with Memory Restrictions. |
J. Comput. Syst. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Petr Savický |
On determinism versus unambiquous nondeterminism for decision trees |
Electron. Colloquium Comput. Complex. |
2002 |
DBLP BibTeX RDF |
|
17 | Juraj Hromkovic, Sebastian Seibert, Juhani Karhumäki, Hartmut Klauck, Georg Schnitger |
Communication Complexity Method for Measuring Nondeterminism in Finite Automata. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Frank Nießner |
Büchi automata and their degrees of nondeterminism and ambiguity. |
DCFS |
2002 |
DBLP BibTeX RDF |
|
17 | Dieter Kranzlmüller |
Nondeterminism Analysis on Supercomputers and Clusters. |
Parallel Process. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Sanjay Gupta |
Determinism, Nondeterminism, Alternation, and Counting. |
J. Univers. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Marco Bernardo 0001, Roberto Gorrieri |
Corrigendum to "A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time" - [TCS 202 (1998) 1-54]. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Ingo Wegener |
Teaching Nondeterminism as a Special Case of Randomization. |
Informatica Didact. |
2001 |
DBLP BibTeX RDF |
|
17 | Petr Savický, Detlef Sieling |
A Hierarchy Result for Read-Once Branching Programs with Restricted Parity Nondeterminism |
Electron. Colloquium Comput. Complex. |
2001 |
DBLP BibTeX RDF |
|
17 | Prakash Panangaden |
Does Combining Nondeterminism and Probability Make Sense? |
Bull. EATCS |
2001 |
DBLP BibTeX RDF |
|
17 | Norman Y. Foo, Rex Bing Hung Kwok, Yan Zhang 0003 |
Apparent Nondeterminism in Actions. |
J. Res. Pract. Inf. Technol. |
2001 |
DBLP BibTeX RDF |
|
17 | Michal Walicki, Sigurd Meldal |
Nondeterminism vs. Underspecification. |
ISAS-SCI (1) |
2001 |
DBLP BibTeX RDF |
|
17 | Yngve Lamo, Michal Walicki |
Modeling Partiality by Nondeterminism. |
ISAS-SCI (1) |
2001 |
DBLP BibTeX RDF |
|
17 | Martin Kutrib |
Refining Nondeterminism below Linear-Time. |
DCFS |
2001 |
DBLP BibTeX RDF |
|
17 | Pavol Duris, Juraj Hromkovic, Katsushi Inoue |
A Separation of Determinism, Las Vegas and Nondeterminism for Picture Recognition |
Electron. Colloquium Comput. Complex. |
2000 |
DBLP BibTeX RDF |
|
17 | Juraj Hromkovic, Juhani Karhumäki, Hartmut Klauck, Georg Schnitger, Sebastian Seibert |
Measures of Nondeterminism in Finite Automata |
Electron. Colloquium Comput. Complex. |
2000 |
DBLP BibTeX RDF |
|
17 | Klaus Reinhardt, Eric Allender |
Making Nondeterminism Unambiguous. |
SIAM J. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Willem C. Mallon |
On Directed Transformations of Delay-Insensitive Specifications, Alternations and Dynamic Nondeterminism. |
ASYNC |
2000 |
DBLP DOI BibTeX RDF |
{Communicating Processes}, {Computer Aided Design}, Meta-stability, Formal Methods, Handshake Protocol, Delay-Insensitivity |
17 | Frank Steiner, Michael Hanus |
Type-based Nondeterminism Checking in Functional Logic Programs. |
WLP |
2000 |
DBLP BibTeX RDF |
|
17 | Michael W. Mislove |
Models Supporting Nondeterminism and Probabilistic Choice. |
IPDPS Workshops |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Michael Hanus, Frank Steiner |
Type-based nondeterminism checking in functional logic programs. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Michael W. Mislove |
Nondeterminism and Probabilistic Choice: Obeying the Laws. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Enrico Giunchiglia |
Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism. |
KR |
2000 |
DBLP BibTeX RDF |
|
17 | Dino Pedreschi, Salvatore Ruggieri |
Bounded Nondeterminism of Logic Programs. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
17 | Martin Sauerhoff |
Computing with Restricted Nondeterminism: The Dependence of the OBDD Size on the Number of Nondeterministic Variables. |
FSTTCS |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus |
Nondeterminism and Uncertainty in the Situation Calculus. |
FLAIRS |
1999 |
DBLP BibTeX RDF |
|
17 | Jerry den Hartog, Erik P. de Vink |
Mixing Up Nondeterminism and Probability: a preliminary report. |
PROBMIV |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Irina B. Virbitskaite |
On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics. |
MFCS Workshop on Concurrency |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Lane A. Hemaspaandra, Christopher Nasipak, Keith Parkins |
A Note on Linear-Nondeterminism, Linear-Sized, Karp-Lipton Advice for the P-Selective Sets. |
J. Univers. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Marco Bernardo 0001, Roberto Gorrieri |
A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Martin Sauerhoff |
Randomness and Nondeterminism are Incomparable for Read-Once Branching Programs |
Electron. Colloquium Comput. Complex. |
1998 |
DBLP BibTeX RDF |
|
17 | Richard Beigel, Judy Goldsmith |
Downward Separation Fails Catastrophically for Limited Nondeterminism Classes. |
SIAM J. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Franck van Breugel |
Comparative metric semantics of programming languages - nondeterminism and recursion. |
|
1998 |
RDF |
|
17 | Ming-Dong Feng, Chung-Kwong Yuen |
Detection of Races and Control-Flow Nondeterminism. |
LCR |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Jürgen Albert, Ullrich Hafner |
Nondeterminism and Motion Compensation for Weighted Finite Automata. |
GI Jahrestagung |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Hartmut Klauck |
Lower Bounds for Computation with Limited Nondeterminism. |
CCC |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Uriel Feige, Joe Kilian |
On Limited versus Polynomial Nondeterminism. |
Chic. J. Theor. Comput. Sci. |
1997 |
DBLP BibTeX RDF |
|
17 | Kate Copestake |
On Nondeterminism, Enumeration Reducibility and Polynomial Bounds. |
Math. Log. Q. |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Stuart Oliver Anderson, John Power |
A Representable Approach to Finite Nondeterminism. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Christian Herzog 0003 |
Pushdown Automata with Bounded Nondeterminism and Bounded Ambiguity. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Jan Van den Bussche, Dirk Van Gucht |
A Semideterministic Approach to Object Creation and Nondeterminism in Database Queries. |
J. Comput. Syst. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Martin Sauerhoff |
On Nondeterminism versus Randomness for Read-Once Branching Programs |
Electron. Colloquium Comput. Complex. |
1997 |
DBLP BibTeX RDF |
|
17 | Klaus Reinhardt, Eric Allender |
Making Nondeterminism Unambiguous |
Electron. Colloquium Comput. Complex. |
1997 |
DBLP BibTeX RDF |
|
17 | Michal Walicki, Sigurd Meldal |
Algebraic Approaches to Nondeterminism: An Overview. |
ACM Comput. Surv. |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Liming Cai, Jianer Chen |
On the Amount of Nondeterminism and the Power of Verifying. |
SIAM J. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Alberto Pettorossi, Maurizio Proietti, Sophie Renault |
Reducing Nondeterminism while Specializing Logic Programs. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Farid M. Ablayev |
Randomization and Nondeterminism Are Comparable for Ordered Read-Once Branching Programs. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Y. Gao, Max H. Garzon, R. C. Murphy, John A. Rose, Russell J. Deaton, Donald R. Franceschetti, Stanley Edward Stevens Jr. |
DNA implementation of nondeterminism. |
DNA Based Computers |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Lars Karlsson |
Reasoning with Incomplete Initial Information and Nondeterminism in Situation Calculus. |
IJCAI |
1997 |
DBLP BibTeX RDF |
|
17 | Weidong Chen, Jinghong Zeng |
Nondeterminism Through Well-Founded Choice. |
J. Log. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
17 | M. Hakan Erdogmus, Robert Johnston, Michael J. Ferguson |
On the Operational Semantics of Nondeterminism and Divergence. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Christos H. Papadimitriou, Mihalis Yannakakis |
On Limited Nondeterminism and the Complexity of the V-C Dimension. |
J. Comput. Syst. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Felipe Cucker, Martín Matamala |
On Digital Nondeterminism. |
Math. Syst. Theory |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Judy Goldsmith, Matthew A. Levy, Martin Mundhenk |
Limited nondeterminism. |
SIGACT News |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Michael Oberhuber |
Managing Nondeterminism in PVM Programs. |
PVM |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Michael W. Mislove |
Denotational models for unbounded nondeterminism. |
MFPS |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi |
Nondeterminism and Infinite Computations in Constraint Programming. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Emanuela Fachini, Jozef Gruska, Margherita Napoli, Domenico Parente |
Power of Interconnections and of Nondeterminism in Regular Y-Tree Systolic Automata. |
Math. Syst. Theory |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Michael J. Butler, Carroll Morgan |
Action Systemes, Unbounded Nondeterminism, and Infinite Traces. |
Formal Aspects Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Kai Salomaa, Sheng Yu 0001 |
Nondeterminism Degrees for Context-Free Languages. |
Developments in Language Theory |
1995 |
DBLP BibTeX RDF |
|
17 | Christian Herzog 0003 |
Pushdown Automata with Bounded Nondeterminism and Bounded Anbiguity. |
LATIN |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Armin Hemmerling |
On Genuine Complexity and Kinds of Nondeterminism. |
J. Inf. Process. Cybern. |
1994 |
DBLP BibTeX RDF |
|
17 | Kai Salomaa, Sheng Yu 0001 |
Measures of Nondeterminism for Pushdown Automata. |
J. Comput. Syst. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
17 | David J. Musliner |
Using Abstraction and Nondeterminism to Plan Reaction Loops. |
AAAI |
1994 |
DBLP BibTeX RDF |
|
17 | Jean-Pierre Courtiat, Roberto C. de Oliveira |
About time nondeterminism and exception handling in a temporal extension of LOTOS. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
17 | Richard Beigel, Judy Goldsmith |
Downward separation fails catastrophically for limited nondeterminism classes. |
SCT |
1994 |
DBLP DOI BibTeX RDF |
|
17 | K. Narayan Kumar, Paritosh K. Pandya |
Infinitary Parallelism without Unbounded Nondeterminism in CSP. |
Acta Informatica |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Jonathan F. Buss, Judy Goldsmith |
Nondeterminism Within P. |
SIAM J. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Kurt Sieber |
Call-by-Value and Nondeterminism. |
TLCA |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Michal Walicki, Sigurd Meldal |
Sets and Nondeterminism. |
ICLP Workshop on Logic Programming with Sets |
1993 |
DBLP BibTeX RDF |
|
17 | Henning Bordihn, Jürgen Dassow |
A Note on the Degree of Nondeterminism. |
Developments in Language Theory |
1993 |
DBLP BibTeX RDF |
|
17 | Christos H. Papadimitriou, Mihalis Yannakakis |
On Limited Nondeterminism and the Complexity of the V.C Dimension (Extended Abstract). |
SCT |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Henning Bordihn |
Pure Languages and the Degree of Nondeterminism. |
J. Inf. Process. Cybern. |
1992 |
DBLP BibTeX RDF |
|
17 | Juhani Karhumäki |
Multiplicities: A Deterministsic View of Nondeterminism. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Srinivasarao Damerla, Sol M. Shatz |
Software complexity and ada rendezvous: Metrics based on nondeterminism. |
J. Syst. Softw. |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Jonathan Goldstine, Hing Leung, Detlef Wotschke |
On the Relation between Ambiguity and Nondeterminism in Finite Automata |
Inf. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Danny Dolev, Tomás Feder |
Determinism vs. Nondeterminism in Multiparty Communication Complexity. |
SIAM J. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Hing Leung |
On Finite Automata with Limited Nondeterminism. |
MFCS |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Michael W. Mislove, Frank J. Oles |
A Simple Language Supporting Angelic Nondeterminism and Parallel Composition. |
MFPS |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Kai Salomaa, Sheng Yu 0001 |
Degrees of Nondeterminism for Pushdown Automata. |
FCT |
1991 |
DBLP DOI BibTeX RDF |
|
17 | A. F. Toal |
P.Q.S.: building and using an advanced qualitative simulator utilizing explicit nondeterminism. |
|
1991 |
RDF |
|
17 | Jürgen Dassow, Dietmar Wätjen |
On the relations between the degree of synchronization and the degree of nondeterminism in k-limited and uniformly k-limited tol systems. |
Int. J. Comput. Math. |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Hsu-Chun Yen |
Communicating Processes, Scheduling, and the Complexity of Nondeterminism. |
Math. Syst. Theory |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Josep Díaz, Jacobo Torán |
Classes of Bounded Nondeterminism. |
Math. Syst. Theory |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Jonathan Goldstine, Chandra M. R. Kintala, Detlef Wotschke |
On Measuring Nondeterminism in Regular Languages |
Inf. Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Anne Dinning |
Detecting Nondeterminism in Shared Memory Parallel Programs. |
|
1990 |
RDF |
|
17 | Edith Spaan, Leen Torenvliet, Peter van Emde Boas |
Nondeterminism fairness and a fundamental analogy. |
Bull. EATCS |
1989 |
DBLP BibTeX RDF |
|
17 | Leen Torenvliet, Peter van Emde Boas |
Simplicity, Immunity, Relativizations and Nondeterminism |
Inf. Comput. |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Erik Ruf, Daniel Weise |
Nondeterminism and Unification in LogScheme: Integrating Logic and Functional Programming. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
SCHEME |
17 | A. W. Roscoe 0001, Geoff Barrett |
Unbounded Nondeterminism in CSP. |
Mathematical Foundations of Programming Semantics |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Andrej Bebják, Ivana Stefáneková |
Nondeterminism is essential for reversal-bounded two-way multihead finite automata. |
Kybernetika |
1988 |
DBLP BibTeX RDF |
|
17 | Christoph Meinel |
The Power of Nondeterminism in Polynomial-Size Bounded-Width Branching Programs. |
Theor. Comput. Sci. |
1988 |
DBLP DOI BibTeX RDF |
|
17 | F. Warren Burton |
Nondeterminism with Referential Transparency in Functional Programming Languages. |
Comput. J. |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Atanas Radensky |
Lazy Evaluation and Nondeterminism Make Backus' FP-Systems More Practical. |
ACM SIGPLAN Notices |
1987 |
DBLP DOI BibTeX RDF |
FP |
17 | Ildar R. Nasyrov |
The Degrees of Nondeterminism in Pushdown Automata. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Christoph Meinel |
The Power of Nondeterminism in Polynominal-size Bounded-width Branching Programs. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Ruurd Kuiper 0001 |
Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using Hiding. |
Temporal Logic in Specification |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Patrick W. Dymond |
On Nondeterminism in Parallel Computation. |
Theor. Comput. Sci. |
1986 |
DBLP DOI BibTeX RDF |
|
17 | Manfred Broy |
A Theory for Nondeterminism, Parallelism, Communication, and Concurrency. |
Theor. Comput. Sci. |
1986 |
DBLP DOI BibTeX RDF |
|
17 | Mara Chibnik |
Algorithmic elimination of spurious nondeterminism from Mealy machines. |
SIGACT News |
1986 |
DBLP DOI BibTeX RDF |
|