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,995 results · clear filters Sort: newest oldest name
- GAMEON (GAMEON)Computer and information sciencese12k71c
- iStar (ISTAR)Computer and information sciencese12mfe8
- Trading Agents Design and Analysis (TADA) (TADA)Computer and information sciencese12p00f
- Proceedings of the Third International Workshop on Bounded Model Checking, BMC@CAV 2005, Edinburgh, UK, July 11, 2005Computer and information sciencese10t2xc
- Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005Computer and information sciencese10tda8
- Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, CLASE 2005, Edinburgh, UK, April 9, 2005Computer and information sciencese10wcdz
- 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
As JSON: https://labs.confref.org/api/search?field=1&country=GB&page=92