TEMPORAL EPISTEMIC
Experts
- Alessio Lomuscio
- Ron van der Meyden
- Wojciech Penczek
- Angelo Montanari
- Laura Bozzelli
- Adriano Peron
- Alberto Molinari
- Francesco Belardinelli
- Omar I. Al-Bataineh
- Valentin Goranko
- Xiaowei Huang
- Aniello Murano
- Hongyang Qu
- Pietro Sala
- Vadim Malvone
- Wiebe van der Hoek
- Frank Wolter
- Catalin Dima
- Sasha Rubin
- Bastien Maubert
- Agi Kurucz
- Jakub Michaliszyn
- Michael J. Wooldridge
- Mads Dam
- Orna Grumberg
- Edmund M. Clarke
- Kaile Su
- Michael Zakharyaschev
- Gary D. Hachtel
- Audrey Yap
- Leonid Libkin
- Jamal Bentahar
- Mamadou Moustapha Kanté
- Cong Tian
- Manas K. Patra
- Stefania Costantini
- Rodica Bozianu
- Neil Immerman
- Norihiro Kamide
Venues
- CoRR
- AAMAS
- TIME
- Theor. Comput. Sci.
- CAV
- Fundam. Informaticae
- LICS
- Electron. Notes Theor. Comput. Sci.
- Formal Methods Syst. Des.
- J. Appl. Non Class. Logics
- Stud Logica
- RV
- TARK
- KR
- ICCAD
- AAAI
- Log. J. IGPL
- FSTTCS
- IJCAI
- Synth.
- Ann. Pure Appl. Log.
- JELIA
- J. Log. Comput.
- FoSSaCS
- ACM Trans. Comput. Log.
- J. Syst. Softw.
- DAC
- Fuzzy Sets Syst.
- J. Log. Lang. Inf.
- LPAR
- CSL
- J. Log. Algebraic Methods Program.
- LORI
- ICFEM
- Int. J. Softw. Tools Technol. Transf.
- MFCS
- ATVA
- Comput. J.
- CONCUR
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend