-
Fundamentals of Computation Theory – 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings
2017 Springer International Publishing
-
Anonymous authentication based on blockchain and zero-knowledge proof for vehicular ad hoc networks
Chen, Xingxing ; Zhang, Xiaohong ; Zhong, Shaojiang ; Liu, Shuling
-
Distributed framework for high-quality graph partitioning
Sakouhi, Chayma ; Khaldi, Abir ; Ghezala, Henda Ben
-
A quantum protocol for enhanced blind millionaire problem without a pre-shared key based on single-qudit states
Li, Xiang-Rui ; Zhou, Yi-Hua ; Yang, Yu-Guang ; Shi, Wei-Min
-
A containerized Edge AI predictive maintenance infrastructure for rotating components using continuous wavelet transform images and Transformer UNet autoencoder for Industry 4.0
Keshavarz, Mohammad Ali ; Sharifian, Saeed
-
Formal leadership curriculum in United States surgical residency programs: a systematic review
Wahle, Charlotte F. ; Ryder, Michelle ; Berkane, Rania ; Mao, Yifan V. ; Virgilio, Christian de ; Bazargan-Hejazi, Shahrzad
-
WGLformer: a deep learning framework based on weighted differential attention and Gabor-BiLSTM for bearing fault diagnosis in noisy environments
Fang, Tingting ; Yao, Dechen ; Yang, Jianwei ; Zhou, Tao ; Ren, Yuteng ; Zhu, Bin
-
Types for Proofs and Programs – International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
2009 Springer Berlin Heidelberg
-
Verification, Model Checking, and Abstract Interpretation – 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings
McMillan, Kenneth L. ; Rival, Xavier 2014 Springer International Publishing
-
From Programs to Systems. The Systems perspective in Computing – ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings
Bensalem, Saddek ; Sifakis, Joseph ; Lakhneck, Yassine ; Legay, Axel 2014 Springer Berlin Heidelberg
-
Verification, Model Checking, and Abstract Interpretation – 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
D'Souza, Deepak ; Lal, Akash ; Larsen, Kim Gulstrand 2014 Springer Berlin Heidelberg
-
CIUTI-Forum New Needs, Translators & Programs – On the translational tasks of the United Nations
Lee-Jahnke, Hannelore ; Forstner, Martin 2011 Peter Lang AG, Internationaler Verlag der Wissenschaften
-
Trends in Functional Programming – 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
Loidl, Hans-Wolfgang ; Peña, Ricardo 2013 Springer Berlin Heidelberg
-
Advances in Cryptology – EUROCRYPT 2013 – 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings
Johansson, Thomas ; Nguyen, Phong 2013 Springer Berlin Heidelberg
-
Programming Languages and Systems – 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Felleisen, Matthias ; Gardner, Philippa 2013 Springer Berlin Heidelberg
-
Certified Programs and Proofs – Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
Hawblitzel, Chris ; Miller, Dale 2012 Springer Berlin Heidelberg
-
Modeling Decisions for Artificial Intelligence – 9th International Conference, MDAI 2012, Girona, Catalonia, Spain, November 21-23, 2012. Proceedings
Torra, Vicenç ; Narukawa, Yasuo ; Lopez, Beatriz ; Villaret, Mateu 2012 Springer Berlin Heidelberg
-
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change – 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
2012 Springer Berlin Heidelberg
-
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies – 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Margaria, Tiziana ; Steffen, Bernhard ; Merten, Maik 2012 Springer Berlin Heidelberg
-
Logics in Artificial Intelligence – 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings
Fariñas del Cerro, Luis ; Herzig, Andreas ; Mengin, Jérôme 2012 Springer Berlin Heidelberg