Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
27 | Doron Drusinsky, David Harel |
On the Power of Bounded Concurrency I: Finite Automata. |
J. ACM |
1994 |
DBLP DOI BibTeX RDF |
bounded cooperative concurrency, statecharts, finite automata, nondeterminism, alternation, succinctness, omega-automata |
27 | Michael Young, David L. Levine, Richard N. Taylor |
Comments on "Temporal Logic-Based Deadlock Analysis for Ada''. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
temporal logic-based deadlock analysis, axiomatic proof method, event-based models, computational complexity, computational complexity, Ada, Ada, temporal logic, concurrency control, nondeterminism, symbolic manipulation, symbol manipulation, state-based models |
27 | Saumya K. Debray, David Scott Warren |
Towards Banishing the Cut from Prolog. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
impure language features, impure features, Prolog source programs, firstof, oneof, declarative readings, parallel evaluation strategies, purer programming style, logic programs, logic programming, static analysis, PROLOG, program transformations, nondeterminism, cut, language constructs, compile time |
27 | Bharat Jayaraman, Gopal Gupta 0001 |
EqL: The Language and Its Implementation. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
conditional rules, general-purpose language, EqL, pattern-directed rules, data-constructors, basic values, equation solving, deferred evaluation, sequential implementation, compile-time flattening, run-time equation-delaying, last-equation optimization, logic programming, functional programming, functional programming, nondeterminism, high level languages, mathematics computing, equations, logic programming languages, computational paradigm, logical variables |
27 | Michael Evangelist, Nissim Francez, Shmuel Katz |
Multiparty Interactions for Interprocess Communication and Synchronization. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
multiparty interaction construct, weakening, fault tolerance, parallel programming, synchronization, fault tolerant computing, distributed programs, participants, nondeterminism, interprocess communication, primitive, acceptability criteria |
27 | Pierpaolo Degano, Rocco De Nicola, Ugo Montanari |
Partial orderings descriptions and observations of nondeterministic concurrent processes. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
LES, Concurrency, Nondeterminism, CCS, Communicating Processes, Observational Equivalence, Semantics of Programming Languages |
27 | B. Gammatie |
Safe Implementation Equivalence for Asynchronous Nondeterministic Processes. |
MFCS |
1986 |
DBLP DOI BibTeX RDF |
Key-words process behaviour, equivalence and congruence relations for processes, process interface, order relations for process action set, nondeterminism, divergence |
27 | B. Gamatie |
Towards Specification and Proof of Asynchronous Systems. |
STACS |
1986 |
DBLP DOI BibTeX RDF |
Key-words Asynchronous systems, process interface, equivalence and congruence of processes, least process, nondeterminism |
19 | Fedor V. Fomin, Pierre Fraigniaud, Nicolas Nisse |
Nondeterministic Graph Searching: From Pathwidth to Treewidth. |
Algorithmica |
2009 |
DBLP DOI BibTeX RDF |
Treewidth, Graph searching, Pathwidth |
19 | Purandar Bhaduri, S. Ramesh |
Interface synthesis and protocol conversion. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Component compatibility, Interface synthesis, Interface automata, Protocol conversion |
19 | Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman |
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. |
FMSB |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Holger Hermanns, Sven Johr |
Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Gordon Fraser 0001, Franz Wotawa |
Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers. |
ICSEA |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Ryan Williams 0001 |
Inductive Time-Space Lower Bounds for Sat and Related Problems. |
Comput. Complex. |
2006 |
DBLP DOI BibTeX RDF |
68Q17, Subject classification |
19 | Alan Mishchenko, Robert K. Brayton |
A theory of nondeterministic networks. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Ingrid Rewitzky, Chris Brink |
Monotone Predicate Transformers as Up-Closed Multirelations. |
RelMiCS |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
Game-based Abstraction for Markov Decision Processes. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Lane A. Hemaspaandra, Christopher M. Homan, Sven Kosub |
Cluster Computing and the Power of Edge Recognition. |
TAMC |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
Automated Incremental Synthesis of Timed Automata. |
FMICS/PDMC |
2006 |
DBLP DOI BibTeX RDF |
Bounded liveness, Bounded response, Real-time, Formal methods, Synthesis, Transformation, Timed automata |
19 | Harry Buhrman, Troy Lee, Dieter van Melkebeek |
Language compression and pseudorandom generators. |
Comput. Complex. |
2005 |
DBLP DOI BibTeX RDF |
Subject classification, 68P30 |
19 | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Massimo Mecella |
Composition of Services with Nondeterministic Observable Behavior. |
ICSOC |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Fedor V. Fomin, Pierre Fraigniaud, Nicolas Nisse |
Nondeterministic Graph Searching: From Pathwidth to Treewidth. |
MFCS |
2005 |
DBLP DOI BibTeX RDF |
treewidth, graph searching, pathwidth |
19 | Ryan Williams 0001 |
Better Time-Space Lower Bounds for SAT and Related Problems. |
CCC |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Annabelle McIver, Carroll Morgan |
Developing and Reasoning About Probabilistic Programs in pGCL. |
PSSE |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Alan Su 0001, Francine Berman, Henri Casanova |
On The Feasibility of Running Entity-Level Simulations on Grid Platforms. |
GRID |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Harry Buhrman, Troy Lee, Dieter van Melkebeek |
Language Compression and Pseudorandom Generators. |
CCC |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Ingrid Rewitzky |
Binary Multirelations. |
Theory and Applications of Relational Structures as Knowledge Instruments |
2003 |
DBLP DOI BibTeX RDF |
|
19 | François Maurel |
Nondeterministic Light Logics and NP-Time. |
TLCA |
2003 |
DBLP DOI BibTeX RDF |
Light logics, implicit characterisations of complexity classes, NP complexity |
19 | Daniele Varacca |
The Powerdomain of Indexed Valuations. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Nam Thoai, Dieter Kranzlmüller, Jens Volkert |
Shortcut Replay: A Replay Technique for Debugging Long-Running Parallel Programs. |
ASIAN |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Philipp Woelfel |
A Lower Bound Technique for Restricted Branching Programs and Applications. |
STACS |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Josée Desharnais, Vineet Gupta 0001, Radha Jagadeesan, Prakash Panangaden |
Weak Bisimulation is Sound and Complete for PCTL*. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
19 | José Fortes Gálvez, Jacques Farré, Miguel Ángel Pérez Aguiar |
Practical Nondeterministic DR(k) Parsing on Graph-Structured Stack. |
CICLing |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Gordon D. Plotkin, John Power |
Adequacy for Algebraic Effects. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Martin Sauerhoff |
An Improved Hierarchy Result for Partitioned BDDs. |
Theory Comput. Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Corina Cîrstea |
Semantic Constructions for Hidden Algebra. |
WADT |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Tom Verhoeff |
Analyzing Specifications for Delay-Insensitive Circuits. |
ASYNC |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Lane A. Hemaspaandra, Jörg Rothe |
A Second Step Towards Circuit Complexity-Theoretic Analogs of Rice's Theorem. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Arie de Bruin, Shan-Hwei Nienhuys-Cheng |
Linear Dynamic Kahn Networks Are Deterministic. |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Manfred Broy |
Functional Specification of Time-Sensitive Communicating Systems. |
ACM Trans. Softw. Eng. Methodol. |
1993 |
DBLP DOI BibTeX RDF |
functional system models, real-time systems, specification |
19 | Roberto Giacobazzi, Laura Ricci |
Detecting Determinate Computations by Bottom-up Abstract Interpretation. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Gerhard Buntrock, Lane A. Hemachandra, Dirk Siefkes |
Using Inductive Counting to Simulate Nondeterministic Computation. |
MFCS |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Matthias Krause 0001 |
Separating +L From L, NL, co-NL and AL (=P) for Oblivious Turing Machines of Linear Access Time. |
MFCS |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Manfred Broy |
Functional Specification of Time Sensitive Communicating Systems. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Naoyoshi Tamura, Hiroaki Numazaki, Hozumi Tanaka |
Table-Driven Bottom Up Parser in Prolog. |
LP |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler |
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs. |
Proc. ACM Program. Lang. |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Megha Srivastava, Simran Arora, Dan Boneh |
Optimistic Verifiable Training by Controlling Hardware Nondeterminism. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir |
A unified rule format for bounded nondeterminism in SOS with terms as labels. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann 0002 |
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct. |
Log. Methods Comput. Sci. |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Timothy M. Chan, Pingan Cheng, Da Wei Zheng |
An Optimal Algorithm for Higher-Order Voronoi Diagrams in the Plane: The Usefulness of Nondeterminism. |
SODA |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Alejandro Aguirre 0001, Lars Birkedal |
Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Udi Boker, Karoliina Lehtinen |
When a Little Nondeterminism Goes a Long Way: An Introduction to History-Determinism. |
ACM SIGLOG News |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Sanjukta Bhowmick, Patrick Bell, Michela Taufer |
A Survey of Graph Comparison Methods with Applications to Nondeterminism in High-Performance Computing. |
Int. J. High Perform. Comput. Appl. |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano |
Iterated Uniform Finite-State Transducers: Descriptional Complexity of Nondeterminism and Two-Way Motion. |
J. Autom. Lang. Comb. |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler |
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Krzysztof R. Apt, Ernst-Rüdiger Olderog |
Nondeterminism and Guarded Commands. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Timothy M. Chan, Pingan Cheng, Da Wei Zheng |
An Optimal Algorithm for Higher-Order Voronoi Diagrams in the Plane: The Usefulness of Nondeterminism. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Wenhao Tang, Tom Schrijvers |
From High to Low: Simulating Nondeterminism and State with State. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Arthur Charguéraud, Adam Chlipala, Andres Erbsen, Samuel Gruetter |
Omnisemantics: Smooth Handling of Nondeterminism. |
ACM Trans. Program. Lang. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Hokeun Kim, Shaokai Lin, Christian Menard, Edward A. Lee |
Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems. |
MEMOCODE |
2023 |
DBLP BibTeX RDF |
|
17 | Niels F. W. Voorneveld |
Slice Nondeterminism. |
ITP |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Dario Stein, Richard Samuelson |
A Category for Unifying Gaussian Probability and Nondeterminism. |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Vaishak Belle |
Analyzing generalized planning under nondeterminism. |
Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz |
A Hierarchy of Nondeterminism. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker 0001 |
ACORN: Network Control Plane Abstraction using Route Nondeterminism. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Albert Benveniste, Jean-Baptiste Raclet |
Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
17 | Yulin Zhang 0001, Dylan A. Shell |
Nondeterminism subject to output commitment in combinatorial filters. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Filippo Bonchi, Ana Sokolova, Valeria Vignudelli |
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination. |
Log. Methods Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Adam Bjorndahl |
The Epistemology of Nondeterminism. |
J. Log. Lang. Inf. |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Chris Keeler, Kai Salomaa |
Structural properties of NFAs and growth rates of nondeterminism measures. |
Inf. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Krzysztof R. Apt, Ernst-Rüdiger Olderog |
Nondeterminism and Guarded Commands. |
Edsger Wybe Dijkstra |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Charles E. Leiserson, Tao B. Schardl |
A Work-Efficient Parallel Breadth-First Search Algorithm (or How To Cope With the Nondeterminism of Reducers). |
Massive Graph Analytics |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Yulin Zhang 0001, Dylan A. Shell |
On nondeterminism in combinatorial filters. |
ICRA |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Stephen Price, Rodica Neamtu |
Identifying, Evaluating, and Addressing Nondeterminism in Mask R-CNNs. |
ICPRAI (1) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Yulin Zhang 0001, Dylan A. Shell |
Nondeterminism Subject to Output Commitment in Combinatorial Filters. |
WAFR |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker 0001 |
ACORN: Network Control Plane Abstraction using Route Nondeterminism. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Robbert Gurdeep Singh |
Taming nondeterminism: programming language abstractions and tools for dealing with nondeterministic programs. |
|
2022 |
RDF |
|
17 | Ruggero Lanotte, Simone Tini |
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces. |
Theor. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Dominik Aumayr, Stefan Marr, Sophie Kaleba, Elisa Gonzalez Boix, Hanspeter Mössenböck |
Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay. |
Art Sci. Eng. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Juraj Hromkovic |
Kolmogorov complexity and nondeterminism versus determinism for polynomial time computations. |
Electron. Colloquium Comput. Complex. |
2021 |
DBLP BibTeX RDF |
|
17 | Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann 0002 |
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
17 | Cecilia Summers, Michael J. Dinneen |
Nondeterminism and Instability in Neural Network Optimization. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
17 | Yulin Zhang 0001, Dylan A. Shell |
On nondeterminism in combinatorial filters. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
17 | Dominik Aumayr, Stefan Marr, Sophie Kaleba, Elisa Gonzalez Boix, Hanspeter Mössenböck |
Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
17 | James Laird |
Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism. |
Log. Methods Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Sang-Ki Ko, Yo-Sub Han |
Left is Better Than Right for Reducing Nondeterminism of NFAs. |
Int. J. Found. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Dana Richards |
Teaching Nondeterminism. |
SIGACT News |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa |
A trustful monad for axiomatic reasoning with probability and nondeterminism. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Milan Copic, Rainer Leupers, Gerd Ascheid |
Runnable Configuration in Mixed Classic/Adaptive AUTOSAR Systems by Leveraging Nondeterminism. |
DSD |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Matteo Mio, Ralph Sarkis, Valeria Vignudelli |
Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Zeinab Galal |
A Bicategorical Model for Finite Nondeterminism. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann 0002 |
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct. |
MFCS |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz |
A Hierarchy of Nondeterminism. |
MFCS |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Sydur Rahaman, Raina Samuel, Iulian Neamtiu |
Quantifying Nondeterminism and Inconsistency in Self-organizing Map Implementations. |
AITest |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Michele Dusi, Gianfranco Lamperti |
Fixing Nondeterminism in Large Discrete-Event Knowledge. |
KES |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Cecilia Summers, Michael J. Dinneen |
Nondeterminism and Instability in Neural Network Optimization. |
ICML |
2021 |
DBLP BibTeX RDF |
|
17 | Chris Keeler |
Finite Automata with Restricted Nondeterminism and Universality |
|
2021 |
RDF |
|
17 | Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards |
An efficient statistical model checker for nondeterminism and rare events. |
Int. J. Softw. Tools Technol. Transf. |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa |
A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
17 | Matteo Mio, Ralph Sarkis, Valeria Vignudelli |
Combining nondeterminism, probability, and termination: equational and metric reasoning. |
CoRR |
2020 |
DBLP BibTeX RDF |
|