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
- 6th ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '14, EICS 2014)MathematicsComputer and information sciencese10f0x5
- 19th International Symposium on Formal Methods (FM 2014, FM)MathematicsComputer and information sciencese103bas
- NASA Formal Methods Symposium (NFM 2014, NFM)Computer and information sciencese106jjv
- Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected PapersComputer and information sciencese11s1ed
- Formal Methods in Computer-Aided Design 2013 (FMCAD 2013, FMCAD)Computer and information sciencese10fwg3
- 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2013, FMICS)MathematicsComputer and information sciencese103c44
- 5th ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '13, EICS 2013)MathematicsComputer and information sciencese10e1va
- Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected PapersComputer and information sciencese11s1df
- 18th International Symposium on Formal Methods (FM 2012, FM)MathematicsComputer and information sciencese103b9v
- 17th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2012, FMICS)MathematicsComputer and information sciencese103c36
- International Conference on Formal Methods and Models for Codesign (MEMOCODE 2012, MEMOCODE)MathematicsComputer and information sciencese11hmwd
- 4th ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '12, EICS 2012)MathematicsComputer and information sciencese10f0y3
- International Conference on Integrated Formal Methods (IFM 2012, IFM)Computer and information sciencese104xhp
- Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected PapersComputer and information sciencese11s1ch
- Formal Methods in Computer-Aided Design 2011 (FMCAD 2011, FMCAD)Computer and information sciencese10fwh1
- International Conference on Formal Engineering Methods (ICFEM 2011, ICFEM)MathematicsComputer and information sciencese104bga
- International Symposium on Formal Methods for Components and Objects (FMCO 2011, FMCO)Computer and information sciencese103btr
- 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2011, FMICS)MathematicsComputer and information sciencese103c28
- International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011, MEMOCODE)MathematicsComputer and information sciencese11hmvf
- 17th International Symposium on Formal Methods (FM 2011, FM)MathematicsComputer and information sciencese103b8x
- 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '11, EICS 2011)MathematicsComputer and information sciencese10f0z1
- NASA Formal Methods Symposium (NFM 2011, NFM)Computer and information sciencese106jf2
- Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), Pisa, Italy, June 13, 2011Computer and information sciencese1117mb
- Brazilian Symposium on Formal Methods (SBMF 2010, SBMF)Computer and information sciencese107m0w
- International Conference on Integrated Formal Methods (IFM 2010, IFM)Computer and information sciencese104xgr
As JSON: https://labs.confref.org/api/search?field=1&discipline=Q1049183&page=5