Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
898 results · clear filters Sort: newest oldest name
- 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007, FMICS)MathematicsComputer and information sciencese103byg
- 16th international symposium on High performance distributed computing (HPDC 2007, HPDC)MathematicsComputer and information sciencese115qd2
- 27th International Conference on Distributed Computing Systems (ICDCS 2007, ICDCS)MathematicsComputer and information sciencese117qv1
- ACM Symposium on Theory of Computing (STOC 2007, STOC)MathematicsComputer and information sciencese11wca4
- International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007, MEMOCODE)MathematicsComputer and information sciencese11hmqq
- 21st IEEE International Parallel and Distributed Processing Symposium (IPDPS 2007, IPPS)MathematicsComputer and information sciencese11d62s
- International Conference on Fundamental Approaches to Software Engineering (FASE 2007, FASE)MathematicsComputer and information sciencese1036sz
- International Conference on Foundations of Software Science and Computation Structure (FOSSACS 2007, FoSSaCS)MathematicsComputer and information sciencese103epx
- International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007, TACAS)MathematicsComputer and information sciencese108905
- The 23rd European Workshop on Computational Geometry (EUROCG 2007)Mathematicse128p78
- Software Development Methodologies for Mobile ApplicationsMathematicsComputer and information sciencesPhilosophy, ethics and religione12ejhb
- 18th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2007, SODA)MathematicsComputer and information sciencese11vev1
- 14th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2006, SIGSOFT FSE 2006)MathematicsComputer and information sciencese10fc1j
- International Conference on Formal Engineering Methods (ICFEM 2006, ICFEM)MathematicsComputer and information sciencese104bbn
- 10th IEEE international symposium on Distributed Simulation and Real-Time Applications (DS-RT 2006, DSRT)MathematicsComputer and information sciencese10zymr
- IEEE International Conference on Source Code Analysis and Manipulation (SCAM 2006, SCAM)MathematicsComputer and information sciencese11rgnh
- 20th International Symposium on Distributed Computing (DISC 2006, DISC)MathematicsComputer and information sciencese108tjf
- Automated Software Engineering 2006 (ASE 2006, KBSE)MathematicsComputer and information sciencese11g2hq
- International Symposium on Mathematical Foundations of Computer Science (MFCS 2006, MFCS)MathematicsComputer and information sciencese10670b
- 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006, FMICS)MathematicsComputer and information sciencese103bxj
- 26th International Cryptology Conference (CRYPTO 2006, CRYPTO)MathematicsComputer and information sciencese101xre
- International Conference on Formal Methods and Models for Codesign (MEMOCODE 2006, MEMOCODE)MathematicsComputer and information sciencese11hmps
- International Symposium on Symbolic and Algebraic Computation 2006 (ISSAC 2006, ISSAC)MathematicsComputer and information sciencese11egn6
- European Conference on Object-Oriented Programming (ECOOP 2006, ECOOP)MathematicsComputer and information sciencese102hg8
- Quality of Software Architectures, Second International Conference on Quality of Software Architectures (QoSA)MathematicsComputer and information sciencese10776x
As JSON: https://labs.confref.org/api/search?field=1.1&discipline=Q21198&page=26