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,357 results · clear filters Sort: newest oldest name
- Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)Computer and information sciencese108npc
- Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. (DL 2014, DLOG)Computer and information sciencese10jn6r
- VPT 2014. Second International Workshop on Verification and Program Transformation, July 17-18, 2014, Vienna, Austria, The workshop is an event of the Vienna Summer of Logic 2014 and it is co-located with the 26th International Conference on Computer Aided Verification CAV 2014 (VPT)Computer and information sciencese10tybn
- Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP '14, Vienna, Austria, July 17, 2014 (LFMTP)Computer and information sciencese11gtvb
- Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, SMT 2014, affiliated with the 26th International Conference on Computer Aided Verification (CAV 2014), the 7th International Joint Conference on Automated Reasoning (IJCAR 2014), and the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014), Vienna, Austria, July 17-18, 2014. (SMT)Computer and information sciencese11va1t
- Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014. (HCVS)Computer and information sciencese120td8
- IFIP Annual Conference on Data and Applications Security and Privacy (DBSec)Computer and information sciencese1025hj
- International Conference on Rewriting Techniques and Applications (RTA, TLCA)Computer and information sciencese107dwa
- International Conference on Theory and Applications of Satisfiability Testing (SAT 2014, SAT)Computer and information sciencese107kd3
- 23rd EACSL Annual Conference on Computer Science Logic (CSL 2014, CSL)Computer and information sciencesPhilosophy, ethics and religione10y1d6
- International Conference on Interactive Theorem Proving (ITP)Computer and information sciencese105ewd
- Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) co-located with the Vienna Summer of Logic (VSL 2014), Vienna, Austria, July 13, 2014. (ORE)Computer and information sciencese11mt8a
- Proceedings Fifth International Workshop on Classical Logic and Computation, CL&C 2014, Vienna, Austria, July 13, 2014. (CLANDC)Computer and information sciencese120tbc
- Proceedings 8th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2014, Vienna, Austria, July 13, 2014. (TERMGRAPH)Computer and information sciencese120tvb
- 12th International Workshop on Content-Based Multimedia Indexing, CBMI 2014, Klagenfurt, Austria, June 18-20, 2014 (CBMI)Computer and information sciencese10tz7w
- 2nd ACM Workshop on Information Hiding and Multimedia Security (IH, IH&MMSec 2014)Computer and information sciencese11bypw
- 2014 IEEE Conference on Evolving and Adaptive Intelligent Systems, EAIS 2014, Linz, Austria, June 2-4, 2014 (EAIS 2014, EAIS)Computer and information sciencese10fzd7
- 27th IEEE Conference on Software Engineering Education and Training, CSEE&T 2014, Klagenfurt, Austria, April 23-25, 2014 (CSEE, CSEE&T 2014)Computer and information sciencese10fq5z
- Health Informatics Meets eHealth - Outcomes Research: The Benefit of Health-IT, eHealth2014, Vienna, Austria, April 22-23, 2014 (EHEALTH2)Computer and information sciencese1113jk
- 11th Annual Conference on Wireless On-demand Network Systems and Services, WONS 2014, Obergurgl, Austria, April 2-4, 2014 (WONS)Computer and information sciencese11zyz1
- High Performance Embedded Architectures and Compilers (HIPEAC)Computer and information sciencese12kbqv
- International Conference on Software Quality (SWQD 2014, SWQD)Computer and information sciencesEconomics and businesse1087xc
- IFIP International Conference on Digital Forensics (DigitalForensics)Computer and information sciencese1028vv
- IFIP International Conference on Digital Forensics (DigitalForensics)Computer and information sciencese12jgpt
- IFIP WG11.9 Publications - Digital Forensics (IFIP11-9)Computer and information sciencese12m0zm
As JSON: https://labs.confref.org/api/search?field=1&country=AT&page=27