Search Sciweavers | Sciweavers

3724 search results - page 35 / 745

» Timed regular expressions

127

click to vote

FMCAD
2008
Springer

101views Formal Methods» more FMCAD 2008»

Augmenting a Regular Expression-Based Temporal Logic with Local Variables

15 years 5 months ago

Download www.cs.huji.ac.il

The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...

Cindy Eisner, Dana Fisman

claim paper

Read More »

108

click to vote

DLT
2008

96views Theoretical Computer Science» more DLT 2008»

Provably Shorter Regular Expressions from Deterministic Finite Automata

15 years 5 months ago

Download www.informatik.uni-giessen.de

Hermann Gruber, Markus Holzer

claim paper

Read More »

117

click to vote

SPLST
2003

133views Programming Languages» more SPLST 2003»

Regular Expressions with Numerical Occurrence Indicators - preliminary results

15 years 5 months ago

Download www.cs.uku.fi

Pekka Kilpeläinen, Rauno Tuhkanen

claim paper

Read More »

109

Voted

CCR
2008

131views more CCR 2008»

An improved DFA for fast regular expression matching

15 years 3 months ago

Download www.nchovy.kr

Domenico Ficara, Stefano Giordano, Gregorio Procis...

claim paper

Read More »

113

click to vote

IANDC
2007

77views more IANDC 2007»

One-unambiguity of regular expressions with numeric occurrence indicators

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers