Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
1,321 results · clear filters Sort: newest oldest name
- Modellierung 2014, 19.-21. März 2014, Wien, Österreich (MODELLIERUNG)Computer and information sciencese11k5xp
- Proceedings of the 2014 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, RAPIDO '14, 22 January, 2014, Vienna, Austria (RAPIDO)Computer and information sciencese11pr88
- SECRYPT 2014 - Proceedings of the 11th International Conference on Security and Cryptography, Vienna, Austria, 28-30 August, 2014 (SECRYPT)Computer and information sciencese11rzgc
- Sicherheit 2014: Sicherheit, Schutz und Zuverlässigkeit, Beiträge der 7. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 19.-21. März 2014, Wien, Österreich (SICHERHEIT)Computer and information sciencese11sm1m
- SIGMAP 2014 - Proceedings of the 11th International Conference on Signal Processing and Multimedia Applications, Vienna, Austria, 28-30 August, 2014 (SIGMAP)Computer and information sciencese11td3n
- Eurographics Workshop on Visual Computing for Biology and Medicine, VCBM 2014, Vienna, Austria, 2014. Proceedings (VCBM)Computer and information sciencese11xz11
- WINSYS 2014 - Proceedings of the 11th International Conference on Wireless Information Networks and Systems, Vienna, Austria, 28-30 August, 2014 (WINSYS)Computer and information sciencese11zjvn
- Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014. (ACL2)Computer and information sciencese120t10
- Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, UITP 2014, Vienna, Austria, 17th July 2014. (UITP)Computer and information sciencese120tca
- Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014. (LINEARITY)Computer and information sciencese120tms
- Proceedings Tenth International Workshop on Developments in Computational Models, DCM 2014, Vienna, Austria, 13th July 2014. (DCM)Computer and information sciencese120tqk
- International Conference on Logic Programming (ICLP)Computer and information sciencese12krzy
- Vienna Summer of Logic (VSL)Computer and information sciencese12p9ps
- Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014Computer and information sciencese10tfr9
- Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. ProceedingsComputer and information sciencese10tg97
- 4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014Computer and information sciencese10tgjm
- Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness, PRUV 2014, co-located with 7th International Joint Conference on Automated Reasoning (IJCAR 2014), Vienna, Austria, July 23-24, 2014.Computer and information sciencese10tgpc
- Data Management Technologies and Applications - Third International Conference, DATA 2014, Vienna, Austria, August 29-31, 2014, Revised Selected PapersComputer and information sciencese10yrrr
- Proceedings of the ECSA 2014 Workshops & Tool Demos Track, European Conference on Software Architecture, 2014, Vienna, AustriaComputer and information sciencese110kj5
- Proceedings of the 8th International Workshop on Interconnection Network Architecture - On-Chip, Multi-Chip, INA-OCMC 2014, Vienna, Austria, January 22, 2014Computer and information sciencese115c23
- DCNET 2014 - Proceedings of the 5th International Conference on Data Communication Networking, Vienna, Austria, 28-30 August, 2014Computer and information sciencese1188ve
- ICE-B 2014 - Proceedings of the 11th International Conference on e-Business, Vienna, Austria, 28-30 August, 2014Computer and information sciencese11895t
- OPTICS 2014 - Proceedings of the 5th International Conference on Optical Communication Systems, Vienna, Austria, 28-30 August, 2014Computer and information sciencese1189e8
- ICINCO 2014 - Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Vienna, Austria, 1 - 3 September, 2014Computer and information sciencese118q0p
- Informatics in Control, Automation and Robotics - 11th International Conference, ICINCO 2014 Vienna, Austria, September 2-4, 2014 Revised Selected PapersComputer and information sciencese118q1m
As JSON: https://labs.confref.org/api/search?field=1.2&country=AT&page=27