Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Timed vs. Time-triggered automata

Krčál, P.
Mokrushin, L.
Thiagarajan, P.S.
Yi, W.

Publication date

January 2004

DOI

10.1007/978-3-540-28644-8_22

ISSN

0302-9743

Citation count (estimate)

30

Abstract

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)3170340-35

Extracted data

Related items

Subdividing alpha complex

Cheng, H.-L.
Tan, T.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Variations on U-shaped learning

Carlucci, L.
Jain, S.
Kinber, E.
Stephan, F.

January 2005

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Multiple-time signature schemes against adaptive chosen message attacks

Pieprzyk, J.
Wang, H.
Xing, C.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Timed patterns: TCOZ to timed automata

Dong, J.S.
Hao, P.
Qin, S.C.
Sun, J.
Yi, W.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Verification of computation Orchestration via timed automata

Dong, J.S.
Liu, Y.
Sun, J.
Zhang, X.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lazy rectangular hybrid automata

Agrawal, M.
Thiagarajan, P.S.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Multimedia analysis and synthesis

Kankanhalli, M.S.

January 2003

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)290341-52LN...

Elsevier 183 Fundamental Study A theory of timed automata*

Rajeev Ah
David L. Dill

January 1991

Alur, R. and D.L. Dill, A theory of timed automata, Theoretical Computer Science 126 (1994

The XOO7 benchmark

Bressan, S.
Lee, M.L.
Li, Y.G.
Lacroix, Z.
Nambiar, U.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lee, M.L.
Yu, J.X.
Bellahsène, Z.
Unland, R.

January 2010

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Time oriented video summarization

Liu, C.
Xia, T.
Li, H.

January 2005

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Representing and executing real-time systems

Ramirez, R.

January 1998

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Minimizable Timed Automata

Springintveld, J.
Vaandrager, F.W.

January 1996

Contains fulltext : 93532.pdf (publisher's version ) (Closed access) ...

The Theory of Timed I/O Automata

Kaynar, D.K.
Lynch, N.A.
Segala, R.
Vaandrager, F.W.

January 2006

Contains fulltext : 35201.pdf (publisher's version ) (Closed access)xi, 101 p p

A machine learning approach for the duration of biomedical literature

Shi, M.
Edwin, D.S.
Menon, R.
Shen, L.
Lim, J.Y.K.
Loh, H.T.
Keerthi, S.S.
Ong, C.J.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Subdividing alpha complex

Cheng, H.-L.
Tan, T.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Variations on U-shaped learning

Carlucci, L.
Jain, S.
Kinber, E.
Stephan, F.

January 2005

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Multiple-time signature schemes against adaptive chosen message attacks

Pieprzyk, J.
Wang, H.
Xing, C.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Timed patterns: TCOZ to timed automata

Dong, J.S.
Hao, P.
Qin, S.C.
Sun, J.
Yi, W.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Verification of computation Orchestration via timed automata

Dong, J.S.
Liu, Y.
Sun, J.
Zhang, X.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lazy rectangular hybrid automata

Agrawal, M.
Thiagarajan, P.S.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Multimedia analysis and synthesis

Kankanhalli, M.S.

January 2003

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)290341-52LN...

Elsevier 183 Fundamental Study A theory of timed automata*

Rajeev Ah
David L. Dill

January 1991

Alur, R. and D.L. Dill, A theory of timed automata, Theoretical Computer Science 126 (1994

The XOO7 benchmark

Bressan, S.
Lee, M.L.
Li, Y.G.
Lacroix, Z.
Nambiar, U.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lee, M.L.
Yu, J.X.
Bellahsène, Z.
Unland, R.

January 2010

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Time oriented video summarization

Liu, C.
Xia, T.
Li, H.

January 2005

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Representing and executing real-time systems

Ramirez, R.

January 1998

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Minimizable Timed Automata

Springintveld, J.
Vaandrager, F.W.

January 1996

Contains fulltext : 93532.pdf (publisher's version ) (Closed access) ...

The Theory of Timed I/O Automata

Kaynar, D.K.
Lynch, N.A.
Segala, R.
Vaandrager, F.W.

January 2006

Contains fulltext : 35201.pdf (publisher's version ) (Closed access)xi, 101 p p

A machine learning approach for the duration of biomedical literature

Shi, M.
Edwin, D.S.
Menon, R.
Shen, L.
Lim, J.Y.K.
Loh, H.T.
Keerthi, S.S.
Ong, C.J.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Subdividing alpha complex

Cheng, H.-L.
Tan, T.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Variations on U-shaped learning

Carlucci, L.
Jain, S.
Kinber, E.
Stephan, F.

January 2005

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Multiple-time signature schemes against adaptive chosen message attacks

Pieprzyk, J.
Wang, H.
Xing, C.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...