default search action
Search dblp for Publications
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 62,069 matches
- 2025
- André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi:
Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I. Lecture Notes in Computer Science 14933, Springer 2025, ISBN 978-3-031-71161-9 [contents] - Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi:
Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14934, Springer 2025, ISBN 978-3-031-71176-3 [contents] - Djork-Arné Clevert, Michael Wand, Kristína Malinovská, Jürgen Schmidhuber, Igor V. Tetko:
AI in Drug Discovery - First International Workshop, AIDD 2024, Held in Conjunction with ICANN 2024, Lugano, Switzerland, September 19, 2024, Proceedings. Lecture Notes in Computer Science 14894, Springer 2025, ISBN 978-3-031-72380-3 [contents] - Oliver Brock, Jeffrey L. Krichmar:
From Animals to Animats 17 - 17th International Conference on Simulation of Adaptive Behavior, SAB 2024, Irvine, CA, USA, September 9-12, 2024, Proceedings. Lecture Notes in Computer Science 14993, Springer 2025, ISBN 978-3-031-71532-7 [contents] - Zsuzsanna Lipták, Edleno Silva de Moura, Karina Figueroa, Ricardo Baeza-Yates:
String Processing and Information Retrieval - 31st International Symposium, SPIRE 2024, Puerto Vallarta, Mexico, September 23-25, 2024, Proceedings. Lecture Notes in Computer Science 14899, Springer 2025, ISBN 978-3-031-72199-1 [contents] - Marieke Huisman, Falk Howar:
Tests and Proofs - 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings. Lecture Notes in Computer Science 15153, Springer 2025, ISBN 978-3-031-72043-7 [contents] - 2024
- John Krumm, Andreas Züfle, Cyrus Shahabi:
Spatial Gems, Volume 2. ACM Books 55, ACM 2024, ISBN 979-8-4007-0936-4 - Antonio Piccolomini d'Aragona:
Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Synthese Library 481, Springer 2024, ISBN 978-3-031-51405-0 [contents] - Tula Giannini, Jonathan P. Bowen:
The Arts and Computational Culture: Real and Virtual Worlds. Springer 2024, ISBN 978-3-031-53864-3 [contents] - Bertrand Meyer:
The French School of Programming. Springer 2024, ISBN 978-3-031-34517-3 [contents] - Catherine Mason:
Creative Simulations - George Mallen and the Early Computer Arts Society. Springer 2024, ISBN 978-3-031-50619-2 [contents] - Frank S. de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan:
Active Object Languages: Current Research Trends. Lecture Notes in Computer Science 14360, Springer 2024, ISBN 978-3-031-51059-5 [contents] - Kashif Naseer Qureshi, Thomas Newe, Gwanggil Jeon, Abdellah Chehri:
Cybersecurity Vigilance and Security Engineering of Internet of Everything - Technology, Communications and Computing. Springer 2024, ISBN 978-3-031-45161-4 [contents] - Chiranji Lal Chowdhary:
The Metaverse for the Healthcare Industry. Springer Nature Switzerland 2024, ISBN 978-3-031-60072-2, pp. 1-283 [contents] - Dennis Komm:
Wirksamer Informatikunterricht. Unterrichtsqualität: Perspektiven von Expertinnen und Experten, Schneider Verlag Hohengehren GmbH, Baltmannsweiler, Germany 2024, ISBN 978-3-8340-2243-1 [contents] - International Conference on 3D Vision, 3DV 2024, Davos, Switzerland, March 18-21, 2024. IEEE 2024, ISBN 979-8-3503-6245-9 [contents]
- Leonard Barolli:
Advances on P2P, Parallel, Grid, Cloud and Internet Computing - Proceedings of the 18th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC-2023), Daegu, Korea, 6-8 November 2023. Lecture Notes on Data Engineering and Communications Technologies 189, Springer 2024, ISBN 978-3-031-46969-5 [contents] - Jingchao Li, Bin Zhang, Yulong Ying:
6GN for Future Wireless Networks - 6th EAI International Conference, 6GN 2023, Shanghai, China, October 7-8, 2023, Proceedings, Part I. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 553, Springer 2024, ISBN 978-3-031-53400-3 [contents] - Jingchao Li, Bin Zhang, Yulong Ying:
6GN for Future Wireless Networks - 6th EAI International Conference, 6GN 2023, Shanghai, China, October 7-8, 2023, Proceedings, Part II. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 554, Springer 2024, ISBN 978-3-031-53403-4 [contents] - Anna Vallgårda, Li Jönsson, Jonas Fritsch, Sarah Fdili Alaoui, Christopher A. Le Dantec:
Designing Interactive Systems Conference, DIS 2024, IT University of Copenhagen, Denmark, July 1-5, 2024. ACM 2024 [contents] - Anna Vallgårda, Li Jönsson, Jonas Fritsch, Sarah Fdili Alaoui, Christopher A. Le Dantec:
Companion Publication of the 2024 ACM Designing Interactive Systems Conference, DIS 2024, IT University of Copenhagen, Denmark, July 1-5, 2024. ACM 2024 [contents] - Proceedings of the 2024 ACM Southeast Conference, ACM SE 2024, Marietta, GA, USA, April 18-20, 2024. ACM 2024 [contents]
- Proceedings of the 19th International Conference on Availability, Reliability and Security, ARES 2024, Vienna, Austria, 30 July 2024 - 2 August 2024. ACM 2024, ISBN 979-8-4007-1718-5 [contents]
- Rong N. Chang, Carl K. Chang, Jingwei Yang, Nimanthi L. Atukorala, Zhi Jin, Michael Sheng, Jing Fan, Kenneth Fletcher, Qiang He, Tevfik Kosar, Santonu Sarkar, Sreekrishnan Venkateswaran, Shangguang Wang, Xuanzhe Liu, Seetharami Seelam, Chandra Narayanaswami, Ziliang Zong:
17th IEEE International Conference on Cloud Computing, CLOUD 2024, Shenzhen, China, July 7-13, 2024. IEEE 2024, ISBN 979-8-3503-6853-6 [contents] - 21st International Multi-Conference on Systems, Signals & Devices, SSD 2024, Erbil, Iraq, April 22-25, 2024. IEEE 2024, ISBN 979-8-3503-7413-1 [contents]
- Cheqing Jin, Shiyu Yang, Xuequn Shang, Haofen Wang, Yong Zhang:
Web Information Systems and Applications - 21st International Conference, WISA 2024, Yinchuan, China, August 2-4, 2024, Proceedings. Lecture Notes in Computer Science 14883, Springer 2024, ISBN 978-981-97-7706-8 [contents] - Uli Fahrenberg, Wesley Fussner, Roland Glück:
Relational and Algebraic Methods in Computer Science - 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings. Lecture Notes in Computer Science 14787, Springer 2024, ISBN 978-3-031-68278-0 [contents] - Amir Pouran Ben Veyseh, Franck Dernoncourt, Thien Huu Nguyen, Viet Dac Lai:
Proceedings of the Workshop on Scientific Document Understanding co-located with 37th AAAI Conference on Artificial Inteligence (AAAI 2023), Remote, February 14, 2023. CEUR Workshop Proceedings 3656, CEUR-WS.org 2024 [contents] - Michael J. Wooldridge, Jennifer G. Dy, Sriraam Natarajan:
Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada. AAAI Press 2024 [contents] - Marija Stanojevic:
Proceedings of Machine Learning for Cognitive and Mental Health Workshop (ML4CMH 2024) Co-located with the Thirty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2024), Vancouver, BC, Canada, February 26th, 2024. CEUR Workshop Proceedings 3649, CEUR-WS.org 2024 [contents]
skipping 62,039 more matches
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-10-06 11:59 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint