CONSISTENCY CHECKING
Experts
- Alexander Egyed
- Constantin Enea
- Ahmed Bouajjani
- Malek Mouhoub
- Paolo Terenziani
- Manolis Koubarakis
- Irina Trubitsyna
- Sergio Greco
- Michael Gössel
- Jean-François Condotta
- Guido Governatori
- Sanjiang Li
- Michel Raynal
- Ian Horrocks
- Egor S. Sogomonyan
- Alfonso Gerevini
- Aggelos Kiayias
- Jochen Renz
- Viktor Vafeiadis
- Klaus-Dieter Schewe
- Romeo Rizzi
- Andrea C. Arpaci-Dusseau
- Remzi H. Arpaci-Dusseau
- Michael Alexander Tröls
- Gerhard Lakemeyer
- Ranadeep Biswas
- Atif Mashkoor
- Viktor Kuncak
- Rachid Guerraoui
- Matthieu Perrin
- Mahadevan Subramaniam
- Achour Mostéfaoui
- Volker Haarslev
- Meinolf Sellmann
- Luca Anselma
- Ori Lahav
- Lluís Vila
- Saeed Salehi
- Aniello Murano
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
- CogSci
- DAC
- Remote. Sens.
- Theor. Comput. Sci.
- Notre Dame J. Formal Log.
- ORE
- Softw. Pract. Exp.
- IACR Cryptol. ePrint Arch.
- J. Artif. Intell. Res.
- Theory Pract. Log. Program.
- CAV
- IEEE Trans. Knowl. Data Eng.
- Proc. ACM Program. Lang.
- ICML
- ICSE
- IROS
- Ann. Pure Appl. Log.
- ASE
- SAC
- ESOP
- IEEE Access
- Inf. Process. Lett.
- Int. J. Intell. Syst.
- IEEE Trans. Computers
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend