PROBABILISTIC APPROACHES
Experts
- Joost-Pieter Katoen
- Krishnendu Chatterjee
- Ugo Dal Lago
- Carroll Morgan
- Annabelle McIver
- Christel Baier
- Holger Hermanns
- Jan Peters
- Gilles Barthe
- Erika Ábrahám
- Jaume Abella
- Justin Hsu
- Gerhard Neumann
- Yuxin Deng
- James Worrell
- Antonín Kucera
- Petr Novotný
- Xuemin Lin
- Roberto Segala
- Thomas Ehrhard
- Matthew Hennessy
- Nancy A. Lynch
- Zoran Ognjanovic
- Jeremy Sproston
- Hongfei Fu
- Lijun Zhang
- Arjen P. de Vries
- Oded Goldreich
- Angelo Gilio
- Rob J. van Glabbeek
- Francisco J. Cazorla
- Ichiro Hasuo
- Krisztian Balog
- Gabriele Kern-Isberner
- Supriyo Datta
- Christine Tasson
- Michele Pagani
- Stefan Kiefer
- Philipp Hennig
Venues
- CoRR
- Theor. Comput. Sci.
- ICRA
- Int. J. Approx. Reason.
- UAI
- SIGIR
- Reliab. Eng. Syst. Saf.
- Electron. Notes Theor. Comput. Sci.
- IROS
- CONCUR
- STOC
- QEST
- LICS
- Proc. ACM Program. Lang.
- CVPR
- Inf. Sci.
- J. ACM
- CIKM
- IEEE Robotics Autom. Lett.
- AAAI
- Eur. J. Oper. Res.
- J. Comput. Syst. Sci.
- Inf. Process. Lett.
- NeurIPS
- Electron. Colloquium Comput. Complex.
- Inf. Control.
- IEEE Trans. Knowl. Data Eng.
- IEEE Trans. Inf. Theory
- Expert Syst. Appl.
- NIPS
- Formal Aspects Comput.
- ECOC
- ICASSP
- ICML
- ECAI
- ICALP
- Synth.
- Quantum Inf. Process.
- MFCS
Related Topics
Related Keywords
Popularity