default search action
Search dblp
Full-text search
- > Home
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.
Author search results
no matches
Venue search results
no matches
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 2,345 matches
- 2010
- Nigel Davies, Antonio Krüger, Marc Langheinrich, Albrecht Schmidt, Martin Strohbach:
Pervasive Public Displays, 03.01. - 08.01.2010. Dagstuhl Seminar Proceedings 10011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - Monique Calisti, Frank Dignum, Ryszard Kowalczyk, Frank Leymann, Rainer Unland:
Service-Oriented Architecture and (Multi-)Agent Systems Technology, 10.01. - 15.01.2010. Dagstuhl Seminar Proceedings 10021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen:
Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010. Dagstuhl Seminar Proceedings 10031, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - François Bry, Clemens H. Cap, Ingo Dahm, Julia Maintz, Sebastian Schaffert:
Perspectives Workshop: Digital Social Networks, 24.01. - 29.01.2010. Dagstuhl Seminar Proceedings 10041, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - Karl Aberer, Avigdor Gal, Manfred Hauswirth, Kai-Uwe Sattler, Amit P. Sheth:
Semantic Challenges in Sensor Networks, 24.01. - 29.01.2010. Dagstuhl Seminar Proceedings 10042, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - Bengt Jonsson, Jörg Kreiker, Marta Z. Kwiatkowska:
Quantitative and Qualitative Analysis of Network Protocols, 31.01. - 05.02.2010. Dagstuhl Seminar Proceedings 10051, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - Benjamin Rossman, Thomas Schwentick, Denis Thérien, Heribert Vollmer:
Circuits, Logic, and Games, 07.02. - 12.02.2010. Dagstuhl Seminar Proceedings 10061, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - Susanne Albers, Sanjoy K. Baruah, Rolf H. Möhring, Kirk Pruhs:
Scheduling, 14.02. - 19.02.2010. Dagstuhl Seminar Proceedings 10071, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - Gerhard Lakemeyer, Hector J. Levesque, Fiora Pirri:
Cognitive Robotics, 21.02. - 26.02.2010. Dagstuhl Seminar Proceedings 10081, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - Lars Arge, Erik D. Demaine, Raimund Seidel:
Data Structures, 28.02. - 05.03.2010. Dagstuhl Seminar Proceedings 10091, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - Felix Brandt, Vincent Conitzer, Lane A. Hemaspaandra, Jean-François Laslier, William S. Zwicker:
Computational Foundations of Social Choice, 07.03. - 12.03.2010. Dagstuhl Seminar Proceedings 10101, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - Peter Lendermann, Leon F. McGinnis, Lars Mönch, Arnd Schirrmann:
Grand Challenges for Discrete Event Logistics Systems, 7.03. - 12.03.2010. Dagstuhl Seminar Proceedings 10102, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2010 [contents] - Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie:
Practical Software Testing: Tool Automation and Human Factors, 14.03. - 19.03.2010. Dagstuhl Seminar Proceedings 10111, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - Glenn Geers, Monika Sester, Stephan Winter, Ouri Wolfson:
Computational Transportation Science, 21.03. - 26.03.2010. Dagstuhl Seminar Proceedings 10121, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - John A. Bateman, Anthony G. Cohn, James Pustejovsky:
Spatial Representation and Reasoning in Language: Ontologies and Logics of Space, 28.03. - 01.04.2010. Dagstuhl Seminar Proceedings 10131, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - Sandro Etalle, Alexander Pretschner, Ravi S. Sandhu, Marianne Winslett:
Distributed Usage Control, 06.04. - 09.04.2010. Dagstuhl Seminar Proceedings 10141, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - Serge Abiteboul, Agnes Koschmider, Andreas Oberweis, Jianwen Su:
Enabling Holistic Approaches to Business Process Lifecycle Management, 11.04. - 16.04.2010. Dagstuhl Seminar Proceedings 10151, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, Frank Tip:
Relationships, Objects, Roles, and Queries in Modern Programming Languages, 11.04. - 16.04.2010. Dagstuhl Seminar Proceedings 10152, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - Nikolaj S. Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov:
Decision Procedures in Software, Hardware and Bioware, 18.04. - 23.04.2010. Dagstuhl Seminar Proceedings 10161, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - Edith Elkind, Nimrod Megiddo, Peter Bro Miltersen, Vijay V. Vazirani, Bernhard von Stengel:
Equilibrium Computation, 25.04. - 30.04.2010. Dagstuhl Seminar Proceedings 10171, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - Jesús Labarta, Barton P. Miller, Bernd Mohr, Martin Schulz:
Program Development for Extreme-Scale Computing, 02.05. - 07.05.2010. Dagstuhl Seminar Proceedings 10181, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - Christoph W. Kessler, Welf Löwe, David A. Padua, Markus Püschel:
Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond, 09.05. - 12.05.2010. Dagstuhl Seminar Proceedings 10191, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - K. Mani Chandy, Opher Etzion, Rainer von Ammon:
Event Processing, 16.05. - 21.05.2010. Dagstuhl Seminar Proceedings 10201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - Anupam Gupta, Stefano Leonardi, Berthold Vöcking, Roger Wattenhofer:
Flexible Network Design, 24.05. - 28.05.2010. Dagstuhl Seminar Proceedings 10211, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - Alberto Apostolico, Andreas W. M. Dress, Laxmi Parida:
Structure Discovery in Biology: Motifs, Networks & Phylogenies, 06.06. - 11.06.2010. Dagstuhl Seminar Proceedings 10231, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - Keye Martin, Michael W. Mislove:
The Semantics of Information, 06.06. - 11.06.2010. Dagstuhl Seminar Proceedings 10232, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - Andreas Kerren, Catherine Plaisant, John T. Stasko:
Information Visualization, 13.06. - 18.06.2010. Dagstuhl Seminar Proceedings 10241, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - Paul-André Melliès, Andrzej S. Murawski, Andrea Schalk, Igor Walukiewicz:
Game Semantics and Program Verification, 20.06. - 25.06.2010. Dagstuhl Seminar Proceedings 10252, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - Giuseppe F. Italiano, David S. Johnson, Petra Mutzel, Peter Sanders:
Algorithm Engineering, 27.06. - 02.07.2010. Dagstuhl Seminar Proceedings 10261, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - Bernd Becker, Luca Cardelli, Holger Hermanns, Sofiène Tahar:
Verification over discrete-continuous boundaries, 04.07. - 09.07.2010. Dagstuhl Seminar Proceedings 10271, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents]
skipping 2,315 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 07:24 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