CONSISTENCY CHECKING
Experts
- Alexander Egyed
- Constantin Enea
- Ahmed Bouajjani
- Manolis Koubarakis
- Paolo Terenziani
- Malek Mouhoub
- Irina Trubitsyna
- Sergio Greco
- Michael Gössel
- Guido Governatori
- Michel Raynal
- Sanjiang Li
- Jean-François Condotta
- Ian Horrocks
- Romeo Rizzi
- Jochen Renz
- Aggelos Kiayias
- Ranadeep Biswas
- Alfonso Gerevini
- Viktor Kuncak
- Gerhard Lakemeyer
- Remzi H. Arpaci-Dusseau
- Michael Alexander Tröls
- Klaus-Dieter Schewe
- Andrea C. Arpaci-Dusseau
- Atif Mashkoor
- Viktor Vafeiadis
- Egor S. Sogomonyan
- Ori Lahav
- Lluís Vila
- E. Allen Emerson
- Maroua Bouzid
- Aniello Murano
- Marcelo Arenas
- Meinolf Sellmann
- Martin C. Rinard
- Rina Dechter
- Cristian Molinaro
- Kostas Stergiou
Venues
- CoRR
- AAAI
- IJCAI
- TIME
- Artif. Intell.
- CP
- J. Symb. Log.
- ECAI
- KR
- ICTAI
- Description Logics
- Constraints An Int. J.
- CVPR
- Electron. Notes Theor. Comput. Sci.
- DATE
- DAC
- CogSci
- ORE
- Theor. Comput. Sci.
- Remote. Sens.
- Notre Dame J. Formal Log.
- IROS
- Softw. Pract. Exp.
- Ann. Pure Appl. Log.
- J. Artif. Intell. Res.
- IEEE Trans. Knowl. Data Eng.
- IEEE Access
- IACR Cryptol. ePrint Arch.
- ESOP
- CAV
- ICML
- SAC
- Theory Pract. Log. Program.
- ASE
- ICSE
- Proc. ACM Program. Lang.
- IEEE Trans. Computers
- Kybernetika
- Games Econ. Behav.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend