Search results for "nondeterminism"

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