Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Juraj Hromkovic, Rastislav Královic, Richard Královic, Richard Stefanec |
Determinism vs. Nondeterminism for Two-Way Automata: Representing the Meaning of States by Logical Formulæ. |
Int. J. Found. Comput. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Ragnhild Kobro Runde, Atle Refsdal, Ketil Stølen |
Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism. |
Formal Aspects Comput. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Christos A. Kapoutsis |
Nondeterminism is essential in small two-way finite automata with few reversals. |
Inf. Comput. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Omer Tripp, Eric Koskinen, Mooly Sagiv |
Turning nondeterminism into parallelism. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Udi Boker, Denis Kuperberg, Orna Kupferman, Michal Skrzypczak |
Nondeterminism in the Presence of a Diverse or Unknown Future. |
ICALP (2) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism. |
ICST Workshops |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Alexandros Palioudakis, Kai Salomaa, Selim G. Akl |
Comparisons between Measures of Nondeterminism on Finite Automata. |
DCFS |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Alexandros Palioudakis, Kai Salomaa, Selim G. Akl |
Finite Nondeterminism vs. DFAs with Multiple Initial States. |
DCFS |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Okhotin, Kai Salomaa |
Input-driven pushdown automata: nondeterminism and unambiguity. |
NCMA |
2013 |
DBLP BibTeX RDF |
|
17 | Byron Cook, Eric Koskinen |
Reasoning about nondeterminism in programs. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Felix Mohr, Theodor Lettmann, Hans Kleine Büning |
Reducing Nondeterminism in Automated Service Composition. |
SOCA |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Giora Alexandron, Michal Armoni, Michal Gordon, David Harel |
On teaching programming with nondeterminism. |
WiPSCE |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Pedro Ribeiro 0002, Ana Cavalcanti 0001 |
Designs with Angelic Nondeterminism. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Nicholas Hunt, Tom Bergan, Luis Ceze, Steven D. Gribble |
DDOS: taming nondeterminism in distributed systems. |
ASPLOS |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Arto Salomaa |
Mirror Images and Schemes for the Maximal Complexity of Nondeterminism. |
Fundam. Informaticae |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Reidenbach, Markus L. Schmid |
On multi-head automata with restricted nondeterminism. |
Inf. Process. Lett. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Marcos Villagra, Masaki Nakanishi, Shigeru Yamashita, Yasuhiko Nakashima |
Tensor Rank and Strong Quantum Nondeterminism in Multiparty Communication. |
Electron. Colloquium Comput. Complex. |
2012 |
DBLP BibTeX RDF |
|
17 | Marcos Villagra, Masaki Nakanishi, Shigeru Yamashita, Yasuhiko Nakashima |
Tensor Rank and Strong Quantum Nondeterminism in Multiparty Communication |
CoRR |
2012 |
DBLP BibTeX RDF |
|
17 | Yang Cai 0001, Ting Zhang |
Can Nondeterminism Help Complementation? |
GandALF |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Silvio do Lago Pereira, Leliane Nunes de Barros |
A planner agent that tries its best in presence of nondeterminism. |
J. Appl. Log. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Kratsch |
Co-nondeterminism in compositions: a kernelization lower bound for a Ramsey-type problem. |
SODA |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Hans-Juergen Boehm |
Position paper: nondeterminism is unavoidable, but data races are pure evil. |
RACES@SPLASH |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Annabelle McIver, Larissa Meinicke, Carroll Morgan |
A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Marcos Villagra, Masaki Nakanishi, Shigeru Yamashita, Yasuhiko Nakashima |
Tensor Rank and Strong Quantum Nondeterminism in Multiparty Communication. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Zuzana Bednárová, Viliam Geffert, Carlo Mereghetti, Beatrice Palano |
Removing Nondeterminism in Constant Height Pushdown Automata. |
DCFS |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Alexandros Palioudakis, Kai Salomaa, Selim G. Akl |
State Complexity and Limited Nondeterminism. |
DCFS |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Kostadin Kratchanov, Emilia Golemanova, Tzanko Golemanov, Burcu Külahçioglu |
Using control network programming in teaching nondeterminism. |
CompSysTech |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Juraj Hromkovic, Rastislav Královic, Richard Královic, Richard Stefanec |
Determinism vs. Nondeterminism for Two-Way Automata - Representing the Meaning of States by Logical Formulæ. |
Developments in Language Theory |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Christoph Schumacher, Jan Weinstock, Rainer Leupers, Gerd Ascheid |
Scandal: Systemc analysis for nondeterminism anomalies. |
FDL |
2012 |
DBLP BibTeX RDF |
|
17 | Jan Henrik Weinstock, Christoph Schumacher, Rainer Leupers, Gerd Ascheid |
SCandal: SystemC Analysis for Nondeterminism Anomalies. |
FDL (Selected Papers) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Kratsch, Marcin Pilipczuk, Ashutosh Rai 0001, Venkatesh Raman 0001 |
Kernel Lower Bounds Using Co-nondeterminism: Finding Induced Hereditary Subgraphs. |
SWAT |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Arnab Sinha, Sharad Malik, Aarti Gupta |
Efficient predictive analysis for detecting nondeterminism in multi-threaded programs. |
FMCAD |
2012 |
DBLP BibTeX RDF |
|
17 | Miklós Ajtai |
Determinism versus nondeterminism with arithmetic tests and computation: extended abstract. |
STOC |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Miklós Ajtai |
Determinism Versus Nondeterminism with Arithmetic Tests and Computation. |
Electron. Colloquium Comput. Complex. |
2011 |
DBLP BibTeX RDF |
|
17 | Alexander A. Rubtsov, Mikhail N. Vyalyi |
Regular realizability problems and models of a generalized nondeterminism |
CoRR |
2011 |
DBLP BibTeX RDF |
|
17 | Stefan Kratsch |
Co-nondeterminism in compositions: A kernelization lower bound for a Ramsey-type problem |
CoRR |
2011 |
DBLP BibTeX RDF |
|
17 | Steve Reeves, David Streader |
Refinement for Probabilistic Systems with Nondeterminism |
Refine@FM |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Nathaniel Bryans, Ehsan Chiniforooshan, David Doty, Lila Kari, Shinnosuke Seki |
The Power of Nondeterminism in Self-Assembly. |
SODA |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Robert L. Bocchino Jr., Stephen Heumann, Nima Honarmand, Sarita V. Adve, Vikram S. Adve, Adam Welc, Tatiana Shpeisman |
Safe nondeterminism in a deterministic-by-default parallel language. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Christos A. Kapoutsis |
Nondeterminism Is Essential in Small 2FAs with Few Reversals. |
ICALP (2) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Sahar Mohajerani, Robi Malik, Martin Fabian |
Nondeterminism avoidance in compositional synthesis of discrete event systems. |
CASE |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Fabio A. Guilherme da Silva, Angelo E. M. Ciarlini, Sean W. M. Siqueira |
A Planning Algorithm for Incorporating Attempts and Nondeterminism into Interactive Stories. |
ICTAI |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Meduna, Lukás Vrábel, Petr Zemek |
On Nondeterminism in Programmed Grammars. |
AFL |
2011 |
DBLP BibTeX RDF |
|
17 | Jan Schwinghammer, Lars Birkedal |
Step-Indexed Relational Reasoning for Countable Nondeterminism. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Tomás Masopust |
Regulated Nondeterminism in Pushdown Automata: The Non-Regular Case. |
Fundam. Informaticae |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Wim H. Hesselink |
Alternating states for dual nondeterminism in imperative programming. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Eric Allender, Klaus-Jörn Lange |
Symmetry Coincides with Nondeterminism for Time-Bounded Auxiliary Pushdown Automata. |
Electron. Colloquium Comput. Complex. |
2010 |
DBLP BibTeX RDF |
|
17 | Nathaniel Bryans, Ehsan Chiniforooshan, David Doty, Lila Kari, Shinnosuke Seki |
The Power of Nondeterminism in Self-Assembly. |
Electron. Colloquium Comput. Complex. |
2010 |
DBLP BibTeX RDF |
|
17 | Nathaniel Bryans, Ehsan Chiniforooshan, David Doty, Lila Kari, Shinnosuke Seki |
The Power of Nondeterminism in Self-Assembly |
CoRR |
2010 |
DBLP BibTeX RDF |
|
17 | Arnold L. Rosenberg |
The Pillars of Computation Theory - State, Encoding, Nondeterminism. |
|
2010 |
DOI RDF |
|
17 | Hong-Zu Chou, Haiqian Yu, Kai-Hui Chang, Dylan Dobbyn, Sy-Yen Kuo |
Finding reset nondeterminism in RTL designs - scalable X-analysis methodology and case study. |
DATE |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001 |
Model Checking Concurrent Programs with Nondeterminism and Randomization. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Eric Allender, Klaus-Jörn Lange |
Symmetry Coincides with Nondeterminism for Time-Bounded Auxiliary Pushdown Automata. |
CCC |
2010 |
DBLP DOI BibTeX RDF |
Symmetric Computation, Auxiliary Pushdown Automata, LogCFL, Reversible Computation |
17 | Ugur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso |
Task decomposition on abstract states, for planning under nondeterminism. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Michal Armoni, Mordechai Ben-Ari |
The concept of nondeterminism: its development and implications for teaching. |
ACM SIGCSE Bull. |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Martin Kutrib, Andreas Malcher, Larissa Werlein |
Regulated nondeterminism in pushdown automata. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Frantisek Mráz, Friedrich Otto, Martin Plátek |
The degree of word-expansion of lexicalized RRWW-automata - A new measure for the degree of nondeterminism of (context-free) languages. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Tomás Masopust |
Regulated Nondeterminism in PDAs: The Non-Regular Case. |
NCMA |
2009 |
DBLP BibTeX RDF |
|
17 | James Laird |
Nondeterminism and Observable Sequentiality. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Heiko Schmidt |
On the role of nondeterminism and refinement in model-driven top-down development of software systems. |
|
2009 |
RDF |
|
17 | Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi |
Nondeterminism in Constructive Z. |
Fundam. Informaticae |
2008 |
DBLP BibTeX RDF |
|
17 | Hartmut Messerschmidt, Friedrich Otto |
On determinism versus nondeterminism for restarting automata. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Marius Kloetzer, Calin Belta |
Dealing with Nondeterminism in Symbolic Control. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh |
Completeness and Nondeterminism in Model Checking Transactional Memories. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Benjamín René Callejas Bedregal |
Pushdown Automata Free of Explicit Nondeterminism and an Infinite Hierarchy of Context-free Languages. |
Fundam. Informaticae |
2007 |
DBLP BibTeX RDF |
|
17 | Martin Kutrib, Andreas Malcher |
Context-dependent nondeterminism for pushdown automata. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Stéphane Le Roux 0001 |
Discrete Nondeterminism and Nash Equilibria for Strategy-Based Games |
CoRR |
2007 |
DBLP BibTeX RDF |
|
17 | Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky |
Modelling angelic and demonic nondeterminism with multirelations. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Ozan Kahramanogullari |
Nondeterminism and language design in deep inference. |
|
2007 |
RDF |
|
17 | Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum |
Trace Semantics for Stochastic Systems with Nondeterminism. |
QAPL |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Healy, Salil P. Vadhan, Emanuele Viola |
Using Nondeterminism to Amplify Hardness. |
SIAM J. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
17 | James Laird |
Bidomains and Full Abstraction for Countable Nondeterminism. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Joseph G. Slember, Priya Narasimhan |
Static Analysis Meets Distributed Fault-Tolerance: Enabling State-Machine Replication with Nondeterminism. |
HotDep |
2006 |
DBLP BibTeX RDF |
|
17 | Ana Cavalcanti 0001, Jim Woodcock 0001 |
Angelic Nondeterminism and Unifying Theories of Programming. |
REFINE |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Michael W. Mislove |
On Combining Probability and Nondeterminism. |
APC 25 |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Klaus Keimel |
Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism. |
MFPS |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi |
An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types. |
FSEN |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Ratnesh Kumar 0001, Shengbing Jiang, Changyan Zhou, Wenbin Qiu |
Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control. |
IEEE Trans. Autom. Control. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Oscar H. Ibarra |
On determinism versus nondeterminism in P systems. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Petr Savický, Detlef Sieling |
A hierarchy result for read-once branching programs with restricted parity nondeterminism. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Jonathan Goldstine, Hing Leung, Detlef Wotschke |
Measuring nondeterminism in pushdown automata. |
J. Comput. Syst. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen |
Refining UML Interactions with Underspecification and Nondeterminism. |
Nord. J. Comput. |
2005 |
DBLP BibTeX RDF |
|
17 | Raymond E. Miller, Dongluo Chen, David Lee, Ruibing Hao |
Coping with Nondeterminism in Network Protocol Testing. |
TestCom |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Martin Ziegler 0001 |
Computability and Continuity on the Real Arithmetic Hierarchy and the Power of Type-2 Nondeterminism. |
CiE |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Frank Nießner |
Büchi Automata and Their Degrees of Nondeterminism and Ambiguity. |
J. Autom. Lang. Comb. |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Pavol Duris, Juraj Hromkovic, Katsushi Inoue |
On the power of nondeterminism and Las Vegas randomization for two-dimensional finite automata. |
J. Comput. Syst. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Healy, Salil P. Vadhan, Emanuele Viola |
Using Nondeterminism to Amplify Hardness |
Electron. Colloquium Comput. Complex. |
2004 |
DBLP BibTeX RDF |
|
17 | Matthew W. Heath, Wayne P. Burleson, Ian G. Harris |
Synchro-Tokens: Eliminating Nondeterminism to Enable Chip-Level Test of Globally-Asynchronous Locally-Synchronous SoC?s. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Axel Rimnac, Dieter Kranzlmüller |
Nondeterminism in Parallel Programs: Experiences with Real-World Applications. |
PDPTA |
2004 |
DBLP BibTeX RDF |
|
17 | Graham G. Thomason |
The design and construction of a state machine system that handles nondeterminism. |
|
2004 |
RDF |
|
17 | Martin Kutrib, Jan-Thomas Löwe |
Space- and Time-Bounded Nondeterminism for Cellular Automata. |
Fundam. Informaticae |
2003 |
DBLP BibTeX RDF |
|
17 | Michael W. Mislove, Joël Ouaknine, James Worrell 0001 |
Axioms for Probability and Nondeterminism. |
EXPRESS |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Wan J. Fokkink, Thuy Duong Vu |
Structural operational semantics and bounded nondeterminism. |
Acta Informatica |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Claudio Castellini, Enrico Giunchiglia, Armando Tacchella |
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. |
Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Martin Sauerhoff |
Guess-and-verify versus unrestricted nondeterminism for OBDDs and one-way Turing machines. |
J. Comput. Syst. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Alberto Pettorossi, Maurizio Proietti, Sophie Renault |
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism |
CoRR |
2003 |
DBLP BibTeX RDF |
|
17 | Hans L. Bodlaender, Michael R. Fellows, Dimitrios M. Thilikos |
Starting with Nondeterminism: The Systematic Derivation of Linear-Time Graph Layout Algorithms. |
MFCS |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Wolfram Schulte |
Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Buchholz, Andreas Klein 0001, Martin Kutrib |
On Interacting Automata with Limited Nondeterminism. |
Fundam. Informaticae |
2002 |
DBLP BibTeX RDF |
|
17 | Martin Kutrib |
Refining Nondeterminism Below Linear Time. |
J. Autom. Lang. Comb. |
2002 |
DBLP DOI BibTeX RDF |
|