Остановите войну!
for scientists:
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 25 matches
- 2017
- Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman:
Parallelizing Julia with a Non-Invasive DSL (Artifact). Dagstuhl Artifacts Ser. 3(2): 07:1-07:2 (2017) - Davi Monteiro Barbosa, Rómulo Gadelha de Moura Lima, Paulo Henrique Mendes Maia, Evilásio Costa Junior:
Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems (Artifact). Dagstuhl Artifacts Ser. 3(1): 07:1-07:5 (2017) - Javier Cámara, Bashar Nuseibeh, David Garlan:
Front Matter - SEAMS 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 3(1): 00:-1-00:-12 (2017) - Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter:
Type Abstraction for Relaxed Noninterference (Artifact). Dagstuhl Artifacts Ser. 3(2): 09:1-09:2 (2017) - Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee:
Concurrent Data Structures Linked in Time (Artifact). Dagstuhl Artifacts Ser. 3(2): 04:1-04:4 (2017) - Jens Dietrich, Kamil Jezek, Shawn Rasheed, Amjed Tahir, Alex Potanin:
Evil Pickles: DoS Attacks Based on Object-Graph Engineering (Artifact). Dagstuhl Artifacts Ser. 3(2): 13:1-13:3 (2017) - Jens Dietrich, David J. Pearce, Kamil Jezek, Premek Brada:
Contracts in the Wild: A Study of Java Programs (Artifact). Dagstuhl Artifacts Ser. 3(2): 06:1-06:4 (2017) - Simos Gerasimou, Radu Calinescu, Stepan Shevtsov, Danny Weyns:
UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles (Artifact). Dagstuhl Artifacts Ser. 3(1): 03:1-03:2 (2017) - Philipp Haller, Michael Pradel, Tijs van der Storm:
Front Matter - ECOOP 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 3(2): 00:-1-00:-12 (2017) - Daco Harkes, Eelco Visser:
IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition (Artifact). Dagstuhl Artifacts Ser. 3(2): 01:1-01:2 (2017) - M. Usman Iftikhar, Gowri Sankar Ramachandran, Pablo Bollansée, Danny Weyns, Danny Hughes:
DeltaIoT: A Real World Exemplar for Self-Adaptive Internet of Things (Artifact). Dagstuhl Artifacts Ser. 3(1): 04:1-04:2 (2017) - Jan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer, Ori Lahav, Viktor Vafeiadis:
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (Artifact). Dagstuhl Artifacts Ser. 3(2): 15:1-15:2 (2017) - Filip Krijt, Zbynek Jirácek, Tomás Bures, Petr Hnetynka, Ilias Gerostathopoulos:
Intelligent Ensembles - a Declarative Group Description Language and Java Framework (Artifact). Dagstuhl Artifacts Ser. 3(1): 06:1-06:3 (2017) - Martina Maggio, Alessandro Vittorio Papadopoulos, Antonio Filieri, Henry Hoffmann:
Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple (Artifact). Dagstuhl Artifacts Ser. 3(1): 02:1-02:3 (2017) - Mikaël Mayer, Jad Hamza, Viktor Kuncak:
Proactive Synthesis of Recursive Tree-to-String Functions from Examples (Artifact). Dagstuhl Artifacts Ser. 3(2): 16:1-16:2 (2017) - Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich:
A Capability-Based Module System for Authority Control (Artifact). Dagstuhl Artifacts Ser. 3(2): 02:1-02:2 (2017) - Tomas Petricek:
Data Exploration through Dot-driven Development (Artifact). Dagstuhl Artifacts Ser. 3(2): 12:1-12:2 (2017) - Baptiste Saleil, Marc Feeley:
Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis (Artifact). Dagstuhl Artifacts Ser. 3(2): 14:1-14:2 (2017) - Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida:
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). Dagstuhl Artifacts Ser. 3(2): 03:1-03:2 (2017) - Sanny Schmid, Ilias Gerostathopoulos, Christian Prehofer, Tomás Bures:
Model Problem (CrowdNav) and Framework (RTX) for Self-Adaptation Based on Big Data Analytics (Artifact). Dagstuhl Artifacts Ser. 3(1): 05:1-05:3 (2017) - Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover:
Mailbox Abstractions for Static Analysis of Actor Programs (Artifact). Dagstuhl Artifacts Ser. 3(2): 11:1-11:2 (2017) - Fei Wang, Tiark Rompf:
Towards Strong Normalization for Dependent Object Types (DOT) (Artifact). Dagstuhl Artifacts Ser. 3(2): 05:1-05:3 (2017) - Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski:
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact). Dagstuhl Artifacts Ser. 3(2): 08:1-08:2 (2017) - Bo Zhang, Filip Krikava, Romain Rouvoy, Lionel Seinturier:
Hadoop-Benchmark: Rapid Prototyping and Evaluation of Self-Adaptive Behaviors in Hadoop Clusters (Artifact). Dagstuhl Artifacts Ser. 3(1): 01:1-01:3 (2017) - Weixin Zhang, Bruno C. d. S. Oliveira:
EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (Artifact). Dagstuhl Artifacts Ser. 3(2): 10:1-10:2 (2017)
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-04-25 20:08 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