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