PRECISE DEFINITION
Experts
- Ben Smyth
- Dennis Hofheinz
- Dominique Unruh
- James Gallicchio
- Hüseyin Çakalli
- Stefan Mitsch
- Jon G. Riecke
- Elizabeth A. Quaglia
- Ariya Isihara
- Dimitri Hendriks
- Conor McBride
- Ashley Fraser
- Peter Gorm Larsen
- Jan Willem Klop
- Frédéric Blanqui
- Ferruccio Damiani
- Fredrik Nordvall Forsberg
- Neil Ghani
- Jörg Endrullis
- Rod M. Burstall
- André Platzer
- Yong Kiam Tan
- Gilles Barthe
- Andrew W. Appel
- Clemens Grabmayer
- Joseph A. Goguen
- Marek A. Bednarczyk
- Narayan C. Debnath
- Heike Wehrheim
- Giuseppe Ateniese
- Minna Rollins
- Saeid Arabestani
- Thomas Tonev
- Maria-Teresa Sagri
- Florian Girelli
- Emiel Krahmer
- David A. Schmidt
- Claire Gardent
- Michael Gelfond
Venues
- CoRR
- IACR Cryptol. ePrint Arch.
- RFC
- J. Symb. Log.
- LICS
- Theor. Comput. Sci.
- ACM SIGPLAN Notices
- Ann. Pure Appl. Log.
- FPCA
- IJCAR
- Synth.
- CADE
- Entropy
- Arch. Math. Log.
- Fundam. Informaticae
- Am. Math. Mon.
- Math. Struct. Comput. Sci.
- Inf. Comput.
- J. Autom. Reason.
- Rev. Symb. Log.
- J. Comb. Theory, Ser. A
- FCT
- Appl. Math. Lett.
- Kybernetika
- AICOL Workshops
- SIGMOD Rec.
- VDM Europe
- CHI
- FSKD
- IASTED Conf. on Software Engineering
- TSD
- Sci. China Inf. Sci.
- Discret. Math.
- ICFEM
- Comput. Math. Appl.
- SAC
- Acta Informatica
- ACL
- HICSS
Related Topics
Related Keywords
Popularity