Search results for "nondeterminism"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Matteo Mio, Valeria Vignudelli	Monads and Quantitative Equational Theories for Nondeterminism and Probability.	CoRR	2020	DBLP BibTeX RDF
17	Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe	Probabilistic Hyperproperties with Nondeterminism.	CoRR	2020	DBLP BibTeX RDF
17	Lucas Lima 0001, Amaury Tavares, Sidney C. Nogueira	A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP.	Sci. Comput. Program.	2020	DBLP DOI BibTeX RDF
17	Marco Bernardo 0001	Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism.	QEST	2020	DBLP DOI BibTeX RDF
17	Alex Groce, Josie Holmes	Practical Automatic Lightweight Nondeterminism and Flaky Test Detection and Debugging for Python.	QRS	2020	DBLP DOI BibTeX RDF
17	Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe	Probabilistic Hyperproperties with Nondeterminism.	ATVA	2020	DBLP DOI BibTeX RDF
17	Xin Yin, Iulian Neamtiu, Saketan Patil, Sean T. Andrews	Implementation-induced Inconsistency and Nondeterminism in Deterministic Clustering Algorithms.	ICST	2020	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.	DCFS	2020	DBLP DOI BibTeX RDF
17	Chris Keeler, Kai Salomaa	Combining Limited Parallelism and Nondeterminism in Alternating Finite Automata.	DCFS	2020	DBLP DOI BibTeX RDF
17	Ian Horswill	Generative Text using Classical Nondeterminism.	AIIDE Workshops	2020	DBLP BibTeX RDF
17	Matteo Mio, Valeria Vignudelli	Monads and Quantitative Equational Theories for Nondeterminism and Probability.	CONCUR	2020	DBLP DOI BibTeX RDF
17	Yuki Nishida 0001	Typed Software Contracts with Intersection and Nondeterminism.		2020	RDF
17	Di Wang 0017, Jan Hoffmann 0002, Thomas W. Reps	A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism.	MFPS	2019	DBLP DOI BibTeX RDF
17	Frantisek Capkovic	Petri Nets at Modelling and Control of Discrete-Event Systems with Nondeterminism - Part 2.	Comput. Informatics	2019	DBLP DOI BibTeX RDF
17	Dylan Chapp, Danny Rorabaugh, Kento Sato, Dong H. Ahn, Michela Taufer	A three-phase workflow for general and expressive representations of nondeterminism in HPC applications.	Int. J. High Perform. Comput. Appl.	2019	DBLP DOI BibTeX RDF
17	James P. Delgrande, Hector J. Levesque	An Epistemic Approach to Nondeterminism: Believing in the Simplest Course of Events.	Stud Logica	2019	DBLP DOI BibTeX RDF
17	Kexu Wang, Xishun Zhao	Logarithmic-Bounded Second-Order Quantifiers and Limited Nondeterminism.	CoRR	2019	DBLP BibTeX RDF
17	Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera 0001, Petr Novotný 0001, Dominik Velan	Deciding Fast Termination for Probabilistic VASS with Nondeterminism.	CoRR	2019	DBLP BibTeX RDF
17	Lucas Lima 0001, Amaury Tavares, Sidney C. Nogueira	A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP.	CoRR	2019	DBLP BibTeX RDF
17	Udi Boker, Karoliina Lehtinen	Good for Games Automata: From Nondeterminism to Alternation.	CoRR	2019	DBLP BibTeX RDF
17	Anselm Haak, Arne Meier, Om Prakash 0002, B. V. Raghavendra Rao	Parameterised Counting Classes with Bounded Nondeterminism.	CoRR	2019	DBLP BibTeX RDF
17	Marco Bernardo 0001	Coherent Resolutions of Nondeterminism.	EPEW	2019	DBLP DOI BibTeX RDF
17	Filippo Bonchi, Ana Sokolova, Valeria Vignudelli	The Theory of Traces for Systems with Nondeterminism and Probability.	LICS	2019	DBLP DOI BibTeX RDF
17	Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera 0001, Petr Novotný 0001, Dominik Velan	Deciding Fast Termination for Probabilistic VASS with Nondeterminism.	ATVA	2019	DBLP DOI BibTeX RDF
17	Chris Keeler, Kai Salomaa	Nondeterminism Growth and State Complexity.	DCFS	2019	DBLP DOI BibTeX RDF
17	Yo-Sub Han, Sang-Ki Ko, Kai Salomaa	Limited Nondeterminism of Input-Driven Pushdown Automata: Decidability and Complexity.	DCFS	2019	DBLP DOI BibTeX RDF
17	Lucas Lima 0001, Amaury Tavares	Verifying Deadlock and Nondeterminism in Activity Diagrams.	MoDELS (Companion)	2019	DBLP DOI BibTeX RDF
17	Udi Boker, Karoliina Lehtinen	Good for Games Automata: From Nondeterminism to Alternation.	CONCUR	2019	DBLP DOI BibTeX RDF
17	Frantisek Capkovic	Petri Nets at Modelling and Control of Discrete-Event Systems Containing Nondeterminism - Part 1.	Comput. Informatics	2018	DBLP DOI BibTeX RDF
17	Hassan Salehe Matar, Erdal Mutlu, Serdar Tasiran, Didem Unat	Output nondeterminism detection for programming models combining dataflow with shared memory.	Parallel Comput.	2018	DBLP DOI BibTeX RDF
17	Benjamin Sherman, Luke Sciarappa, Adam Chlipala, Michael Carbin	Computable decision making on the reals and other spaces via partiality and nondeterminism.	CoRR	2018	DBLP BibTeX RDF
17	Guillaume Geoffroy	Classical realizability as a classifier for nondeterminism.	CoRR	2018	DBLP BibTeX RDF
17	Adam Bjorndahl	The Epistemology of Nondeterminism.	CoRR	2018	DBLP BibTeX RDF
17	Julian Gutierrez 0001	On fixpoint logics and equivalences for processes with restricted nondeterminism.	J. Log. Comput.	2018	DBLP DOI BibTeX RDF
17	Adam Bjorndahl	The Epistemology of Nondeterminism.	WoLLIC	2018	DBLP DOI BibTeX RDF
17	Ruggero Lanotte, Simone Tini	Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces.	ICTAC	2018	DBLP DOI BibTeX RDF
17	Guillaume Geoffroy	Classical realizability as a classifier for nondeterminism.	LICS	2018	DBLP DOI BibTeX RDF
17	Benjamin Sherman, Luke Sciarappa, Adam Chlipala, Michael Carbin	Computable decision making on the reals and other spaces: via partiality and nondeterminism.	LICS	2018	DBLP DOI BibTeX RDF
17	Pavol Duris, Rafael Korbas, Rastislav Královic, Richard Královic	Determinism and Nondeterminism in Finite Automata with Advice.	Adventures Between Lower Bounds and Higher Altitudes	2018	DBLP DOI BibTeX RDF
17	Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards	A Statistical Model Checker for Nondeterminism and Rare Events.	TACAS (2)	2018	DBLP DOI BibTeX RDF
17	William John Gowers, James David Laird	A Fully Abstract Game Semantics for Countable Nondeterminism.	CSL	2018	DBLP DOI BibTeX RDF
17	Aliaume Lopez, Alex Simpson	Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular.	CSL	2018	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.	J. Log. Algebraic Methods Program.	2017	DBLP DOI BibTeX RDF
17	Yo-Sub Han, Arto Salomaa, Kai Salomaa	Ambiguity, Nondeterminism and State Complexity of Finite Automata.	Acta Cybern.	2017	DBLP DOI BibTeX RDF
17	James Laird	Intensional and Extensional Semantics of Bounded and Unbounded Nondeterminism.	CoRR	2017	DBLP BibTeX RDF
17	Klaus Keimel, Gordon D. Plotkin	Mixed powerdomains for probability and nondeterminism.	Log. Methods Comput. Sci.	2017	DBLP DOI BibTeX RDF
17	Alexandros Palioudakis, Kai Salomaa, Selim G. Akl	Worst Case Branching and Other Measures of Nondeterminism.	Int. J. Found. Comput. Sci.	2017	DBLP DOI BibTeX RDF
17	Suna Bensch, Maia Hoeberechts	On the Degree of Nondeterminism of Tree Adjoining Languages and Head Grammar Languages.	DCFS	2017	DBLP DOI BibTeX RDF
17	Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Manu Sridharan, Frank Tip, Koushik Sen	Repairing event race errors by controlling nondeterminism.	ICSE	2017	DBLP DOI BibTeX RDF
17	Jeffrey Finkelstein	Parallelism with limited nondeterminism		2017	RDF
17	Tarmo Uustalu	A divertimento on MonadPlus and nondeterminism.	J. Log. Algebraic Methods Program.	2016	DBLP DOI BibTeX RDF
17	Giora Alexandron, Michal Armoni, Michal Gordon, David Harel	Teaching Nondeterminism Through Programming.	Informatics Educ.	2016	DBLP DOI BibTeX RDF
17	Alexandros Palioudakis, Kai Salomaa, Selim G. Akl	Operational state complexity of unary NFAs with finite nondeterminism.	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
17	Konstantinos Mamouras	Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism.	Log. Methods Comput. Sci.	2016	DBLP DOI BibTeX RDF
17	Paul Beame, Nathan Grosshans, Pierre McKenzie, Luc Segoufin	Nondeterminism and an abstract formulation of Nečiporuk's lower bound method.	CoRR	2016	DBLP BibTeX RDF
17	Paul Beame, Nathan Grosshans, Pierre McKenzie, Luc Segoufin	Nondeterminism and An Abstract Formulation of Nečiporuk's Lower Bound Method.	ACM Trans. Comput. Theory	2016	DBLP DOI BibTeX RDF
17	Kai-Hui Chang, Hong-Zu Chou, Haiqian Yu, Dylan Dobbyn, Sy-Yen Kuo	Handling Nondeterminism in Logic Simulation so That Your Waveform Can Be Trusted Again.	IEEE Des. Test	2016	DBLP DOI BibTeX RDF
17	Sanjay Kumar 0002, Sukhdev Singh Gangwar	Intuitionistic Fuzzy Time Series: An Approach for Handling Nondeterminism in Time Series Forecasting.	IEEE Trans. Fuzzy Syst.	2016	DBLP DOI BibTeX RDF
17	Armando Castañeda, Damien Imbs, Sergio Rajsbaum, Michel Raynal	Generalized Symmetry Breaking Tasks and Nondeterminism in Concurrent Objects.	SIAM J. Comput.	2016	DBLP DOI BibTeX RDF
17	Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez 0001	Controllability Through Nondeterminism in Distributed Testing.	ICTSS	2016	DBLP DOI BibTeX RDF
17	Opeyemi O. Adesina, Timothy C. Lethbridge, Stéphane S. Somé	A Fully Automated Approach to Discovering Nondeterminism in State Machine Diagrams.	QUATIC	2016	DBLP DOI BibTeX RDF
17	Luca Aceto, Álvaro García-Pérez, Anna Ingólfsdóttir	Rule Formats for Bounded Nondeterminism in Structural Operational Semantics.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
17	Holger Spakowski	On Limited Nondeterminism and ACC Circuit Lower Bounds.	LATA	2016	DBLP DOI BibTeX RDF
17	Kent Kwee, Friedrich Otto	On the Effects of Nondeterminism on Ordered Restarting Automata.	SOFSEM	2016	DBLP DOI BibTeX RDF
17	James Laird	Sequential Algorithms for Unbounded Nondeterminism.	MFPS	2015	DBLP DOI BibTeX RDF
17	Alexandros Palioudakis, Kai Salomaa, Selim G. Akl	Unary NFAs, Limited Nondeterminism, and Chrobak Normal Form.	Int. J. Unconv. Comput.	2015	DBLP BibTeX RDF
17	Christian Ellen, Sebastian Gerwinn, Martin Fränzle	Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains.	Int. J. Softw. Tools Technol. Transf.	2015	DBLP DOI BibTeX RDF
17	Filippo Bonchi, Damien Pous	Hacking nondeterminism with induction and coinduction.	Commun. ACM	2015	DBLP DOI BibTeX RDF
17	Julian Gutierrez 0001	A Mathematical Game Semantics of Concurrency and Nondeterminism.	ICTAC	2015	DBLP DOI BibTeX RDF
17	Takeshi Tsukada, C.-H. Luke Ong	Nondeterminism in Game Semantics via Sheaves.	LICS	2015	DBLP DOI BibTeX RDF
17	Martin Hofmann 0001	Logical Relations and Nondeterminism.	Software, Services, and Systems	2015	DBLP DOI BibTeX RDF
17	Konstantinos Mamouras	Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism.	FoSSaCS	2015	DBLP DOI BibTeX RDF
17	Giordano Salvador, Siddharth Nilakantan, Baris Taskin, Mark Hempstead, Ankit More	Effects of Nondeterminism in Hardware and Software Simulation with Thread Mapping.	VLSID	2015	DBLP DOI BibTeX RDF
17	Jirí Adámek, Robert S. R. Myers, Henning Urbat, Stefan Milius	On Continuous Nondeterminism and State Minimality.	MFPS	2014	DBLP DOI BibTeX RDF
17	Hyojin Sung, Rakesh Komuravelli, Sarita V. Adve	DeNovoND: Efficient Hardware for Disciplined Nondeterminism.	IEEE Micro	2014	DBLP DOI BibTeX RDF
17	Stefan Kratsch	Co-Nondeterminism in Compositions: A Kernelization Lower Bound for a Ramsey-Type Problem.	ACM Trans. Algorithms	2014	DBLP DOI BibTeX RDF
17	Eric Allender, Klaus-Jörn Lange	Symmetry Coincides with Nondeterminism for Time-Bounded Auxiliary Pushdown Automata.	Theory Comput.	2014	DBLP DOI BibTeX RDF
17	Alexandros Palioudakis, Kai Salomaa, Selim G. Akl	Lower Bound for Converting an NFA with Finite Nondeterminism into an MDFA.	J. Autom. Lang. Comb.	2014	DBLP DOI BibTeX RDF
17	Marco Bernardo 0001, Rocco De Nicola, Michele Loreti	Relating strong behavioral equivalences for processes with nondeterminism and probabilities.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
17	Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene	Using SMT for dealing with nondeterminism in ASM-based runtime verification.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2014	DBLP DOI BibTeX RDF
17	Ozan Kahramanogullari	Interaction and Depth against Nondeterminism in Proof Search.	Log. Methods Comput. Sci.	2014	DBLP DOI BibTeX RDF
17		Computing group rank with limited nondeterminism.	CoRR	2014	DBLP BibTeX RDF
17	Ernst-Erich Doberkat, Pedro Sánchez Terraf	Stochastic Nondeterminism and Effectivity Functions.	CoRR	2014	DBLP BibTeX RDF
17	Stefan Kratsch, Marcin Pilipczuk, Ashutosh Rai 0001, Venkatesh Raman 0001	Kernel Lower Bounds using Co-Nondeterminism: Finding Induced Hereditary Subgraphs.	ACM Trans. Comput. Theory	2014	DBLP DOI BibTeX RDF
17	Zuzana Bednárová, Viliam Geffert, Carlo Mereghetti, Beatrice Palano	Removing nondeterminism in constant height pushdown automata.	Inf. Comput.	2014	DBLP DOI BibTeX RDF
17	Mahsa Varshosaz, Ramtin Khosravi	Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities.	APSEC (1)	2014	DBLP DOI BibTeX RDF
17	Martín Abadi, Jérémy Planul, Gordon D. Plotkin	Layout Randomization and Nondeterminism.	Horizons of the Mind	2014	DBLP DOI BibTeX RDF
17	Alexandros Palioudakis, Kai Salomaa, Selim G. Akl	State Complexity of Unary Language Operations for NFAs with Limited Nondeterminism.	DCFS	2014	DBLP DOI BibTeX RDF
17	Sang-Ki Ko, Yo-Sub Han	Left is Better than Right for Reducing Nondeterminism of NFAs.	CIAA	2014	DBLP DOI BibTeX RDF
17	Alexander Okhotin, Kai Salomaa	Input-Driven Pushdown Automata with Limited Nondeterminism - (Invited Paper).	Developments in Language Theory	2014	DBLP DOI BibTeX RDF
17	Ales Bizjak, Lars Birkedal, Marino Miculan	A Model of Countable Nondeterminism in Guarded Type Theory.	RTA-TLCA	2014	DBLP DOI BibTeX RDF
17	Tian Xiao, Jiaxing Zhang, Hucheng Zhou, Zhenyu Guo, Sean McDirmid, Wei Lin 0016, Wenguang Chen, Lidong Zhou	Nondeterminism in MapReduce considered harmful? an empirical study on non-commutative aggregators in MapReduce programs.	ICSE Companion	2014	DBLP DOI BibTeX RDF
17	Alexandros Palioudakis, Kai Salomaa, Selim G. Akl	Unary NFAs with Limited Nondeterminism.	SOFSEM	2014	DBLP DOI BibTeX RDF
17	Alexandros Palioudakis	State Complexity of Nondeterministic Finite Automata with Limited Nondeterminism.		2014	RDF
17	Martín Abadi, Jérémy Planul, Gordon D. Plotkin	Layout Randomization and Nondeterminism.	MFPS	2013	DBLP DOI BibTeX RDF
17	Nathaniel Bryans, Ehsan Chiniforooshan, David Doty, Lila Kari, Shinnosuke Seki	The Power of Nondeterminism in Self-Assembly.	Theory Comput.	2013	DBLP DOI BibTeX RDF
17	Marcos Villagra, Masaki Nakanishi, Shigeru Yamashita, Yasuhiko Nakashima	Tensor Rank and Strong Quantum Nondeterminism in Multiparty Communication.	IEICE Trans. Inf. Syst.	2013	DBLP DOI BibTeX RDF
17	Marco Bernardo 0001, Rocco De Nicola, Michele Loreti	A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities"	CoRR	2013	DBLP BibTeX RDF
17	Armin Hemmerling	On Regular Sets of Bounds and Determinism versus Nondeterminism.	CoRR	2013	DBLP BibTeX RDF
17	Lars Birkedal, Ales Bizjak, Jan Schwinghammer	Step-Indexed Relational Reasoning for Countable Nondeterminism.	Log. Methods Comput. Sci.	2013	DBLP DOI BibTeX RDF