default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLecture Notes in Computer Science (LNCS), Volumes 14500-14599
14500Rayna Dimitrova, Ori Lahav
, Sebastian Wolff:
Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14500, Springer 2024, ISBN 978-3-031-50520-1 [contents]- 14501Stéphane Devismes, Partha Sarathi Mandal, V. Vijaya Saradhi, Bhanu Prasad, Anisur Rahaman Molla, Gokarna Sharma:
Distributed Computing and Intelligent Technology - 20th International Conference, ICDCIT 2024, Bhubaneswar, India, January 17-20, 2024, Proceedings. Lecture Notes in Computer Science 14501, Springer 2024, ISBN 978-3-031-50582-9 [contents] - 14502Hiram Calvo, Lourdes Martínez-Villaseñor, Hiram Ponce, Ramón Zataraín-Cabada, Martín Montes Rivera, Efrén Mezura-Montes:
Advances in Computational Intelligence. MICAI 2023 International Workshops - WILE 2023, HIS 2023, and CIAPP 2023, Yucatán, Mexico, November 13-18, 2023, Proceedings. Lecture Notes in Computer Science 14502, Springer 2024, ISBN 978-3-031-51939-0 [contents] - 14503Hai Jin, Zhiwen Yu, Chen Yu, Xiaokang Zhou, Zeguang Lu, Xianhua Song:
Green, Pervasive, and Cloud Computing - 18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I. Lecture Notes in Computer Science 14503, Springer 2024, ISBN 978-981-99-9892-0 [contents] - 14504Hai Jin, Zhiwen Yu, Chen Yu, Xiaokang Zhou, Zeguang Lu, Xianhua Song:
Green, Pervasive, and Cloud Computing - 18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023, Proceedings, Part II. Lecture Notes in Computer Science 14504, Springer 2024, ISBN 978-981-99-9895-1 [contents] - ...….
- 14507Oscar Camara, Esther Puyol-Antón, Maxime Sermesant, Avan Suinesiaputra, Qian Tao, Chengyan Wang, Alistair A. Young:
Statistical Atlases and Computational Models of the Heart. Regular and CMRxRecon Challenge Papers - 14th International Workshop, STACOM 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14507, Springer 2024, ISBN 978-3-031-52447-9 [contents] - 14508Subrahmanyam Kalyanasundaram, Anil Maheshwari:
Algorithms and Discrete Applied Mathematics - 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024, Proceedings. Lecture Notes in Computer Science 14508, Springer 2024, ISBN 978-3-031-52212-3 [contents] - 14509Jaideep Vaidya, Moncef Gabbouj, Jin Li:
Artificial Intelligence Security and Privacy - First International Conference on Artificial Intelligence Security and Privacy, AIS&P 2023, Guangzhou, China, December 3-5, 2023, Proceedings, Part I. Lecture Notes in Computer Science 14509, Springer 2024, ISBN 978-981-99-9784-8 [contents] - 14510Jaideep Vaidya, Moncef Gabbouj, Jin Li:
Artificial Intelligence Security and Privacy - First International Conference on Artificial Intelligence Security and Privacy, AIS&P 2023, Guangzhou, China, December 3-5, 2023, Proceedings, Part II. Lecture Notes in Computer Science 14510, Springer 2024, ISBN 978-981-99-9787-9 [contents] - 14511Bin Ma, Jian Li, Qi Li:
Digital Forensics and Watermarking - 22nd International Workshop, IWDW 2023, Jinan, China, November 25-26, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14511, Springer 2024, ISBN 978-981-97-2584-7 [contents] - 14512Martin Gebser, Ilya Sergey:
Practical Aspects of Declarative Languages - 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings. Lecture Notes in Computer Science 14512, Springer 2023, ISBN 978-3-031-52037-2 [contents] - 14513Martina Vettoretti, Erica Tavazzi, Enrico Longato, Giacomo Baruzzo, Massimo Bellato:
Computational Intelligence Methods for Bioinformatics and Biostatistics - 18th International Meeting, CIBB 2023, Padua, Italy, September 6-8, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14513, Springer 2025, ISBN 978-3-031-90713-5 [contents] - 14514Minghui Dong, Jia-Fei Hong, Jingxia Lin, Peng Jin:
Chinese Lexical Semantics - 24th Workshop, CLSW 2023, Singapore, Singapore, May 19-21, 2023, Revised Selected Papers, Part I. Lecture Notes in Computer Science 14514, Springer 2024, ISBN 978-981-97-0582-5 [contents] - 14515Minghui Dong, Jia-Fei Hong, Jingxia Lin, Peng Jin:
Chinese Lexical Semantics - 24th Workshop, CLSW 2023, Singapore, Singapore, May 19-21, 2023, Revised Selected Papers, Part II. Lecture Notes in Computer Science 14515, Springer 2024, ISBN 978-981-97-0585-6 [contents] - 14516Shelly Sachdeva, Yutaka Watanobe:
Big Data Analytics in Astronomy, Science, and Engineering - 11th International Conference on Big Data Analytics, BDA 2023, Aizu, Japan, December 5-7, 2023, Proceedings. Lecture Notes in Computer Science 14516, Springer 2024, ISBN 978-3-031-58501-2 [contents] - 14517Michael D. Harrison, Célia Martinie, Nicholas Micallef, Philippe A. Palanque, Albrecht Schmidt, Marco Winckler, Enes Yigitbas, Luciana A. M. Zaina:
Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium - Swansea, UK, June 26-27, 2023, Selected Papers. Lecture Notes in Computer Science 14517, Springer 2024, ISBN 978-3-031-59234-8 [contents] - ...….
- 14519Henning Fernau, Serge Gaspers, Ralf Klasing:
SOFSEM 2024: Theory and Practice of Computer Science - 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings. Lecture Notes in Computer Science 14519, Springer 2024, ISBN 978-3-031-52112-6 [contents] - 14520Nardine Osman, Luc Steels:
Value Engineering in Artificial Intelligence - First International Workshop, VALE 2023, Krakow, Poland, September 30, 2023, Proceedings. Lecture Notes in Computer Science 14520, Springer 2024, ISBN 978-3-031-58204-2 [contents] - 14521Sascha Hunold, Biwei Xie, Kai Shu:
Benchmarking, Measuring, and Optimizing - 15th BenchCouncil International Symposium, Bench 2023, Sanya, China, December 3-5, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14521, Springer 2024, ISBN 978-981-97-0315-9 [contents] - 14522Jean Baratgin, Baptiste Jacquet, Hiroshi Yama:
Human and Artificial Rationalities - Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings. Lecture Notes in Computer Science 14522, Springer 2024, ISBN 978-3-031-55244-1 [contents] - 14523Fabio Cuzzolin, Maryam Sultana:
Epistemic Uncertainty in Artificial Intelligence - First International Workshop, Epi UAI 2023, Pittsburgh, PA, USA, August 4, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14523, Springer 2024, ISBN 978-3-031-57962-2 [contents] - ...….
- 14526Chunpeng Ge, Moti Yung:
Information Security and Cryptology - 19th International Conference, Inscrypt 2023, Hangzhou, China, December 9-10, 2023, Revised Selected Papers, Part I. Lecture Notes in Computer Science 14526, Springer 2024, ISBN 978-981-97-0941-0 [contents] - 14527Chunpeng Ge, Moti Yung:
Information Security and Cryptology - 19th International Conference, Inscrypt 2023, Hangzhou, China, December 9-10, 2023, Revised Selected Papers, Part II. Lecture Notes in Computer Science 14527, Springer 2024, ISBN 978-981-97-0944-1 [contents] - 14528Michael Hartisch, Chu-Hsuan Hsueh, Jonathan Schaeffer:
Advances in Computer Games - 18th International Conference, ACG 2023, Virtual Event, November 28-30, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14528, Springer 2024, ISBN 978-3-031-54967-0 [contents] - 14529Abderrahim Ait Wakrime, Guillermo Navarro-Arribas, Frédéric Cuppens, Nora Cuppens, Rédouane Benaini:
Risks and Security of Internet and Systems - 18th International Conference, CRiSIS 2023, Rabat, Morocco, December 6-8, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14529, Springer 2024, ISBN 978-3-031-61230-5 [contents] - 14530Shivam Bhasin, Thomas Roche:
Smart Card Research and Advanced Applications - 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14530, Springer 2024, ISBN 978-3-031-54408-8 [contents] - ...….
- 14531Bong Jun Choi, Dhananjay Singh, Uma Shanker Tiwary, Wan-Young Chung:
Intelligent Human Computer Interaction - 15th International Conference, IHCI 2023, Daegu, South Korea, November 8-10, 2023, Revised Selected Papers, Part I. Lecture Notes in Computer Science 14531, Springer 2024, ISBN 978-3-031-53826-1 [contents] - 14532Bong Jun Choi, Dhananjay Singh, Uma Shanker Tiwary, Wan-Young Chung:
Intelligent Human Computer Interaction - 15th International Conference, IHCI 2023, Daegu, South Korea, November 8-10, 2023, Revised Selected Papers, Part II. Lecture Notes in Computer Science 14532, Springer 2024, ISBN 978-3-031-53829-2 [contents] - 14533Anirban Mukhopadhyay, Ilkay Öksüz, Sandy Engelhardt, Dajiang Zhu, Yixuan Yuan:
Deep Generative Models - Third MICCAI Workshop, DGM4MICCAI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings. Lecture Notes in Computer Science 14533, Springer 2024, ISBN 978-3-031-53766-0 [contents] - 14534Mark Manulis, Diana Maimut, George Teseleanu:
Innovative Security Solutions for Information Technology and Communications - 16th International Conference, SecITC 2023, Bucharest, Romania, November 23-24, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14534, Springer 2024, ISBN 978-3-031-52946-7 [contents] - 14535Anna Bramwell-Dicks, Abigail Evans, Marco Winckler, Helen Petrie, José L. Abdelnour-Nocera:
Design for Equality and Justice - INTERACT 2023 IFIP TC 13 Workshops, York, UK, August 28 - September 1, 2023, Revised Selected Papers, Part I. Lecture Notes in Computer Science 14535, Springer 2024, ISBN 978-3-031-61687-7 [contents] - 14536Anna Bramwell-Dicks, Abigail Evans, Marco Winckler, Helen Petrie, José L. Abdelnour-Nocera:
Design for Equality and Justice - INTERACT 2023 IFIP TC 13 Workshops, York, UK, August 28 - September 1, 2023, Revised Selected Papers, Part II. Lecture Notes in Computer Science 14536, Springer 2024, ISBN 978-3-031-61697-6 [contents] - 14537Philipp Richter, Vaibhav Bajpai, Esteban Carisimo:
Passive and Active Measurement - 25th International Conference, PAM 2024, Virtual Event, March 11-13, 2024, Proceedings, Part I. Lecture Notes in Computer Science 14537, Springer 2024, ISBN 978-3-031-56248-8 [contents] - 14538Philipp Richter, Vaibhav Bajpai, Esteban Carisimo:
Passive and Active Measurement - 25th International Conference, PAM 2024, Virtual Event, March 11-13, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14538, Springer 2024, ISBN 978-3-031-56251-8 [contents] - 14539Antonio Pepe, Gian Marco Melito, Jan Egger:
Segmentation of the Aorta. Towards the Automatic Segmentation, Modeling, and Meshing of the Aortic Vessel Tree from Multicenter Acquisition - First Challenge, SEG.A. 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings. Lecture Notes in Computer Science 14539, Springer 2024, ISBN 978-3-031-53240-5 [contents] - 14540Nicholas Heller, Andrew Wood, Fabian Isensee, Tim Rädsch, Resha Teipaul, Nikolaos Papanikolopoulos, Christopher Weight:
Kidney and Kidney Tumor Segmentation - MICCAI 2023 Challenge, KiTS 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings. Lecture Notes in Computer Science 14540, Springer 2024, ISBN 978-3-031-54805-5 [contents] - 14541Dan Dongseong Kim, Chao Chen:
Machine Learning for Cyber Security - 5th International Conference, ML4CS 2023, Yanuca Island, Fiji, December 4-6, 2023, Proceedings. Lecture Notes in Computer Science 14541, Springer 2024, ISBN 978-981-97-2457-4 [contents] - 14542Yevgeni Koucheryavy, Ahmed Aziz:
Internet of Things, Smart Spaces, and Next Generation Networks and Systems - 23rd International Conference, NEW2AN 2023, and 16th Conference, ruSMART 2023, Dubai, United Arab Emirates, December 21-22, 2023, Proceedings, Part I. Lecture Notes in Computer Science 14542, Springer 2024, ISBN 978-3-031-60993-0 [contents] - 14543Yevgeni Koucheryavy, Ahmed Aziz:
Internet of Things, Smart Spaces, and Next Generation Networks and Systems - 23rd International Conference, NEW2AN 2023, and 16th Conference, ruSMART 2023, Dubai, United Arab Emirates, December 21-22, 2023, Proceedings, Part II. Lecture Notes in Computer Science 14543, Springer 2024, ISBN 978-3-031-60996-1 [contents] - 14544Jun Ma, Bo Wang:
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT - MICCAI Challenge, FLARE 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings. Lecture Notes in Computer Science 14544, Springer 2024, ISBN 978-3-031-58775-7 [contents] - 14545Fabio Palomba, Carmine Gravino:
Artificial Intelligence with and for Learning Sciences. Past, Present, and Future Horizons - First Workshop, WAILS 2024, Salerno, Italy, January 18-19, 2024, Proceedings. Lecture Notes in Computer Science 14545, Springer 2024, ISBN 978-3-031-57401-6 [contents] - ...….
- 14547Maria De Marsico, Gabriella Sanniti di Baja, Ana Fred:
Pattern Recognition Applications and Methods - 12th International Conference, ICPRAM 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14547, Springer 2024, ISBN 978-3-031-54725-6 [contents] - 14548Mukul S. Bansal, Wei Chen, Yury Khudyakov, Ion I. Mandoiu, Marmar Moussa, Murray Patterson, Sanguthevar Rajasekaran, Pavel Skums, Sharma V. Thankachan, Alexander Zelikovsky:
Computational Advances in Bio and Medical Sciences - 12th International Conference, ICCABS 2023, Norman, OK, USA, December 11-13, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14548, Springer 2025, ISBN 978-3-031-82767-9 [contents] - 14549Ryuhei Uehara, Katsuhisa Yamanaka, Hsu-Chun Yen:
WALCOM: Algorithms and Computation - 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings. Lecture Notes in Computer Science 14549, Springer 2024, ISBN 978-981-97-0565-8 [contents] - 14550Dirk Beyer, Arnd Hartmanns, Fabrice Kordon:
TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions, TOOLympics 2023, Paris, France. Lecture Notes in Computer Science 14550, Springer 2024, ISBN 978-3-031-67694-9 [contents] - 14551Mohamed Mosbah, Florence Sèdes, Nadia Tawbi, Toufik Ahmed, Nora Boulahia-Cuppens, Joaquín García-Alfaro:
Foundations and Practice of Security - 16th International Symposium, FPS 2023, Bordeaux, France, December 11-13, 2023, Revised Selected Papers, Part I. Lecture Notes in Computer Science 14551, Springer 2024, ISBN 978-3-031-57536-5 [contents] - 14552Mohamed Mosbah, Florence Sèdes, Nadia Tawbi, Toufik Ahmed, Nora Boulahia-Cuppens, Joaquín García-Alfaro:
Foundations and Practice of Security - 16th International Symposium, FPS 2023, Bordeaux, France, December 11-13, 2023, Revised Selected Papers, Part II. Lecture Notes in Computer Science 14552, Springer 2024, ISBN 978-3-031-57539-6 [contents] - ...….
- 14554Stevan Rudinac, Alan Hanjalic, Cynthia C. S. Liem, Marcel Worring, Björn Þór Jónsson, Bei Liu, Yoko Yamakata:
MultiMedia Modeling - 30th International Conference, MMM 2024, Amsterdam, The Netherlands, January 29 - February 2, 2024, Proceedings, Part I. Lecture Notes in Computer Science 14554, Springer 2024, ISBN 978-3-031-53304-4 [contents] - 14555Stevan Rudinac, Alan Hanjalic, Cynthia C. S. Liem, Marcel Worring, Björn Þór Jónsson, Bei Liu, Yoko Yamakata:
MultiMedia Modeling - 30th International Conference, MMM 2024, Amsterdam, The Netherlands, January 29 - February 2, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14555, Springer 2024, ISBN 978-3-031-53307-5 [contents] - 14556Stevan Rudinac, Alan Hanjalic, Cynthia C. S. Liem, Marcel Worring, Björn Þór Jónsson, Bei Liu, Yoko Yamakata:
MultiMedia Modeling - 30th International Conference, MMM 2024, Amsterdam, The Netherlands, January 29 - February 2, 2024, Proceedings, Part III. Lecture Notes in Computer Science 14556, Springer 2024, ISBN 978-3-031-53310-5 [contents] - 14557Stevan Rudinac, Alan Hanjalic, Cynthia C. S. Liem, Marcel Worring, Björn Þór Jónsson, Bei Liu, Yoko Yamakata:
MultiMedia Modeling - 30th International Conference, MMM 2024, Amsterdam, The Netherlands, January 29 - February 2, 2024, Proceedings, Part IV. Lecture Notes in Computer Science 14557, Springer 2024, ISBN 978-3-031-53301-3 [contents] - 14558Luis G. Nardin, Sara Mehryar:
Multi-Agent-Based Simulation XXIV - 24th International Workshop, MABS 2023, London, UK, May 29 - June 2, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14558, Springer 2024, ISBN 978-3-031-61033-2 [contents] - ...….
- 14560Venanzio Capretta, Robbert Krebbers, Freek Wiedijk:
Logics and Type Systems in Theory and Practice - Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday. Lecture Notes in Computer Science 14560, Springer 2024, ISBN 978-3-031-61715-7 [contents] - 14561Hwajeong Seo, Suhri Kim:
Information Security and Cryptology - ICISC 2023 - 26th International Conference on Information Security and Cryptology, ICISC 2023, Seoul, South Korea, November 29 - December 1, 2023, Revised Selected Papers, Part I. Lecture Notes in Computer Science 14561, Springer 2024, ISBN 978-981-97-1234-2 [contents] - 14562Hwajeong Seo, Suhri Kim:
Information Security and Cryptology - ICISC 2023 - 26th International Conference on Information Security and Cryptology, ICISC 2023, Seoul, South Korea, November 29 - December 1, 2023, Revised Selected Papers, Part II. Lecture Notes in Computer Science 14562, Springer 2024, ISBN 978-981-97-1237-3 [contents] - 14563Bin Sheng, Hao Chen, Tien Yin Wong:
Myopic Maculopathy Analysis - MICCAI Challenge MMAC 2023, Held in Conjunction with MICCAI 2023, Virtual Event, October 8-12, 2023, Proceedings. Lecture Notes in Computer Science 14563, Springer 2024, ISBN 978-3-031-54856-7 [contents] - ...….
- 14565Stevan Rudinac, Alan Hanjalic, Cynthia C. S. Liem, Marcel Worring, Björn Þór Jónsson, Bei Liu, Yoko Yamakata:
MultiMedia Modeling - 30th International Conference, MMM 2024, Amsterdam, The Netherlands, January 29 - February 2, 2024, Proceedings, Part V. Lecture Notes in Computer Science 14565, Springer 2024, ISBN 978-3-031-56434-5 [contents] - ...….
- 14567Rina Bao, Ellen Grant, Andrew Kirkpatrick, Juan P. Wachs, Yangming Ou:
AI for Brain Lesion Detection and Trauma Video Action Recognition - First BONBID-HIE Lesion Segmentation Challenge and First Trauma Thompson Challenge, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12-16, 2023, Proceedings. Lecture Notes in Computer Science 14567, Springer 2025, ISBN 978-3-031-71625-6 [contents] - 14568Alessandro Aldini:
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops - CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14568, Springer 2024, ISBN 978-3-031-66020-7 [contents] - 14569Daisuke Bekki, Koji Mineshima, Elin McCready:
Logic and Engineering of Natural Language Semantics - 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14569, Springer 2024, ISBN 978-3-031-60877-3 [contents] - 14570Bernd Finkbeiner, Laura Kovács:
Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I. Lecture Notes in Computer Science 14570, Springer 2024, ISBN 978-3-031-57245-6 [contents] - 14571Bernd Finkbeiner, Laura Kovács:
Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14571, Springer 2024, ISBN 978-3-031-57248-7 [contents] - 14572Bernd Finkbeiner, Laura Kovács:
Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III. Lecture Notes in Computer Science 14572, Springer 2024, ISBN 978-3-031-57255-5 [contents] - 14573Dirk Beyer, Ana Cavalcanti:
Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings. Lecture Notes in Computer Science 14573, Springer 2024, ISBN 978-3-031-57258-6 [contents] - 14574Naoki Kobayashi, James Worrell:
Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I. Lecture Notes in Computer Science 14574, Springer 2024, ISBN 978-3-031-57227-2 [contents] - 14575Naoki Kobayashi, James Worrell:
Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14575, Springer 2024, ISBN 978-3-031-57230-2 [contents] - 14576Stephanie Weirich:
Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I. Lecture Notes in Computer Science 14576, Springer 2024, ISBN 978-3-031-57261-6 [contents] - 14577Stephanie Weirich:
Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14577, Springer 2024, ISBN 978-3-031-57266-1 [contents] - 14578José A. Soto, Andreas Wiese:
LATIN 2024: Theoretical Informatics - 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I. Lecture Notes in Computer Science 14578, Springer 2024, ISBN 978-3-031-55597-8 [contents] - 14579José A. Soto, Andreas Wiese:
LATIN 2024: Theoretical Informatics - 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14579, Springer 2024, ISBN 978-3-031-55600-5 [contents] - ...….
- 14583Christina Pöpper, Lejla Batina:
Applied Cryptography and Network Security - 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part I. Lecture Notes in Computer Science 14583, Springer 2024, ISBN 978-3-031-54769-0 [contents] - 14584Christina Pöpper, Lejla Batina:
Applied Cryptography and Network Security - 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14584, Springer 2024, ISBN 978-3-031-54772-0 [contents] - 14585Christina Pöpper, Lejla Batina:
Applied Cryptography and Network Security - 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part III. Lecture Notes in Computer Science 14585, Springer 2024, ISBN 978-3-031-54775-1 [contents] - 14586Martin Andreoni:
Applied Cryptography and Network Security Workshops - ACNS 2024 Satellite Workshops, AIBlock, AIHWS, AIoTS, SCI, AAC, SiMLA, LLE, and CIMSS, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part I. Lecture Notes in Computer Science 14586, Springer 2024, ISBN 978-3-031-61485-9 [contents] - 14587Martin Andreoni:
Applied Cryptography and Network Security Workshops - ACNS 2024 Satellite Workshops, AIBlock, AIHWS, AIoTS, SCI, AAC, SiMLA, LLE, and CIMSS, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14587, Springer 2024, ISBN 978-3-031-61488-0 [contents] - 14588Daniel Méndez, Ana Moreira:
Requirements Engineering: Foundation for Software Quality - 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings. Lecture Notes in Computer Science 14588, Springer 2024, ISBN 978-3-031-57326-2 [contents] - 14589Arne Meier, Magdalena Ortiz:
Foundations of Information and Knowledge Systems - 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings. Lecture Notes in Computer Science 14589, Springer 2024, ISBN 978-3-031-56939-5 [contents] - 14590Bedir Tekinerdogan, Romina Spalazzese, Hasan Sözer, Silvia Bonfanti, Danny Weyns:
Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium - Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14590, Springer 2024, ISBN 978-3-031-66325-3 [contents] - 14591Dalibor Klusácek, Julita Corbalán, Gonzalo P. Rodrigo:
Job Scheduling Strategies for Parallel Processing - 27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers. Lecture Notes in Computer Science 14591, Springer 2025, ISBN 978-3-031-74429-7 [contents] - 14592Fang-Lue Zhang, Andrei Sharf:
Computational Visual Media - 12th International Conference, CVM 2024, Wellington, New Zealand, April 10-12, 2024, Proceedings, Part I. Lecture Notes in Computer Science 14592, Springer 2024, ISBN 978-981-97-2094-1 [contents] - 14593Fang-Lue Zhang, Andrei Sharf:
Computational Visual Media - 12th International Conference, CVM 2024, Wellington, New Zealand, April 10-12, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14593, Springer 2024, ISBN 978-981-97-2091-0 [contents] - 14594Amitabh Basu, Ali Ridha Mahjoub, Juan José Salazar González:
Combinatorial Optimization - 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, 2024, Revised Selected Papers. Lecture Notes in Computer Science 14594, Springer 2024, ISBN 978-3-031-60923-7 [contents] - 14595Romain Wacquez, Naofumi Homma:
Constructive Side-Channel Analysis and Secure Design - 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings. Lecture Notes in Computer Science 14595, Springer 2024, ISBN 978-3-031-57542-6 [contents] - 14596Isaac Sserwanga, Hideo Joho, Jie Ma, Preben Hansen, Dan Wu, Masanori Koizumi, Anne J. Gilliland:
Wisdom, Well-Being, Win-Win - 19th International Conference, iConference 2024, Changchun, China, April 15-26, 2024, Proceedings, Part I. Lecture Notes in Computer Science 14596, Springer 2024, ISBN 978-3-031-57849-6 [contents] - 14597Isaac Sserwanga, Hideo Joho, Jie Ma, Preben Hansen, Dan Wu, Masanori Koizumi, Anne J. Gilliland:
Wisdom, Well-Being, Win-Win - 19th International Conference, iConference 2024, Changchun, China, April 15-26, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14597, Springer 2024, ISBN 978-3-031-57859-5 [contents] - 14598Isaac Sserwanga, Hideo Joho, Jie Ma, Preben Hansen, Dan Wu, Masanori Koizumi, Anne J. Gilliland:
Wisdom, Well-Being, Win-Win - 19th International Conference, iConference 2024, Changchun, China, April 15-26, 2024, Proceedings, Part III. Lecture Notes in Computer Science 14598, Springer 2024, ISBN 978-3-031-57866-3 [contents] - 14599Stefan Pickl, Bernhard M. Hämmerli, Päivi Mattila, Annaleena Sevillano:
Critical Information Infrastructures Security - 18th International Conference, CRITIS 2023, Helsinki Region, Finland, September 13-15, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14599, Springer 2024, ISBN 978-3-031-62138-3 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-08-17 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
