Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
208 results · clear filters Sort: newest oldest name
- International Conference on Fundamental Approaches to Software Engineering (FASE)MathematicsComputer and information sciencess109nt2
- Foundations of Software Science and Computational Structures (FOSSACS)MathematicsComputer and information sciencess109q85
- International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)MathematicsComputer and information sciencess10ans2
- SIAM Symposium on Algorithm Engineering and Experiments (ALENEX)MathematicsComputer and information sciencess1096xb
- International Conference on Computer Aided Verification (CAV)MathematicsComputer and information sciencess109b7k
- Advances in Cryptology - International Cryptology Conference (CRYPTO)MathematicsComputer and information sciencess109ex3
- IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS)MathematicsComputer and information sciencess109g7e
- Data Warehousing and Knowledge Discovery (DaWaK)MathematicsComputer and information sciencess109gfy
- European Symposium on Algorithms (ESA)MathematicsComputer and information sciencess109m3j
- European Joint Conferences on Theory and Practice of Software (ETAPS)MathematicsComputer and information sciencess109mgq
- International Symposium on Formal Methods (FM)MathematicsComputer and information sciencess109pnb
- International Workshop on Formal Methods for Industrial Critical Systems (FMICS)MathematicsComputer and information sciencess109ps3
- IFIP International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)MathematicsComputer and information sciencess109q69
- International Conference on Fun with Algorithms (FUN)MathematicsComputer and information sciencess109qp8
- International Conference on Software Engineering (ICSE)MathematicsComputer and information sciencess109yj9
- IEEE International Parallel and Distributed Processing Symposium (IPDPS)MathematicsComputer and information sciencess10a2g7
- International Symposium on Symbolic and Algebraic Computation (ISSAC)MathematicsComputer and information sciencess10a406
- International Symposium on Mathematical Foundations of Computer Science (MFCS)MathematicsComputer and information sciencess10a901
- ACM/IEEE International Conference on Model-Driven Engineering Languages and Systems (MODELS)MathematicsComputer and information sciencess10aagz
- International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ)MathematicsComputer and information sciencess10afra
- International Conference on Scientific and Statistical Data Base Management (SSDBM)MathematicsComputer and information sciencess10an2h
- International Symposium on Distributed Computing (DISC)MathematicsComputer and information sciencess10artx
- European Conference on Pattern Languages of Programs (EuroPLop)MathematicsComputer and information sciencess10awhb
- ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE)MathematicsComputer and information sciencess10axn2
- IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER)MathematicsComputer and information sciencess10az19
As JSON: https://labs.confref.org/api/search?field=1.1&from=1990&to=1999