Deadline for research and industrial paper submissions: May 31, 2006
Workshop Proposals due to the Workshop Chair: March 30, 2006
Tutorial Proposals due to the Tutorial Chair: May 31, 2006
Conference Date: Nov 6-11, 2006
A. Balasubramanian. Reachability Problems - 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings, volume 13608 of Lecture Notes in Computer Science, page 125--139. Springer, (2022)
A. Balasubramanian. 33rd International Conference on Concurrency Theory (CONCUR 2022), volume 243 of Leibniz International Proceedings in Informatics (LIPIcs), page 17:1--17:19. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2022)
A. Balasubramanian. 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020), volume 182 of Leibniz International Proceedings in Informatics (LIPIcs), page 37:1--37:15. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum für Informatik, (2020)#conference.
A. Balasubramanian. 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), volume 213 of Leibniz International Proceedings in Informatics (LIPIcs), page 35:1--35:16. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2021)
A. Balasubramanian, J. Esparza, and M. Raskin. Foundations of Software Science and Computation Structures - 24th International Conference, volume 12650 of Lecture Notes in Computer Science, page 42--61. Springer, (2021)
A. Balasubramanian, L. Guillou, and C. Weil-Kennedy. Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, volume 13242 of Lecture Notes in Computer Science, page 61--80. Springer, (2022)
A. Balasubramanian, and K. Thejaswini. 32nd International Conference on Concurrency Theory (CONCUR 2021), volume 203 of Leibniz International Proceedings in Informatics (LIPIcs), page 17:1--17:15. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2021)
A. Balasubramanian, and I. Walukiewicz. 31st International Conference on Concurrency Theory (CONCUR 2020), volume 171 of Leibniz International Proceedings in Informatics (LIPIcs), page 9:1--9:18. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum für Informatik, (2020)https://arxiv.org/abs/2004.09621.
A. Baldassarri, A. Puglisi, and A. Vulpiani. THE XV INTERNATIONAL CONGRESS ON RHEOLOGY: The Society of Rheology 80th Annual Meeting, 1027 (1):
911-913(2008)
A. Batsaikhan, C. Conrad, S. Asam, and D. Klein. Japan Society of Photogrammetry and Remote Sensing (JSPRS) Fall Conference 2017, Yamaguchi, Japan, (9.-10. 10 2017)
A. Batsaikhan, C. Conrad, S. Asam, and D. Klein. Japan Society of Photogrammetry and Remote Sensing (JSPRS) Fall Conference 2017, Yamaguchi, Japan, (9.-10. 10 2017)
G. Bauch, and G. Dietl. Proceedings of the IET Workshop on Smart Antennas and Cooperative Communications, London, United Kingdom, (October 2007)Invited Paper.
G. Bauch, and G. Dietl. Proceedings of the 15th International Conference on Telecommunications, ICT 2008, St. Petersburg, Russia, (June 2008)Invited Paper.
G. Bauch, and G. Dietl. Proceedings of the IET Seminar on Wideband and Ultrawideband Systems and Technologies, London, United Kingdom, (November 2008)Invited Paper.
S. Bazzi, G. Dietl, and W. Utschick. Proceedings of the Ninth International Symposium on Wireless Communication Systems, ISWCS 2012, Paris, France, (August 2012)Invited Paper.
S. Bazzi, G. Dietl, and W. Utschick. Proceedings of the 8th IEEE Sensor Array and Multichannel Signal Processing Workshop, SAM 2014, A Coruña, Spain, (June 2014)Invited Paper.
S. Bazzi, G. Dietl, and W. Utschick. Proceedings of the 9th International ITG Conference on Systems, Communications, and Coding, SCC 2015, Hamburg, Germany, (February 2015)
S. Bazzi, G. Dietl, and W. Utschick. Proceedings of the 13th IEEE Workshop on Signal Processing Advances in Wireless Communications, SPAWC 2012, Cesme, Turkey, (June 2012)
S. Bazzi, G. Dietl, and W. Utschick. Proceedings of the 13th IEEE Workshop on Signal Processing Advances in Wireless Communications, SPAWC 2012, Cesme, Turkey, (June 2012)
R. Becker, A. Casteigts, P. Crescenzi, B. Kodric, M. Renken, M. Raskin, and V. Zamaraev. Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2023, September 11-13, 2023, Atlanta, Georgia, USA, volume 275 of LIPIcs, page 29:1--29:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)https://arxiv.org/abs/2205.14888.
I. Berkovits, M. Lazic, G. Losa, O. Padon, and S. Shoham. Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II, volume 11562 of Lecture Notes in Computer Science, page 245--266. Springer, (2019)#conference.