Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
307 results · clear filters Sort: newest oldest name
- International Workshop on Runtime Verification (RV)Computer and information sciencese107enq
- International Conference on Compiler Construction (CC 2008, CC)Computer and information sciencese101ahf
- European Symposium on Programming (ESOP 2008, ESOP)Computer and information sciencese102x5k
- International Conference on Fundamental Approaches to Software Engineering (FASE 2008, FASE)MathematicsComputer and information sciencese1036tx
- International Conference on Foundations of Software Science and Computation Structure (FOSSACS 2008, FoSSaCS)MathematicsComputer and information sciencese103eqv
- International Symposium on Software Composition 2008 (SC 2008, SC)MathematicsComputer and information sciencese107yws
- International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS, TACAS@ETAPS 2008)Computer and information sciencese108913
- International Conference on Tools and Algorithms for the Construction and Analysis of Systemss 2008 (TACAS 2008)MathematicsComputer and information sciencese127d9f
- Proceedings of the 8th Workshop on Language Descriptions, Tools and Applications, LDTA 2008, Budapest, Hungary, April 5, 2008 (LDTA 2008, LDTA)Computer and information sciencese10hya9
- Global WordNet Conference (GWC) (WORDNET)Computer and information sciencese12pf4r
- Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, CMCS 2008, Budapest, Hungary, April 4-6, 2008Computer and information sciencese10wkjd
- Proceedings of the 5th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2008, Budapest, Hungary, March 29, 2008Computer and information sciencese113bcm
- Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008Computer and information sciencese11ha48
- Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC@ETAPS 2008, Budapest, Hungary, March 29, 2008Computer and information sciencese11n9qt
- Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, Budapest, Hungary, March 29-30, 2008Computer and information sciencese11phpj
- Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary, April 29, 2008Computer and information sciencese11qv83
- Proceedings of the Third International Workshop on Model-driven High-level Programming of Embedded Systems, SLA++P@ETAPS 2008, Budapest, Hungary, March 29, 2008Computer and information sciencese11v0ce
- Proceedings of the First Workshop on Generative Technologies, WGT@ETAPS 2008, Budapest, Hungary, April 5, 2008Computer and information sciencese11zcws
- Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008Computer and information sciencese1205jj
- 2nd International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, BIONETICS 2007, Budapest, Hungary, December 10-13, 2007 (BIONETICS)Computer and information sciencese10sk1p
- 2nd Bio-Inspired Models of Network, Information and Computing Systems (BIONETICS 2007)Computer and information sciencese12fng8
- Workshop of the Cross-Language Evaluation Forum for European Languages (CLEF)Computer and information sciencese101j34
- European Conference on Digital Libraries (ECDL 2007, ECDL)Computer and information sciencese102te4
- 16th Fundamentals of Computation Theory (FCT 2007, FCT)Computer and information sciencese1038rz
- International Conference on the Theory of Information Retrieval (ICTIR)Computer and information sciencese12kyjj
As JSON: https://labs.confref.org/api/search?field=1.2&country=HU&page=8