Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Catriel Beeri, Michael Kifer |
A theory of intersection anomalies in relational database schemes. |
J. ACM |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Rodney R. Howell |
On the Complexity of Containment, Equivalence and Reachability for Finite and 2-Dimensional Vector Addition Systems with States. |
STACS |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Oscar H. Ibarra, Bala Ravikumar |
Relating the Degree of Ambiguity of Finite Automata to the Succinctness of their Representation. |
FSTTCS |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Matthew Hennessy |
Acceptance Trees |
J. ACM |
1985 |
DBLP DOI BibTeX RDF |
|
14 | Ilaria Castellani |
Bisimulations and Abstraction Homomorphisms. |
TAPSOFT, Vol.1 |
1985 |
DBLP DOI BibTeX RDF |
|
14 | Michael G. Main |
Free Constructions of Powerdomains. |
Mathematical Foundations of Programming Semantics |
1985 |
DBLP DOI BibTeX RDF |
|
14 | William D. Clinger, Charles Halpern |
Alternative Semantics for McCarthy's amb. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
14 | E. Allen Emerson, Joseph Y. Halpern |
"Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time. |
POPL |
1983 |
DBLP DOI BibTeX RDF |
|
14 | Albert R. Meyer, John C. Mitchell |
Axiomatic Definability and Completeness for Recursive Programs. |
POPL |
1982 |
DBLP DOI BibTeX RDF |
|
14 | Sten Andler |
Predicate Path Expressions. |
POPL |
1979 |
DBLP DOI BibTeX RDF |
|
14 | Egidio Astesiano, Gerardo Costa |
Sharing in Nondeterminism. |
ICALP |
1979 |
DBLP DOI BibTeX RDF |
|
14 | Janos Simon |
On the Difference Between One and Many (Preliminary Version). |
ICALP |
1977 |
DBLP DOI BibTeX RDF |
|
14 | John E. Hopcroft, Jeffrey D. Ullman |
Some Results on Tape-Bounded Turing Machines. |
J. ACM |
1969 |
DBLP DOI BibTeX RDF |
|
14 | Sha Qiao, Jun-e Feng, Ping Zhu 0001 |
Distribution-based limited fuzzy bisimulations for nondeterministic fuzzy transition systems. |
J. Frankl. Inst. |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Qi Heng Ho, Zachary N. Sunberg, Morteza Lahijanian |
Sampling-Based Reactive Synthesis for Nondeterministic Hybrid Systems. |
IEEE Robotics Autom. Lett. |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Matthew Abate, Mark Mote, Mehregan Dor, Corbin Klett, Sean Phillips, Kendra Lang, Panagiotis Tsiotras, Eric Feron, Samuel Coogan 0001 |
Run Time Assurance for Spacecraft Attitude Control Under Nondeterministic Assumptions. |
IEEE Trans. Control. Syst. Technol. |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Jianling Fu, Hui Jiang, Ming Xu, Yuxin Deng, Zhi-Bin Li 0005 |
Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Hao Wu, Yuxi Fu, Huan Long, Xian Xu 0001, Wenbo Zhang 0004 |
Analyzing Divergence for Nondeterministic Probabilistic Models. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Iddo Tzameret, Luming Zhang |
Stretching Demi-Bits and Nondeterministic-Secure Pseudorandomness. |
ITCS |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Tomoyuki Yamakami |
Unambiguous and Co-nondeterministic Computations of Finite Automata and Pushdown Automata Families and the Effects of Multiple Counters. |
TAMC |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Hongbo Zhang, Guang Wang 0001, Xu Wang 0029, Zhengyang Zhou, Chen Zhang, Zheng Dong 0002, Yang Wang 0015 |
NondBREM: Nondeterministic Offline Reinforcement Learning for Large-Scale Order Dispatching. |
AAAI |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Nicolas Chappe, Paul He, Ludovic Henrio, Yannick Zakowski, Steve Zdancewic |
Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Albert Benveniste, Jean-Baptiste Raclet |
Mixed Nondeterministic-Probabilistic Automata. |
Discret. Event Dyn. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Jingyuan Duan, Ling Tian, Kaiyang Li |
Event Predictability: A Uniform Form for IoT-Based Nondeterministic Social Systems. |
IEEE Internet Things J. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Mikhail Moshkov |
Time and space complexity of deterministic and nondeterministic decision trees. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Jinglun Li, Shigemasa Takai |
Maximally Permissive Supervisors for Nonblocking Similarity Control of Nondeterministic Discrete-Event Systems. |
IEEE Trans. Autom. Control. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Shigemasa Takai |
Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications. |
Autom. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Qian Chu, Jiahui Zhang, Xiaoguang Han 0002, Zhiwu Li 0001, Zengqiang Chen 0001 |
Infinite- and K-Step Opacity Verification of Discrete-Event Systems Under Nondeterministic Observations. |
J. Syst. Sci. Complex. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Yo-Sub Han, Sang-Ki Ko, Kai Salomaa |
Deciding path size of nondeterministic (and input-driven) pushdown automata. |
Theor. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Oliver A. S. Lyon, Kai Salomaa |
The nondeterministic state complexity of the site-directed deletion language operation. |
Theor. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Michal Hospodár, Viktor Olejár |
Nondeterministic operational complexity in subregular languages. |
Theor. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Iddo Tzameret, Luming Zhang |
Stretching Demi-Bits and Nondeterministic-Secure Pseudorandomness. |
Electron. Colloquium Comput. Complex. |
2023 |
DBLP BibTeX RDF |
|
14 | Tijana Minic, Marco T. Morazán |
Visualizing a Nondeterministic to Deterministic Finite-State Machine Transformation. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Azimkhon Ostonov, Mikhail Moshkov |
Deterministic and Strongly Nondeterministic Decision Trees for Decision Tables from Closed Classes. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Azimkhon Ostonov, Mikhail Moshkov |
Comparative Analysis of Deterministic and Nondeterministic Decision Trees for Decision Tables from Closed Classes. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Élie de Panafieu, Michael Wallner 0001 |
Combinatorics of nondeterministic walks. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Kerven Durdymyradov, Mikhail Moshkov |
A Local Approach to Studying the Time and Space Complexity of Deterministic and Nondeterministic Decision Trees. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Roberto Gorrieri |
The Algebra of Nondeterministic Finite Automata. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance |
Abstraction of Nondeterministic Situation Calculus Action Theories - Extended Version. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Iddo Tzameret, Luming Zhang |
Stretching Demi-Bits and Nondeterministic-Secure Pseudorandomness. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Brian DuSell |
Nondeterministic Stacks in Neural Networks. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu 0001 |
LTLf Best-Effort Synthesis in Nondeterministic Planning Domains. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Qi Heng Ho, Zachary N. Sunberg, Morteza Lahijanian |
Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Azimkhon Ostonov, Mikhail Moshkov |
Comparison of Deterministic and Nondeterministic Decision Trees for Decision Tables with Many-valued Decisions from Closed Classes. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Yuan Feng 0001, Yingte Xu |
Verification of Nondeterministic Quantum Programs. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Tomoyuki Yamakami |
Unambiguity and Fewness for Nonuniform Families of Polynomial-Size Nondeterministic Finite Automata. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Oliwia Kempinski, Marco T. Morazán |
Visualizing Why Nondeterministic Finite-State Automata Reject. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Giuseppe De Giacomo, Marco Favorito, Luciana Silo |
Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Mingchun Li, Dali Chen, Shixin Liu |
Beta network for boundary detection under nondeterministic labels. |
Knowl. Based Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Ying Xie, Xiaohui Liu, Mohammad S. Obaidat, Xiong Li 0002, Pandi Vijayakumar |
Nondeterministic Evaluation Mechanism for User Recruitment in Mobile Crowd-Sensing. |
ACM Trans. Sens. Networks |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Azimkhon Ostonov, Mikhail Moshkov |
On Complexity of Deterministic and Nondeterministic Decision Trees for Conventional Decision Tables from Closed Classes. |
Entropy |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Ning Luo, Chenkai Weng, Jaspal Singh, Gefei Tan, Ruzica Piskac, Mariana Raykova 0001 |
Privacy-Preserving Regular Expression Matching using Nondeterministic Finite Automata. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
14 | Frantisek Mráz, Friedrich Otto |
Non-returning deterministic and nondeterministic finite automata with translucent letters. |
RAIRO Theor. Informatics Appl. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Sha Qiao, Ping Zhu 0001, Jun-e Feng |
Fuzzy Bisimulations for Nondeterministic Fuzzy Transition Systems. |
IEEE Trans. Fuzzy Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Andrej Bogdanov, Alon Rosen |
Nondeterministic Interactive Refutations for Nearest Boolean Vector. |
ICALP |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Martin Kutrib, Andreas Malcher, Matthias Wendlandt |
Complexity of Exclusive Nondeterministic Finite Automata. |
DCFS |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Kevin Du, Ian Gemp, Yi Wu 0013, Yingying Wu |
AlphaSnake: Policy Iteration on a Nondeterministic NP-Hard Markov Decision Process (Student Abstract). |
AAAI |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Sewon Park 0001 |
Verified Exact Real Computation with Nondeterministic Functions and Limits. |
FCT |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu 0001 |
LTLf Best-Effort Synthesis in Nondeterministic Planning Domains. |
ECAI |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Yucheng Liu |
ε-Approximate Bisimulations for Nondeterministic Fuzzy Kripke Structures. |
NCTCS |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Kerven Durdymyradov, Mikhail Moshkov |
Time and Space Complexity of Deterministic and Nondeterministic Decision Trees: Local Approach. |
IEEE Big Data |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Giuseppe De Giacomo, Marco Favorito, Luciana Silo |
Composition of Nondeterministic Services for LTLf Task Specification. |
OVERLAY@AI*IA |
2023 |
DBLP BibTeX RDF |
|
14 | Azimkhon Ostonov, Mikhail Moshkov |
Deterministic and Nondeterministic Decision Trees for Decision Tables with Many-Valued Decisions from Closed Classes. |
IJCRS |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Brian DuSell, David Chiang 0001 |
The Surprising Computational Power of Nondeterministic Stack RNNs. |
ICLR |
2023 |
DBLP BibTeX RDF |
|
14 | Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance |
Abstraction of Nondeterministic Situation Calculus Action Theories. |
IJCAI |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Yuan Feng 0001, Yingte Xu |
Verification of Nondeterministic Quantum Programs. |
ASPLOS (3) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Jinglun Li, Shigemasa Takai |
Modular Similarity Control of Nondeterministic Discrete Event Systems With Modular Specifications. |
IEEE Control. Syst. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Tommaso Masciulli, Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto |
Output Feedback Reachability of Controlled-Observable States for Nondeterministic Finite-State Systems. |
IEEE Control. Syst. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Jinglun Li, Shigemasa Takai |
Maximally Permissive Modular Similarity Control of Composite Nondeterministic Discrete Event Systems. |
IEEE Control. Syst. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano |
Computational and Descriptional Power of Nondeterministic Iterated Uniform Finite-State Transducers. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Xerxes D. Arsiwalla, Jonathan Gorard, Hatem Elshatlawy |
Homotopies in Multiway (Nondeterministic) Rewriting Systems as n-Fold Categories. |
Complex Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Yang Yang 0026, Robert H. Deng, Ximeng Liu, Yongdong Wu, Jian Weng 0001, Xianghan Zheng, Chunming Rong |
Privacy-Preserving Medical Treatment System Through Nondeterministic Finite Automata. |
IEEE Trans. Cloud Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Yuting Li, Junhui Jiang, Seung Ho Hong |
Joint Traffic Routing and Scheduling Algorithm Eliminating the Nondeterministic Interruption for TSN Networks Used in IIoT. |
IEEE Internet Things J. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Guoying Zhang, Fen Hou, Lin Gao 0001, Guanghua Yang, Lin X. Cai |
Nondeterministic-Mobility-Based Incentive Mechanism for Efficient Data Collection in Crowdsensing. |
IEEE Internet Things J. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Wei Liao, Taotao Liang, Xiaohui Wei, Qiaozhi Yin |
Probabilistic reach-Avoid problems in nondeterministic systems with time-Varying targets and obstacles. |
Appl. Math. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Bjørn Kjos-Hanssen, Clyde James Felix, Sun Young Kim, Ethan Lamb, Davin Takahashi |
VC-dimensions of nondeterministic finite automata for words of equal length. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Yifan Xie, Xiang Yin 0003, Shaoyuan Li |
Opacity Enforcing Supervisory Control Using Nondeterministic Supervisors. |
IEEE Trans. Autom. Control. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Oliver A. S. Lyon, Kai Salomaa |
Nondeterministic State Complexity of Site-Directed Insertion. |
J. Autom. Lang. Comb. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Jinglun Li, Shigemasa Takai |
Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems. |
Autom. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Qizhe Yang, Yuxi Fu |
Counting nondeterministic computations. |
Theor. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | João Guilherme Fritsche Colombo, Jerusa Marchi |
A nondeterministic Turing machine variant to compute functions. |
Theor. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Zhipeng Zhang, Chengyi Xia, Jun Fu 0001, Zengqiang Chen 0001 |
Initial-State Observability of Mealy-Based Finite-State Machine With Nondeterministic Output Functions. |
IEEE Trans. Syst. Man Cybern. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Jiawan Wang, Lei Bu, Shaopeng Xing, Xuandong Li |
PDF: Path-Oriented, Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Marshall Ball, Dana Dachman-Soled, Julian Loss |
(Nondeterministic) Hardness vs. Non-Malleability. |
Electron. Colloquium Comput. Complex. |
2022 |
DBLP BibTeX RDF |
|
14 | Brian DuSell, David Chiang 0001 |
The Surprising Computational Power of Nondeterministic Stack RNNs. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Mikhail Moshkov |
Time and space complexity of deterministic and nondeterministic decision trees. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
14 | Kevin Du, Ian Gemp, Yi Wu 0013, Yingying Wu |
AlphaSnake: Policy Iteration on a Nondeterministic NP-hard Markov Decision Process. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano |
Computational and Descriptional Power of Nondeterministic Iterated Uniform Finite-State Transducers. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Albert Benveniste, Jean-Baptiste Raclet |
Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
14 | Nicolas Chappe, Paul He, Ludovic Henrio, Yannick Zakowski, Steve Zdancewic |
Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Joshua Moerman, Matteo Sammartino |
Residuality and Learning for Nondeterministic Nominal Automata. |
Log. Methods Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Wenjie Du, Yuxin Deng, Daniel Gebler |
Behavioural Pseudometrics for Nondeterministic Probabilistic Systems. |
Sci. Ann. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Ruolong Qi, Yuangui Tang, Ke Zhang |
An optimal visual servo trajectory planning method for manipulators based on system nondeterministic model. |
Robotica |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Marshall Ball, Dana Dachman-Soled, Julian Loss |
(Nondeterministic) Hardness vs. Non-Malleability. |
IACR Cryptol. ePrint Arch. |
2022 |
DBLP BibTeX RDF |
|
14 | Nina Yevtushenko 0001, Victor V. Kuliamin, Natalia Kushik |
Evaluating the complexity of deriving adaptive S'-homing and S'-synchronizing sequences for nondeterministic FSMs. |
Softw. Qual. J. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Bruno Guillon, Giovanni Pighizzini, Luca Prigioniero, Daniel Prusa |
Converting nondeterministic two-way automata into small deterministic linear-time machines. |
Inf. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Simon Beier, Markus Holzer 0001 |
Nondeterministic right one-way jumping finite automata. |
Inf. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Han Zhang, Lok Ming Lui |
Nondeterministic Deformation Analysis Using Quasiconformal Geometry. |
ICIP |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Sergej Scheck, Alexandre Niveau, Bruno Zanuttini |
A KC Map for Variants of Nondeterministic PDDL. |
JIAF |
2022 |
DBLP BibTeX RDF |
|
14 | Hendrik Maarand, Hellis Tamm |
Yet Another Canonical Nondeterministic Automaton. |
DCFS |
2022 |
DBLP DOI BibTeX RDF |
|