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