66 citations found. Retrieving documents...
J. A. Brzozowski.
Derivatives of regular expressions
. J. ACM, 11(4):481--494, 1964.
Home/Search
Document Not in Database
Context
Related Articles
Check
This paper is cited by the following papers:
First 50 documents
Next 50
A Coalgebraic Approach to Kleene Algebra with Tests - Chen (2003)
(1 citation)
(Correct)
The Esterel v5 Language Primer - Version 5.21 release 2.0 - Berry (1999)
(Correct)
Unwinding Forward Correctability - Millen (1994)
(8 citations)
(Correct)
The Esterel v5 Language Primer - Version 5.10, release 2.0 - Berry (1998)
(Correct)
Learning Regular Languages using RFSAs - Denis, Lemay, Terlutte (2001)
(Correct)
Programmable Type Systems for Domain Specific Languages - Thiemann (2002)
(3 citations)
(Correct)
Learning Regular Languages using RFSA - Denis, Lemay, Terlutte (2001)
(Correct)
Incremental Program Analysis via Language Factors - de Moor, Drape, Lacey.. (2002)
(1 citation)
(Correct)
Well-Abstracted Transition Systems: Application to FIFO Automata - Finkel (2000)
(4 citations)
(Correct)
A Fast Regular Expression Indexing Engine - Cho, Rajagopalan (2001)
(4 citations)
(Correct)
The Esterel Synchronous Programming Language: Design.. - Berry, Gonthier (1992)
(443 citations)
(Correct)
On Preventing Intrusions by Process Behavior Monitoring - Sekar, Bowen, Segal (1999)
(6 citations)
(Correct)
Efficient Submatch Addressing for Regular Expressions - Laurikari
(Correct)
An Esterel Compiler for a Synchronous/Reactive Development System - Edwards (1994)
(Correct)
A typed representation for HTML and XML documents in Haskell - Thiemann (2001)
(18 citations)
(Correct)
From Regular Expressions to DFA's Using Compressed NFA's - Chang (1992)
(7 citations)
(Correct)
Normal Form Algorithms for Extended Context-Free Grammars - Albert, Giammarresi, Wood (2000)
(3 citations)
(Correct)
Regular Expressions into Finite Automata - Brüggemann-Klein (1996)
(3 citations)
(Correct)
Deterministic Regular Languages - Brüggemann-Klein, Wood (1991)
(Correct)
Algebraic Rewritings for Optimizing Regular Path Queries - Grahne, Thomo (2001)
(Correct)
Behavioural Differential Equations: A Coinductive Calculus of.. - Rutten (2000)
(Correct)
Rules and Strategies for Transforming Functional and Logic.. - Pettorossi, Proietti (1996)
(51 citations)
(Correct)
One-Unambiguous Regular Languages - Brüggemann-Klein, Wood (1997)
(10 citations)
(Correct)
Automata, Power Series, and Coinduction: taking input derivatives .. - Rutten (1999)
(Correct)
Regular Expressions into Finite Automata - Brüggemann-Klein
(3 citations)
(Correct)
Coalgebra, Concurrency, and Control - Rutten (1999)
(1 citation)
(Correct)
The Validation of SGML Content Models - Brüggemann-Klein, Wood (1995)
(Correct)
Regular Expressions into Finite Automata - Brüggemann-Klein
(3 citations)
(Correct)
Deterministic Regular Languages - Brüggemann-Klein, Wood
(Correct)
Automata and Coinduction (an exercise in coalgebra) - Rutten (1998)
(1 citation)
(Correct)
Well-Abstracted Transition Systems: Application to FIFO.. - Finkel, Iyer, Sutre (2000)
(4 citations)
(Correct)
An Optimization Technique for Answering Regular Path Queries - Grahne, Thomo (2000)
(Correct)
New Theoretical and Computational Results For Regular Languages - Chang, Paige (1991)
(Correct)
Loop-Free Alternating Finite Automata - Salomaa, Yu
(Correct)
An Algebraic Foundation for Adaptive Programming - Thiemann (1999)
(Correct)
Compiling Adaptive Programs by Partial Evaluation - Thiemann
(Correct)
Recognizing Regular Expressions by means of Dataflow Networks - Raymond (1996)
(9 citations)
(Correct)
Polymorphism and XDuce-style patterns - Vouillon
(Correct)
Pattern-matching and Rewriting Rules for Group Indexed.. - Giavitto, Michel, Cohen (2002)
(1 citation)
(Correct)
The Esterel v5 Language Primer - Version v5_91 - Berry (2000)
(5 citations)
(Correct)
Centrum voor Wiskunde en Informatica - Software Engineering The
(Correct)
Schema Validation and Type Annotation for Encoded Trees - Grust, Klinger
(Correct)
One-Unambiguous Regular Languages - Anne Bruggemann-Klein Derick (1998)
(10 citations)
(Correct)
Incremental Execution of Transformation Specifications - Ganesh Sittampalam Ganesh (2004)
(3 citations)
(Correct)
The Esterel v5 Language Primer - Version v5_91 - Berry (2000)
(5 citations)
(Correct)
Session Types for Asynchronous Communication - Neubauer, Thiemann
(Correct)
Algebra of Flownomials; Part 1: Binary Flownomials; Basic Theory - Stefanescu
(Correct)
Extending Regular Expressions with Context Operators and Parse.. - Kearns (1991)
(3 citations)
(Correct)
On The Composition Of Security Properties - Zakinthinos (1996)
(3 citations)
(Correct)
Algebra of Flownomials; Part 1: Binary Flownomials; Basic Theory - Stefanescu
(Correct)
First 50 documents
Next 50
Online articles have much greater impact
More about CiteSeer.IST
Add search form to your site
Submit documents
Feedback
CiteSeer.IST - Copyright
Penn State
and
NEC