Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
315 results · clear filters Sort: newest oldest name
- Automata and Formal Languages, 12th International Conference, AFL 2008, Balatonfüred, Hungary, May 27-30, 2008, Proceedings. (AFL)Computer and information sciencese10pqa6
- Agents and Peer-to-Peer Computing (AP2PC)Computer and information sciencese12hqjx
- Model-based Methodologies for Pervasive and Embedded Software, 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2008, Budapest, Hungary, April 5, 2008, Proceedings (MOMPES)Computer and information sciencese11k9n2
- SLA++P'08, Model-driven High-level Programming of Embedded Systems (SLA++P'08)Computer and information sciencese127ngr
- 2nd International Workshop on Foundations of Interface Technologies (FIT 2008)Computer and information sciencese12gr3x
- 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
- International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008)Mathematicse12cf0n
- European Conferences on Theory and Practice of Software (ETAPS 2008)Mathematicse12gkam
- 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
As JSON: https://labs.confref.org/api/search?field=1&country=HU&page=8