Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
24 results · clear filters Sort: newest oldest name
- Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, FMCAD 2025, Menlo Park, CA, USA, October 6-10, 2025Computer and information sciencese113kkx
- 31st IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2025, Irvine, CA, USA, May 6-9, 2025Computer and information sciencese11qk5h
- Proceedings of the 23rd ACM Conference on Embedded Networked Sensor Systems, SenSys 2025, UC Irvine Student Center, Irvine, CA, USA, May 6-9, 2025Computer and information sciencese11saf2
- Formal Methods in Computer-Aided Design 2023 (FMCAD 2023)Computer and information sciencese113kh1
- 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023Computer and information sciencese11qk3n
- 20th ACM Conference on Embedded Networked Sensor Systems (SenSys 2022)Computer and information sciencese11sac8
- Formal Methods in Computer-Aided Design 2021 (FMCAD 2021)Computer and information sciencese113kf6
- 27th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2021, Nashville, TN, USA, May 18-21, 2021Computer and information sciencese11qk1s
- Formal Methods in Computer-Aided Design 2019 (FMCAD 2019, FMCAD)Computer and information sciencese10fwf6
- Proceedings of the 1st Workshop on Machine Learning on Edge in Sensor Systems, SenSys-ML 2019, New York, NY, USA, November 10, 2019.Computer and information sciencese11s9pm
- Formal Methods in Computer-Aided Design 2018 (FMCAD 2018, FMCAD)Computer and information sciencese10e8c2
- Formal Methods in Computer-Aided Design 2016 (FMCAD 2016, FMCAD)Computer and information sciencese113kda
- Formal Methods in Computer-Aided Design 2015 (FMCAD 2015, FMCAD)Computer and information sciencese113kcc
- Formal Methods in Computer-Aided Design 2013 (FMCAD 2013, FMCAD)Computer and information sciencese10fwg3
- Formal Methods in Computer-Aided Design 2011 (FMCAD 2011, FMCAD)Computer and information sciencese10fwh1
- Formal Methods in Computer-Aided Design 2009 (FMCAD 2009, FMCAD)Computer and information sciencese113k8m
- Formal Methods in Computer-Aided Design 2008 (FMCAD 2008, FMCAD)Computer and information sciencese113k7p
- Formal Methods in Computer-Aided Design 2007 (FMCAD 2007, FMCAD)Computer and information sciencese113k6r
- Formal Methods in Computer-Aided Design 2006 (FMCAD 2006, FMCAD)Computer and information sciencese113k5t
- Formal Methods in Computer-Aided Design 2004 (FMCAD 2004, FMCAD)Computer and information sciencese103bha
- Formal Methods in Computer-Aided Design 2002 (FMCAD 2002, FMCAD)Computer and information sciencese103bgc
- Formal Methods in Computer-Aided Design 2000 (FMCAD 2000, FMCAD)Computer and information sciencese103bff
- Formal Methods in Computer-Aided Design 1998 (FMCAD 1998, FMCAD)Computer and information sciencese103beh
- Formal Methods in Computer-Aided Design 1996 (FMCAD 1996, FMCAD)Computer and information sciencese103bdk
As JSON: https://labs.confref.org/api/search?field=1.2&discipline=Q3966&country=US