48 Result(s)

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

Bernd Finkbeiner, Laura Kovács in Lecture Notes in Computer Science (2024)

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

Bernd Finkbeiner, Laura Kovács in Lecture Notes in Computer Science (2024)

AI, Data, and Digitalization

First International Symposium, SAIDD 2023, Sogndal, Norway, May 9–10, 2023, Revised Selected Papers

Rajendra Akerkar in Communications in Computer and Information Science (2024)

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

Bernd Finkbeiner, Laura Kovács in Lecture Notes in Computer Science (2024)

Digital Twin

Architectures, Networks, and Applications

Yan Zhang in Simula SpringerBriefs on Computing (2024)

Electronic Voting

8th International Joint Conference, E-Vote-ID 2023, Luxembourg City, Luxembourg, October 3–6, 2023, Proceedings

Melanie Volkamer, David Duenas-Cid, Peter Rønne… in Lecture Notes in Computer Science (2023)

Construction, Operation and Maintenance of Network System(Junior Level)

Huawei Technologies Co., Ltd. (2023)

Artificial Intelligence and Cognitive Science

30th Irish Conference, AICS 2022, Munster, Ireland, December 8–9, 2022, Revised Selected Papers

Luca Longo, Ruairi O’Reilly in Communications in Computer and Information Science (2023)

Data Communications and Network Technologies

Huawei Technologies Co., Ltd. (2023)

Digital Health Transformation, Smart Ageing, and Managing Disability

20th International Conference, ICOST 2023, Wonju, South Korea, July 7–8, 2023, Proceedings

Kim Jongbae, Mounir Mokhtari… in Lecture Notes in Computer Science (2023)

5G and Beyond

Bharat Bhushan, Sudhir Kumar Sharma, Raghvendra Kumar… in Springer Tracts in Electrical and Electronics Engineering (2023)

Mixed-Criticality Industrial Wireless Networks

** **, Changqing **a, Chi Xu, Dong Li in Wireless Networks (2023)

Algorithms for Big Data

DFG Priority Program 1736

Hannah Bast, Claudius Korzen, Ulrich Meyer… in Lecture Notes in Computer Science (2022)

Programming Languages and Systems

31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

Ilya Sergey in Lecture Notes in Computer Science (2022)

Electronic Voting

7th International Joint Conference, E-Vote-ID 2022, Bregenz, Austria, October 4–7, 2022, Proceedings

Robert Krimmer, Melanie Volkamer, David Duenas-Cid… in Lecture Notes in Computer Science (2022)

Security in Computer and Information Sciences

Second International Symposium, EuroCybersec 2021, Nice, France, October 25–26, 2021, Revised Selected Papers

Erol Gelenbe, Marija Jankovic… in Communications in Computer and Information Science (2022)

Participative Urban Health and Healthy Aging in the Age of AI

19th International Conference, ICOST 2022, Paris, France, June 27–30, 2022, Proceedings

Hamdi Aloulou, Prof. Bessam Abdulrazak… in Lecture Notes in Computer Science (2022)

Smittestopp − A Case Study on Digital Contact Tracing

Prof. Ahmed Elmokashfi… in Simula SpringerBriefs on Computing (2022)

Nordic Artificial Intelligence Research and Development

4th Symposium of the Norwegian AI Society, NAIS 2022, Oslo, Norway, May 31 – June 1, 2022, Revised Selected Papers

Evi Zouganeli, Anis Yazidi… in Communications in Computer and Information Science (2022)

Psychology, Learning, Technology

First International Conference, PLT 2022, Foggia, Italy, January 19–21, 2022, Revised Selected Papers

Pierpaolo Limone, Raffaele Di Fuccio… in Communications in Computer and Information Science (2022)