40 papers:
CIAA-2015-BrodaCFM #algebra- Deciding Synchronous Kleene Algebra with Derivatives (SB, SC, MF, NM), pp. 49–62.
DLT-2015-EsikFL #algebra- *-Continuous Kleene ω-Algebras (ZÉ, UF, AL), pp. 240–251.
ICALP-v2-2015-KozenMP0 #algebra- Nominal Kleene Coalgebra (DK, KM, DP, AS), pp. 286–298.
POPL-2015-Pous #algebra #algorithm #equivalence #testing- Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests (DP), pp. 357–368.
LICS-2015-BrunetP #automaton #petri net- Petri Automata for Kleene Allegories (PB, DP), pp. 68–79.
- CIAA-2014-JiraskovaPS
- Kleene Closure on Regular and Prefix-Free Languages (GJ, MP, JS), pp. 226–237.
- ICALP-v2-2014-KozenM #algebra #equation
- Kleene Algebra with Equations (DK, KM), pp. 280–292.
LOPSTR-2014-Danilenko #functional- Functional Kleene Closures (ND), pp. 241–258.
QAPL-2013-McIverRS #algebra #concurrent #probability- Probabilistic Concurrent Kleene Algebra (AM, TMR, GS), pp. 97–115.
CSL-2013-KozenM #algebra- Kleene Algebra with Products and Iteration Theories (DK, KM), pp. 415–431.
- DLT-J-2009-GazdagN11 #theorem
- A Kleene Theorem for Bisemigroup and binoid Languages (ZG, ZLN), pp. 427–446.
- DLT-2010-DrosteV #automaton #bound #logic #multi #theorem
- Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices (MD, HV), pp. 160–172.
FoSSaCS-2009-BonsangueRS #algebra #polynomial #theorem- A Kleene Theorem for Polynomial Coalgebras (MMB, JJMMR, AS), pp. 122–136.
LATA-2009-Strassburger #theorem- A Kleene Theorem for Forest Languages (LS), pp. 715–727.
- CSL-2009-Moschovakis #recursion #theorem
- Kleene’s Amazing Second Recursion Theorem (YNM), pp. 24–39.
- FoSSaCS-2008-DrosteQ #automaton #theorem
- A Kleene-Schützenberger Theorem for Weighted Timed Automata (MD, KQ), pp. 142–156.
AFL-2008-GazdagN #theorem- A Kleene Theorem for Binoid Languages (ZG, ZLN), pp. 170–182.
- AFL-2008-Pallo
- Kleene revisited by Suschkewitsch (JMP), pp. 337–348.
- LICS-2008-Kozen #algebra #testing
- Nonlocal Flow of Control and Kleene Algebra with Tests (DK), pp. 105–117.
CADE-2007-HofnerS #algebra #automation #reasoning- Automated Reasoning in Kleene Algebra (PH, GS), pp. 279–294.
- DLT-J-2005-BesC06 #linear #order #theorem #word
- A Kleene Theorem for Languages of Words Indexed by Linear Orderings (AB, OC), pp. 519–542.
- DLT-2005-BesC #linear #order #theorem #word
- A Kleene Theorem for Languages of Words Indexed by Linear Orderings (AB, OC), pp. 158–167.
- LICS-2005-Hardin #algebra #proving
- Proof Theory for Kleene Algebra (CH), pp. 290–299.
- DLT-2004-GenestMK #algorithm #automaton #communication #effectiveness #theorem
- A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms (BG, AM, DK), pp. 30–48.
- LOPSTR-2002-GutierrezR #calculus #type system #verification
- A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene (FG, BCR), pp. 17–31.
ESOP-2000-NielsonNS #analysis #mobile- A Kleene Analysis of Mobile Ambients (FN, HRN, SS), pp. 305–319.
CL-2000-KozenP #algebra #certification #compilation #optimisation #testing #using- Certification of Compiler Optimizations Using Kleene Algebra with Tests (DK, MCP), pp. 568–582.
- LICS-1999-HopkinsK #algebra #commutative #theorem
- Parikh’s Theorem in Commutative Kleene Algebra (MWH, DK), pp. 394–401.
- LICS-1999-Kozen #algebra #hoare #logic #on the #testing
- On Hoare Logic and Kleene Algebra with Tests (DK), pp. 167–172.
- LICS-1997-AsarinCM #automaton #theorem
- A Kleene Theorem for Timed Automata (EA, PC, OM), pp. 160–171.
- LICS-1997-Kozen #algebra #complexity #on the #reasoning
- On the Complexity of Reasoning in Kleene Algebra (DK), pp. 195–202.
TACAS-1996-Kozen #algebra #commutative- Kleene Algebra withTests and Commutativity Conditions (DK), pp. 14–33.
- CSL-1996-KozenS #algebra #decidability #testing
- Kleene Algebra with Tests: Completeness and Decidability (DK, FS), pp. 244–259.
- CADE-1994-KerberK #logic
- A Mechanization of Strong Kleene Logic for Partial Functions (MK, MK), pp. 371–385.
- CSL-1992-Smith #type system
- Kleene’s Slash and Existence of Values of Open Terms in Type Theory (JMS), pp. 395–402.
- ICALP-1991-GastinPZ #infinity #theorem
- A Kleene Theorem for Infinite Trace Languages (PG, AP, WZ), pp. 254–266.
- CSL-1991-Leiss #algebra #recursion #towards
- Towards Kleene Algebra with Recursion (HL), pp. 242–256.
- LICS-1991-Kozen #algebra #theorem
- A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events (DK), pp. 214–225.
- ICALP-1988-Schafer #approach #linear
- A Kleene-Presburgerian Approach to Linear Production Systems (JS), pp. 525–534.
- ICALP-1987-Kuich #theorem
- The Kleene and the Parikh Theorem in Complete Semirings (WK), pp. 212–225.
