PRECISE DEFINITION
Experts
- Ben Smyth
- Dominique Unruh
- Dennis Hofheinz
- Dimitri Hendriks
- Ashley Fraser
- Ferruccio Damiani
- Jon G. Riecke
- Neil Ghani
- Clemens Grabmayer
- Jan Willem Klop
- Andrew W. Appel
- James Gallicchio
- Elizabeth A. Quaglia
- Hüseyin Çakalli
- Peter Gorm Larsen
- Gilles Barthe
- Rod M. Burstall
- Ariya Isihara
- André Platzer
- Joseph A. Goguen
- Yong Kiam Tan
- Stefan Mitsch
- Fredrik Nordvall Forsberg
- Conor McBride
- Frédéric Blanqui
- Jörg Endrullis
- Jonah Blasiak
- Ulrich Herberg
- Qingsheng Li
- Tim Sheard
- Min Zhang
- Marshall T. Rose
- Heike Wehrheim
- George Livadiotis
- Jeff Z. Pan
- Manuel Palomar
- Mark Moir
- Narayan C. Debnath
- Wilfried Lemahieu
Venues
- CoRR
- IACR Cryptol. ePrint Arch.
- J. Symb. Log.
- RFC
- Theor. Comput. Sci.
- LICS
- Ann. Pure Appl. Log.
- FPCA
- CADE
- ACM SIGPLAN Notices
- IJCAR
- Synth.
- Fundam. Informaticae
- FCT
- Math. Struct. Comput. Sci.
- Rev. Symb. Log.
- Am. Math. Mon.
- Appl. Math. Lett.
- Inf. Comput.
- J. Autom. Reason.
- J. Comb. Theory, Ser. A
- Entropy
- Arch. Math. Log.
- Description Logics
- J. Biomed. Informatics
- CTRS
- SIGMOD Rec.
- Scientometrics
- Arch. Mus. Informatics
- ICWS
- IEEE Trans. Inf. Theory
- FMCAD
- SEW
- TAG+
- FSKD
- Sci. China Inf. Sci.
- ICCNMC
- ICIQ
- WWW (Special interest tracks and posters)
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend