Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
888 results · clear filters Sort: newest oldest name
- Complex Networks and Their Applications VIII - Volume 1 Proceedings of the Eighth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2019, Lisbon, Portugal, December 10-12, 2019. (COMPLEXNETWORKS)Computer and information sciencese10x6e1
- International Conference on Complex Networks and Their Applications (COMPLEX NETWORKS)Physical sciencese12mj01
- Sustainable Energy for Smart Cities - First EAI International Conference, SESC 2019, Braga, Portugal, December 4-6, 2019 (SESC 2019)Computer and information sciencese10hrjy
- 3rd EAI International Conference on Intelligent Transport Systems (EAI INTSYS 2019)Other engineering and technologiese127qwy
- International Conference on Intelligent Transport Systems (INTSYS)Computer and information sciencese12m9rs
- International Conference on Videogame Sciences and Arts (VJ)Computer and information sciencese12p7yb
- International Symposium on Wireless Personal Multimedia Communications (WPMC 2019, WPMC)Computer and information sciencesMedia and communicationse1204xx
- International Conference on Graphics and Interaction (ICGI 2019)Computer and information sciencese118ehw
- ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing (VipIMAGE)e12p6vj
- World Conference on Qualitative Research (WCQR)Computer and information sciencese12pbe8
- 45th Annual Conference of the IEEE Industrial Electronics Society (IECON 2019)Computer and information sciencesElectrical engineering, electronic engineering, information engineeringe11b91w
- International Conference of Tests and Proofs (TAP 2019, TAP@FM 2019)Computer and information sciencese10ed85
- Verification and Evaluation of Computer and Communication Systems - 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings (VECOS, VECoS 2019)Computer and information sciencese10etj3
- International Congress on Engineering and Sustainability in the XXI Century (INCREaSE)e12m835
- Tests and Proofs (TAP)Computer and information sciencese12p0fh
- International Conference on Tests and Proofs (TAP)Computer and information sciencese12p0ge
- Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings (SAS 2019, SAS)Computer and information sciencese10ernz
- Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers (LOPSTR 2019)Computer and information sciencese10etnx
- Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings (RV 2019, RV)Computer and information sciencese10ewdc
- Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings (UTP)Computer and information sciencese11xvvg
- 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2019)Philosophy, ethics and religione124zyr
- 13th International Conference on Mathematics of Program Construction (MPC 2019, MPC)Computer and information sciencese10embr
- 23rd International Symposium on Formal Methods (FM 2019, FM)MathematicsComputer and information sciencese113jj0
- Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, PPDP 2019, Porto, Portugal, October 7-9, 2019. (PPDP)Computer and information sciencese11p3j8
- Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (TFM)Computer and information sciencese11x3w6
As JSON: https://labs.confref.org/api/search?country=PT&from=2010&to=2019