HYBRID AUTOMATA
Experts
- Thomas A. Henzinger
- Xuandong Li
- Lei Bu
- Carla Piazza
- Alessandro D'Innocenzo
- Goran Frehse
- Maria Domenica Di Benedetto
- Sayan Mitra
- Christian Schilling
- Stefano Di Gennaro
- Alberto Casagrande
- Mahesh Viswanathan
- Bud Mishra
- Jan Daciuk
- Ashutosh Trivedi
- Raffaella Gentilini
- James Worrell
- Shankara Narayanan Krishna
- Domitilla Del Vecchio
- Joël Ouaknine
- Taylor T. Johnson
- Jean-François Raskin
- P. S. Thiagarajan
- Avinash Malik
- Werner Damm
- A. Agung Julius
- Fabio Zanasi
- Miriam GarcÃa Soto
- Partha S. Roop
- Thomas Brihaye
- Sergiy Bogomolov
- Klaus Schneider
- Peter W. Kopke
- Satoshi Yamane
- Tiziano Villa
- Laurent Doyen
- Alberto Bemporad
- Alberto Policriti
- Sumit Kumar Jha
Venues
- CoRR
- HSCC
- CDC
- Theor. Comput. Sci.
- FORMATS
- CIAA
- IEEE Trans. Autom. Control.
- Hybrid Systems
- Electron. Notes Theor. Comput. Sci.
- Int. J. Softw. Tools Technol. Transf.
- CONCUR
- J. Log. Algebraic Methods Program.
- ICRA
- ICFEM
- IEEE Trans. Computers
- Int. J. Found. Comput. Sci.
- ACC
- QEST
- KI
- ADHS
- ICALP
- J. Comput. Syst. Sci.
- Fundam. Informaticae
- CAV
- COMPSAC
- ECC
- Inf. Sci.
- ARCH@CPSWeek
- FMCAD
- Workshop on Implementing Automata
- Comput. Linguistics
- DCFS
- MFCS
- Inf. Comput.
- IACR Cryptol. ePrint Arch.
- Formal Methods Syst. Des.
- VMCAI
- SIAM J. Comput.
- ATVA
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend