Остановите войну!
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 35 matches
- 2012
- Wil M. P. van der Aalst:
Distributed Process Discovery and Conformance Checking. FASE 2012: 1-25 - Aharon Abadi, Ran Ettinger, Yishai A. Feldman:
Fine Slicing - Theory and Applications for Computation Extraction. FASE 2012: 471-485 - Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez:
Verified Resource Guarantees for Heap Manipulating Programs. FASE 2012: 130-145 - Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel:
Learning from Vacuously Satisfiable Scenario-Based Specifications. FASE 2012: 377-393 - Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem:
The SynchAADL2Maude Tool. FASE 2012: 59-62 - Earl T. Barr, Christian Bird, Peter C. Rigby, Abram Hindle, Daniel M. Germán, Premkumar T. Devanbu:
Cohesive and Isolated Development with Branches. FASE 2012: 316-331 - Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
Moving from Specifications to Contracts in Component-Based Design. FASE 2012: 43-58 - Giovanni Becce, Leonardo Mariani, Oliviero Riganelli, Mauro Santoro:
Extracting Widget Descriptions from GUIs. FASE 2012: 347-361 - Julian C. Bradfield, Perdita Stevens:
Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus. FASE 2012: 194-208 - Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
A Conceptual Framework for Adaptation. FASE 2012: 240-254 - Zinovy Diskin, T. S. E. Maibaum, Krzysztof Czarnecki:
Intermodeling, Queries, and Kleisli Categories. FASE 2012: 163-177 - Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing:
Stable Availability under Denial of Service Attacks through Formal Patterns. FASE 2012: 78-93 - Martin Erwig, Rahul Gopinath:
Explanations for Regular Expressions. FASE 2012: 394-408 - José Luiz Fiadeiro, Antónia Lopes:
Consistency of Service Composition. FASE 2012: 63-77 - Mário Luís Guimarães, António Rito Silva:
Making Software Integration Really Continuous. FASE 2012: 332-346 - Leo Hatvani, Paul Pettersson, Cristina Cerschi Seceleanu:
Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems. FASE 2012: 115-129 - Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas:
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. FASE 2012: 178-193 - Vineet Kahlon:
Schedule Insensitivity Reduction. FASE 2012: 99-114 - Huiqing Li, Simon J. Thompson:
A Domain-Specific Language for Scripting Refactorings in Erlang. FASE 2012: 501-515 - Zhenyue Long, Georgel Calin, Rupak Majumdar, Roland Meyer:
Language-Theoretic Abstraction Refinement. FASE 2012: 362-376 - Fabrizio Maria Maggi, Marco Montali, Wil M. P. van der Aalst:
An Operational Decision Support Framework for Monitoring Business Constraints. FASE 2012: 146-162 - Rim Mahouachi, Marouane Kessentini, Khaled Ghédira:
A New Design Defects Classification: Marrying Detection and Correction. FASE 2012: 455-470 - Andreas Mauczka, Markus Huber, Christian Schanes, Wolfgang Schramm, Mario Bernhart, Thomas Grechenig:
Tracing Your Maintenance Work - A Cross-Project Validation of an Automated Classification Dictionary for Commit Messages. FASE 2012: 301-315 - Maarten de Mol, Arend Rensink, James J. Hunt:
Graph Transforming Java Data. FASE 2012: 209-223 - Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen:
Loose Programming with PROPHETS. FASE 2012: 94-98 - Julia Rubin, Marsha Chechik:
Combining Related Products into Product Lines. FASE 2012: 285-300 - Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio:
Model-Driven Techniques to Enhance Architectural Languages Interoperability. FASE 2012: 26-42 - Rick Salay, Michalis Famelis, Marsha Chechik:
Language Independent Refinement Using Partial Modeling. FASE 2012: 224-239 - Jiangfan Shi, Myra B. Cohen, Matthew B. Dwyer:
Integration Testing of Software Product Lines Using Compositional Symbolic Execution. FASE 2012: 270-284 - Josep Silva, Salvador Tamarit, César Tomás:
System Dependence Graphs in Sequential Erlang. FASE 2012: 486-500
skipping 5 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-04-25 13:07 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