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