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