ACTIVE RULES
Experts
- Patrick Cousot
- Jürgen Giesl
- Danny De Schreye
- Roberto Giacobazzi
- Sharma Chakravarthy
- Aart Middeldorp
- Stefano Ceri
- Sergio Greco
- Francesco Ranzato
- Agostino Cortesi
- Radhia Cousot
- Bernhard Gramlich
- Salvador Lucas
- Stefano Paraboschi
- José Meseguer
- Nachum Dershowitz
- Peter Schneider-Kamp
- Hans Zantema
- Maurice Bruynooghe
- Michael Codish
- Christian Ferdinand
- René Thiemann
- Daniel Kroening
- Manuel V. Hermenegildo
- Isabella Mastroeni
- Susan Darling Urban
- Irina Trubitsyna
- Helmut Seidl
- Alexander Serebrenik
- James Bailey
- Alexandra Poulovassilis
- Giorgio Levi
- Nicoletta De Francesco
- Danilo Montesi
- Antoine Miné
- Cristian Molinaro
- Johannes Waldmann
- Suzanne W. Dietrich
- Marco Calautti
Venues
- CoRR
- SAS
- Theor. Comput. Sci.
- RTA
- Electron. Notes Theor. Comput. Sci.
- VMCAI
- ICLP
- ESOP
- Rules in Database Systems
- VLDB
- Sci. Comput. Program.
- Inf. Process. Lett.
- DEXA
- ACM Trans. Program. Lang. Syst.
- LOPSTR
- ICDE
- Theory Pract. Log. Program.
- Acta Informatica
- Proc. ACM Program. Lang.
- RuleML
- Inf. Syst.
- MFCS
- J. Philos. Log.
- Log. Methods Comput. Sci.
- CADE
- J. Log. Comput.
- SIGMOD Conference
- Data Knowl. Eng.
- Inf. Comput.
- PPDP
- IROS
- LPAR
- CTRS
- POPL
- IEEE Trans. Knowl. Data Eng.
- LICS
- Formal Methods Syst. Des.
- RIDE-ADS
- SEBD
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend