Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
2,936 results · clear filters Sort: newest oldest name
- Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April 3, 2005Computer and information sciencese10wtck
- 29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 1Computer and information sciencese10x76g
- RAM-SE'05-ECOOP'05 Workshop on Reflection, AOP, and Meta-Data for Software Evolution, Proceedings, Glasgow, UK, July 15, 2005Computer and information sciencese110grw
- Proceedings of the First Workshop on Formal Verification of Analog Circuits, FAC 2005, Edinburgh, UK, April 9, 2005Computer and information sciencese1131wx
- Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, FESCA@ETAPS 2005, Edinburgh, UK, April 9, 2005Computer and information sciencese113b9t
- E-business and Telecommunication Networks - Second International Conference, ICETE 2005, Reading, UK, October 3-7, 2005. Selected PapersComputer and information sciencese11899j
- Proceedings of the Third International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2005, Edinburgh, Scotland, UK, August 1, 2005Computer and information sciencese11gpea
- Proceedings of the Fifth Workshop on Language Descriptions, Tools, and Applications, LDTA@ETAPS 2005, Edinburgh, UK, April 3, 2005Computer and information sciencese11gswa
- Proceedings of the Second International Workshop on the Practical Application of Stochastic Modeling, PASM@FM 2005, Newcastle-upon-Tyne, UK, July 18, 2005Computer and information sciencese11n6k5
- Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, QAPL 2005, Edinburgh, UK, April 2-3, 2005Computer and information sciencese11phkr
- Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005Computer and information sciencese11q2cm
- Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV 2005, Edinburgh, UK, July 12, 2005Computer and information sciencese11qq1n
- Research and Development in Intelligent Systems XXII, Proceedings of AI-2005, the Twenty-fifth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, UK, 12-14 December 2005.Computer and information sciencese11sgb4
- Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005Computer and information sciencese11v9y0
- Proceedings of the 3rd Workshop on Software Model Checking, SoftMC@CAV 2005, Edinburgh, UK, July 11, 2005Computer and information sciencese11vhna
- Proceedings of the Third International Workshop on Software Verification and Validation, SVV@ICFEM 2005, Manchester, UK, October 31, 2005Computer and information sciencese11whyp
- Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005Computer and information sciencese120h8v
- 5th International Conference on Construction Applications of Virtual Reality (CONVR 2005)Computer and information sciencesCivil engineeringe12bhgm
- Research and Development in Intelligent Systems XXI, Proceedings of AI-2004, the Twenty-fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Queens' College, Cambridge, UK, 13-15 December 2004 (SGAI)Computer and information sciencese11sg8a
- 6th IEEE Workshop on Mobile Computing Systems and Applications (WMCSA 2004), 2-10 December 2004, Lake District National Park, UK (WMCSA)Computer and information sciencese11ztns
- Knowledge-Based Media Analysis for Self-Adaptive and Agile Multi-Media, Proceedings of the European Workshop for the Integration of Knowledge, Semantics and Digital Media Technology, EWIMT 2004, November 25-26, 2004, London, UK (EWIMT)Computer and information sciencese112xgv
- FIMI '04, Proceedings of the IEEE ICDM Workshop on Frequent Itemset Mining Implementations, Brighton, UK, November 1, 2004 (FIMI)Computer and information sciencese113f32
- 14th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2004, EKAW)Computer and information sciencese102nz6
- International Conference on Parallel Problem Solving from Nature (PPSN)Computer and information sciencese1070bt
- Workshop of the Cross-Language Evaluation Forum for European Languages (CLEF)Computer and information sciencese101j0a
As JSON: https://labs.confref.org/api/search?field=1.2&country=GB&page=90