Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
189 results · clear filters Sort: newest oldest name
- 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2010, FMICS)MathematicsComputer and information sciencese103c1a
- International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010, MEMOCODE)MathematicsComputer and information sciencese11hmth
- 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '10, EICS 2010)MathematicsComputer and information sciencese10f10z
- International Conference on Formal Engineering Methods (ICFEM 2009, ICFEM)MathematicsComputer and information sciencese104bef
- International Symposium on Formal Methods for Components and Objects (FMCO 2009, FMCO)Computer and information sciencese103brw
- 16th International Symposium on Formal Methods (FM 2009, FM)MathematicsComputer and information sciencese103b7z
- 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009, FMICS)MathematicsComputer and information sciencese103c0c
- International Conference on Technical Formal Methods (TFM 2009, TFM)Computer and information sciencese108c10
- 1st ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '09, EICS 2009)MathematicsComputer and information sciencese10f11x
- ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009, MEMOCODE)MathematicsComputer and information sciencese11hmsk
- First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009. (NFM 2009, NFM)Computer and information sciencese10hjpw
- International Conference on Integrated Formal Methods (IFM 2009, IFM)Computer and information sciencese104xfv
- 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008, FMICS)MathematicsComputer and information sciencese103bze
- ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2008, MEMOCODE)MathematicsComputer and information sciencese11hmrn
- 15th International Symposium on Formal Methods (FM 2008, FM)MathematicsComputer and information sciencese103b61
- International Conference on Formal Engineering Methods (ICFEM 2007, ICFEM)MathematicsComputer and information sciencese104bck
- 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007, SEFM)MathematicsComputer and information sciencese11s18s
- International Conference on Integrated Formal Methods (IFM 2007, IFM)Computer and information sciencese104xex
- 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007, FMICS)MathematicsComputer and information sciencese103byg
- International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2007, FMOODS)Computer and information sciencese103cj7
- International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007, MEMOCODE)MathematicsComputer and information sciencese11hmqq
- International Conference on Formal Engineering Methods (ICFEM 2006, ICFEM)MathematicsComputer and information sciencese104bbn
- 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006, FMICS)MathematicsComputer and information sciencese103bxj
- International Conference on Formal Methods and Models for Codesign (MEMOCODE 2006, MEMOCODE)MathematicsComputer and information sciencese11hmps
- International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006, FMOODS)Computer and information sciencese103ch9
As JSON: https://labs.confref.org/api/search?field=1&discipline=Q1049183&page=6