REFINEMENT PROCESS
Experts
- John Derrick
- Eerke A. Boiten
- Jim Woodcock
- Ana Cavalcanti
- Heike Wehrheim
- Steve Reeves
- Viorel Preoteasa
- Rafal Zdunek
- Gerhard Schellhorn
- Ursula Goltz
- Edmund M. Clarke
- Chuanxia Zheng
- Joakim von Wright
- Ralph-Johan Back
- Stavros Tripakis
- Tat-Jen Cham
- Thomas A. Henzinger
- Ranjit Jhala
- Jianfei Cai
- José P. Suárez
- Robert G. Reynolds
- Tomasz Sadowski
- Panagiotis Manolios
- Rolf Hennicker
- Elena Troubitsyna
- Augusto Sampaio
- Kim Solin
- Suhas N. Diggavi
- Michael Leuschel
- Ian J. Hayes
- Peter Lammich
- Walter Vogler
- Rob J. van Glabbeek
- Lin Zhou
- Angel Plaza
- Andreas Podelski
- Manfred Broy
- Qunsheng Peng
- Alexei Iliasov
Venues
- CoRR
- Electron. Notes Theor. Comput. Sci.
- Sci. Comput. Program.
- CAV
- Refine
- Formal Aspects Comput.
- ICFEM
- ICIP
- CVPR
- ISIT
- IEEE Access
- ICASSP
- TACAS
- IEEE Trans. Image Process.
- SAS
- Refine@FM
- Arch. Formal Proofs
- Theor. Comput. Sci.
- FME
- BMVC
- AAAI
- ACM Trans. Graph.
- Proc. ACM Program. Lang.
- SEFM
- CONCUR
- Comput. Graph.
- ICPR
- IEEE Trans. Pattern Anal. Mach. Intell.
- Description Logics
- J. Comb. Theory, Ser. A
- ECAI
- IJCAI
- IEEE Trans. Inf. Theory
- ZB
- Neurocomputing
- Comput. Graph. Forum
- LICS
- Comput. Math. Appl.
- Remote. Sens.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend