default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKalpa Publications in Computing
18Nikolaj S. Bjørner, Marijn Heule, Andrei Voronkov:
LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024. Kalpa Publications in Computing 18, EasyChair 2024 [contents]- ...….
- 16Nina Narodytska, Guy Amir, Guy Katz, Omri Isac:
Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, FoMLAS@CAV 2023, Paris, France, July 17-18, 2023. Kalpa Publications in Computing 16, EasyChair 2023 [contents] - ...….
- 14Álvaro Leitao, Lucía Ramos:
Proceedings of V XoveTIC Conference, XoveTIC 2022, A Coruña, Spain, 5-6 October 2022. Kalpa Publications in Computing 14, EasyChair 2023 [contents] - 13Oscar S. Siordia, José Luis Silván-Cárdenas, Alejandro Molina-Villegas, Gandhi Hernández-Chan, Pablo López-Ramírez, Rodrigo Tapia-McClung, Karime González Zuccolotto, Mario Chirinos Colunga:
Proceedings of the 1st International Conference on Geospatial Information Sciences, iGISc 2019, Mérida, Yucatán, México, October 23-25, 2019. Kalpa Publications in Computing 13, EasyChair 2019 [contents] - 12Kennedy Njenga:
Proceedings of 4th International Conference on the Internet, Cyber Security and Information Systems, ICICIS 2019, Johannesburg, South Africa, October 31 - November 1, 2019. Kalpa Publications in Computing 12, EasyChair 2019 [contents] - 11Karine Heydemann, Ulrich Kühne, Letitia Li:
Proceedings of 8th International Workshop on Security Proofs for Embedded Systems, PROOFS 2019, colocated with CHES 2018, Atlanta, GA, USA, August 24, 2019. Kalpa Publications in Computing 11, EasyChair 2019 [contents] - 10Christoph Benzmüller, Xavier Parent, Alexander Steen:
Selected Student Contributions and Workshop Papers of LuxLogAI 2018. Kalpa Publications in Computing 10, EasyChair 2019 [contents] - 9Gilles Barthe, Konstantin Korovin, Stephan Schulz, Martin Suda, Geoff Sutcliffe, Margus Veanes:
LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018. Kalpa Publications in Computing 9, EasyChair 2018 [contents] - ...….
- 7Lejla Batina, Ulrich Kühne, Nele Mentens:
PROOFS 2018, 7th International Workshop on Security Proofs for Embedded Systems, colocated with CHES 2018, Amsterdam, The Netherlands, September 13, 2018. Kalpa Publications in Computing 7, EasyChair 2018 [contents] - 6Oleg S. Pianykh, Alexey Neznanov, Sergei O. Kuznetsov, Jaume Baixeries, Svetla Boytcheva:
Workshop on Data Analysis in Medicine, WDAM 2017, Moscow, Russia, May 29, 2017. Kalpa Publications in Computing 6, EasyChair 2017 [contents] - 5Bruno Dutertre, Natarajan Shankar:
Automated Formal Methods, AFM@NFM 2017, Moffett Field, CA, USA, May 19-20, 2017. Kalpa Publications in Computing 5, EasyChair 2018 [contents] - 4Marina Zanella, Ingo Pill, Alessandro Cimatti:
28th International Workshop on Principles of Diagnosis (DX'17), Brescia, Italy, September 26-29, 2017. Kalpa Publications in Computing 4, EasyChair 2017 [contents] - 3Giles Reger, Klaus Havelund:
RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA. Kalpa Publications in Computing 3, EasyChair 2017 [contents] - ...….
- 1Thomas Eiter, David Sands, Geoff Sutcliffe, Andrei Voronkov:
IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017. Kalpa Publications in Computing 1, EasyChair 2017 [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-04-08 20:53 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:
