BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
logic (12)
program (11)
automata (9)
semant (6)
languag (5)

Stem nondetermin$ (all stems)

64 papers:

FoSSaCSFoSSaCS-2015-Mamouras #hoare #logic #nondeterminism #synthesis
Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism (KM), pp. 25–40.
LICSLICS-2015-TsukadaO #game studies #nondeterminism #semantics
Nondeterminism in Game Semantics via Sheaves (TT, CHLO), pp. 220–231.
CIAACIAA-2014-KoH #nondeterminism
Left is Better than Right for Reducing Nondeterminism of NFAs (SKK, YSH), pp. 238–251.
DLTDLT-2014-OkhotinS #automaton #nondeterminism
Input-Driven Pushdown Automata with Limited Nondeterminism — (Invited Paper) (AO, KS), pp. 84–102.
RTARTA-TLCA-2014-BizjakBM #nondeterminism #type system
A Model of Countable Nondeterminism in Guarded Type Theory (AB, LB, MM), pp. 108–123.
PLDIPLDI-2013-CookK #nondeterminism #reasoning #source code
Reasoning about nondeterminism in programs (BC, EK), pp. 219–230.
DLTDLT-J-2012-HromkovicKKS13 #automaton #logic #nondeterminism #representation
Determinism vs. Nondeterminism for Two-Way Automata: Representing the Meaning of States by Logical Formulæ (JH, RK, RK, RS), pp. 955–978.
ICALPICALP-v2-2013-BokerKKS #nondeterminism
Nondeterminism in the Presence of a Diverse or Unknown Future (UB, DK, OK, MS), pp. 89–100.
OOPSLAOOPSLA-2013-TrippKS #nondeterminism #parallel
Turning nondeterminism into parallelism (OT, EK, MS), pp. 589–604.
ASPLOSASPLOS-2013-HuntBCG #distributed #named #nondeterminism
DDOS: taming nondeterminism in distributed systems (NH, TB, LC, SDG), pp. 499–508.
STOCSTOC-2012-Ajtai #nondeterminism #testing
Determinism versus nondeterminism with arithmetic tests and computation: extended abstract (MA), pp. 249–268.
DLTDLT-2012-HromkovicKKS #automaton #logic #nondeterminism #representation
Determinism vs. Nondeterminism for Two-Way Automata — Representing the Meaning of States by Logical Formulæ (JH, RK, RK, RS), pp. 24–39.
LICSLICS-2012-McIverMM #information management #nondeterminism #probability
A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism (AM, LM, CM), pp. 461–470.
CASECASE-2011-MohajeraniMF #composition #nondeterminism #synthesis
Nondeterminism avoidance in compositional synthesis of discrete event systems (SM, RM, MF), pp. 19–24.
AFLAFL-2011-MedunaVZ #nondeterminism #on the
On Nondeterminism in Programmed Grammars (AM, LV, PZ), pp. 315–327.
ICALPICALP-v2-2011-Kapoutsis #nondeterminism
Nondeterminism Is Essential in Small 2FAs with Few Reversals (CAK), pp. 198–209.
POPLPOPL-2011-BocchinoHHAAWS #nondeterminism #parallel
Safe nondeterminism in a deterministic-by-default parallel language (RLBJ, SH, NH, SVA, VSA, AW, TS), pp. 535–548.
CSLCSL-2011-SchwinghammerB #nondeterminism #reasoning #relational
Step-Indexed Relational Reasoning for Countable Nondeterminism (JS, LB), pp. 512–524.
DATEDATE-2010-ChouYCDK #case study #design #nondeterminism #scalability
Finding reset nondeterminism in RTL designs — scalable X-analysis methodology and case study (HZC, HY, KHC, DD, SYK), pp. 1494–1499.
POPLPOPL-2010-BodikCGKTBR #nondeterminism #programming
Programming with angelic nondeterminism (RB, SC, JG, DK, NT, SB, CR), pp. 339–352.
FoSSaCSFoSSaCS-2009-NeuhausserSK #markov #nondeterminism #process
Delayed Nondeterminism in Continuous-Time Markov Decision Processes (MRN, MS, JPK), pp. 364–379.
FMFM-2009-ChenS #nondeterminism #probability
Unifying Probability with Nondeterminism (YC, JWS), pp. 467–482.
CSLCSL-2009-Laird #nondeterminism
Nondeterminism and Observable Sequentiality (JL), pp. 379–393.
ITiCSEITiCSE-2007-Ben-Ari #concurrent #education #nondeterminism
Teaching concurrency and nondeterminism with spin (MBA), pp. 363–364.
CIAACIAA-2007-KutribMW #automaton #nondeterminism
Regulated Nondeterminism in Pushdown Automata (MK, AM, LW), pp. 85–96.
CIAACIAA-2007-MrazPO #context-free grammar #nondeterminism
A Measure for the Degree of Nondeterminism of Context-Free Languages (FM, MP, FO), pp. 192–202.
FoSSaCSFoSSaCS-2006-Laird #abstraction #nondeterminism
Bidomains and Full Abstraction for Countable Nondeterminism (JL), pp. 352–366.
DLTDLT-2006-KutribM #automaton #nondeterminism
Context-Dependent Nondeterminism for Pushdown Automata (MK, AM), pp. 133–144.
QAPLQAPL-2006-WolfBM06a #nondeterminism #probability #semantics
Trace Semantics for Stochastic Systems with Nondeterminism (VW, CB, MEMC), pp. 187–204.
ICLPICLP-2005-BrasselH #analysis #functional #logic programming #nondeterminism #source code
Nondeterminism Analysis of Functional Logic Programs (BB, MH), pp. 265–279.
ICTSSTestCom-2005-MillerCLH #network #nondeterminism #protocol #testing
Coping with Nondeterminism in Network Protocol Testing (REM, DC, DL, RH), pp. 129–145.
DATEDATE-v1-2004-HeathBH #named #nondeterminism
Synchro-Tokens: Eliminating Nondeterminism to Enable Chip-Level Test of Globally-Asynchronous Locally-Synchronous SoC?s (MWH, WPB, IGH), pp. 410–415.
STOCSTOC-2004-HealyVV #nondeterminism #using
Using nondeterminism to amplify hardness (AH, SPV, EV), pp. 192–201.
DLTDLT-2003-HolzerK03a #automaton #nondeterminism
Flip-Pushdown Automata: Nondeterminism Is Better than Determinism (MH, MK), pp. 361–372.
ICALPICALP-2003-HromkovicS03a #automaton #finite #nondeterminism
Nondeterminism versus Determinism for Two-Way Finite Automata: Generalizations of Sipser’s Separation (JH, GS), pp. 439–451.
CSLCSL-2002-Nipkow #bound #hoare #logic #nondeterminism #recursion
Hoare Logics for Recursive Procedures and Unbounded Nondeterminism (TN), pp. 103–119.
ICALPICALP-2000-HromkovicKKSS #automaton #finite #metric #nondeterminism
Measures of Nondeterminism in Finite Automata (JH, JK, HK, GS, SS), pp. 199–210.
KRKR-2000-Giunchiglia #concurrent #constraints #nondeterminism #satisfiability
Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism (EG), pp. 657–666.
PPDPPPDP-2000-HanusS #functional #logic programming #nondeterminism #source code #type system
Type-based nondeterminism checking in functional logic programs (MH, FS), pp. 202–213.
ICLPICLP-1999-PedreschiR #bound #logic programming #nondeterminism #source code
Bounded Nondeterminism of Logic Programs (DP, SR), pp. 350–364.
LICSLICS-1999-HarmerM #finite #game studies #nondeterminism #semantics
A Fully Abstract Game Semantics for Finite Nondeterminism (RH, GM), pp. 422–430.
ICALPICALP-1997-Ablayev #branch #nondeterminism #order #source code
Randomization and Nondeterminism Are Comparable for Ordered Read-Once Branching Programs (FMA), pp. 195–202.
ICALPICALP-1997-BeigelF #bound #nondeterminism #performance #recursion
Molecular Computing, Bounded Nondeterminism, and Efficient Recursion (RB, BF), pp. 816–826.
POPLPOPL-1997-PettorossiPR #logic programming #nondeterminism #source code
Reducing Nondeterminism while Specializing Logic Programs (AP, MP, SR), pp. 414–427.
FMFME-1996-BoerH #communication #nondeterminism #process
Local Nondeterminism in Asynchronously Communicating Processes (FSdB, MvH), pp. 367–384.
DLTDLT-1995-SalomaaY #context-free grammar #nondeterminism
Nondeterminism Degrees for Context-Free Languages (KS, SY), pp. 154–165.
DLTDLT-1993-BordihnD #nondeterminism
A Note on the Degree of Nondeterminism (HB, JD), pp. 70–80.
TLCATLCA-1993-Sieber #call-by #nondeterminism
Call-by-Value and Nondeterminism (KS), pp. 376–390.
ICLPICLP-1991-KorslootT #compilation #concurrent #logic programming #programming language
Compilation Techniques for Nondeterminate Flat Concurrent Logic Programming Languages (MK, ET), pp. 457–471.
FPCAFPCA-1989-RufW #functional #logic #nondeterminism #programming #unification
Nondeterminism and Unification in LogScheme: Integrating Logic and Functional Programming (ER, DW), pp. 327–339.
ESOPESOP-1986-Kok #nondeterminism #semantics
Denotational Semantics of Nets with Nondeterminism (JNK), pp. 237–249.
STOCSTOC-1983-Kannan83a #nondeterminism #power of
Alternation and the Power of Nondeterminism (RK), pp. 344–346.
ICALPICALP-1982-BermanHT #logic #nondeterminism #on the #power of
On the Power of Nondeterminism in Dynamic Logic (PB, JYH, JT), pp. 48–60.
ICALPICALP-1981-AptP #nondeterminism
A Cook’s Tour of Countable Nondeterminism (KRA, GDP), pp. 479–494.
ICALPICALP-1981-Subrahmanyam #data type #nondeterminism
Nondeterminism in Abstract Data Types (PAS), pp. 148–164.
ICALPICALP-1980-Back #bound #nondeterminism #semantics
Semantics of Unbounded Nondeterminism (RJB), pp. 51–63.
ICALPICALP-1980-HennessyM #concurrent #nondeterminism #on the
On Observing Nondeterminism and Concurrency (MH, RM), pp. 299–309.
ICALPICALP-1980-KennawayH #formal method #nondeterminism
A Theory of Nondeterminism (RK, CARH), pp. 338–350.
ICALPICALP-1979-AstesianoC #nondeterminism
Sharing in Nondeterminism (EA, GC), pp. 1–15.
ICALPICALP-1979-MonienS #nondeterminism #on the #turing machine
On Eliminating Nondeterminism From Turing Machines Which Use Less Than Logarithmic Worktape Space (BM, IHS), pp. 431–445.
STOCSTOC-1978-SakodaS #automaton #finite #nondeterminism
Nondeterminism and the Size of Two Way Finite Automata (WJS, MS), pp. 275–286.
POPLPOPL-1978-HarelP #logic #nondeterminism #source code
Nondeterminism in Logics of Programs (DH, VRP), pp. 203–213.
STOCSTOC-1977-HennessyA #nondeterminism
Parameter-Passing Mechanisms and Nondeterminism (MH, EAA), pp. 306–311.
ICALPICALP-1976-HennessyA #nondeterminism #semantics
The Semantics of Nondeterminism (MH, EAA), pp. 478–493.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.