Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
898 results · clear filters Sort: newest oldest name
- International Conference on Formal Methods and Models for System Design (MEMOCODE 2019, MEMOCODE)MathematicsComputer and information sciencese11hn3z
- 23rd International Symposium on Formal Methods (FM 2019, FM)MathematicsComputer and information sciencese113jj0
- 35th IEEE International Conference on Software Maintenance and Evolution (ICSM, ICSME 2019)MathematicsComputer and information sciencese10eapb
- 2019 IEEE International Conference on Cluster Computing (CLUSTER, Cluster 2019)MathematicsComputer and information sciencese10wk4a
- International Symposium on Empirical Software Engineering and Measurement (ESEM 2019, ESEM)MathematicsComputer and information sciencese111x5m
- 17th International Conference on Software Engineering and Formal Methods (SEFM 2019, SEFM)MathematicsComputer and information sciencese11s1j4
- European Conference on Software Architecture (ECSA 2019, ECSA)MathematicsComputer and information sciencese10e7ng
- International Systems and Software Product Line Conference (SPLC 2019, SPLC)MathematicsComputer and information sciencese10hqx9
- European Symposium on Algorithms (ESA 2019, ESA)MathematicsComputer and information sciencese111vks
- 24th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2019, FMICS)MathematicsComputer and information sciencese113m4v
- 15th ACM/SIGEVO Workshop on Foundations of Genetic Algorithms (FOGA 2019, FOGA)MathematicsComputer and information sciencese10f43p
- International Symposium on Mathematical Foundations of Computer Science (MFCS 2019, MFCS)MathematicsComputer and information sciencese11hr2y
- 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2019)Mathematicse12gjdf
- 39th International Cryptology Conference (CRYPTO 2019, CRYPTO)MathematicsComputer and information sciencese10xqn1
- 44th International Symposium on Symbolic and Algebraic Computation (ISSAC 2019, ISSAC)MathematicsComputer and information sciencese11eh2c
- 26th International SPIN Symposium on Model Checking of Software (SPIN 2019, SPIN)MathematicsComputer and information sciencese11vy32
- 39th IEEE International Conference on Distributed Computing Systems (ICDCS 2019, ICDCS)MathematicsComputer and information sciencese117r79
- 13th ACM International Conference on Distributed Event-Based Systems (DEBS 2019, DEBS)MathematicsComputer and information sciencese10z25k
- 28th International Symposium on High-Performance Parallel and Distributed Computing (HPDC 2019, HPDC)MathematicsComputer and information sciencese115qmk
- ACM Symposium on Theory of Computing (STOC 2019, STOC)MathematicsComputer and information sciencese11wcpb
- Workshop on ns-3 (WNS3 2019, WNS3)MathematicsComputer and information sciencese11zvy6
- 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '19, EICS 2019)MathematicsComputer and information sciencese10f0tb
- 19th International Conference on Distributed Applications and Interoperable Systems (DAIS 2019, DAIS)MathematicsComputer and information sciencese10ykwn
- 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2019, FORTE)MathematicsComputer and information sciencese113ta9
- 15th International Conference on Distributed Computing in Sensor Systems (DCOSS 2019, DCOSS)MathematicsComputer and information sciencese10z0c7
As JSON: https://labs.confref.org/api/search?field=1.1&discipline=Q21198&page=7