Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|