Sciweavers

3724 search results - page 67 / 745
» Timed regular expressions
Sort
View
112
Voted
LICS
1997
IEEE
15 years 7 months ago
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
P. S. Thiagarajan, Igor Walukiewicz
FORMATS
2008
Springer
15 years 4 months ago
Timed Automata with Integer Resets: Language Inclusion and Expressiveness
P. Vijay Suman, Paritosh K. Pandya, Shankara Naray...
85
Voted
ISMB
2003
15 years 4 months ago
Using hidden Markov models to analyze gene expression time course data
Alexander Schliep, Alexander Schönhuth, Chris...