Остановите войну!
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
- 2006
- Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock:
The verified software repository: a step towards the verifying compiler. Formal Aspects Comput. 18(2): 143-151 (2006) - David W. Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya:
A formal relationship between program slicing and partial evaluation. Formal Aspects Comput. 18(2): 103-119 (2006) - Kirill Bogdanov, Mike Holcombe, Florentin Ipate, L. Seed, Salim K. Vanak:
Testing methods for X-machines: a review. Formal Aspects Comput. 18(1): 3-30 (2006) - Eerke A. Boiten, Michael J. Butler:
Guest Editorial Editorial for the FAC Special Issue based on derivative papers from "Refine '05". Formal Aspects Comput. 18(3): 263 (2006) - Christie Bolton, Jim Davies:
A singleton failures semantics for Communicating Sequential Processes. Formal Aspects Comput. 18(2): 181-210 (2006) - Howard Bowman, Rodolfo Gómez:
How to stop time stopping. Formal Aspects Comput. 18(4): 459-493 (2006) - Ana Cavalcanti, Jim Woodcock, Steve Dunne:
Angelic nondeterminism in the unifying theories of programming. Formal Aspects Comput. 18(3): 288-307 (2006) - John Derrick, Mark Harman, Robert M. Hierons:
Guest Editorial. Formal Aspects Comput. 18(1): 1-2 (2006) - Moshe Deutsch, Martin C. Henson:
An analysis of refinement in an abortive paradigm. Formal Aspects Comput. 18(3): 329-363 (2006) - Harald Fecher, Mila E. Majster-Cederbaum:
Action Refinement Applied to Late Decisions. Formal Aspects Comput. 18(2): 211-230 (2006) - Sabine Glesner:
Finite Integer Computations: An Algebraic Foundation for Their Correctness. Formal Aspects Comput. 18(2): 244-262 (2006) - Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich:
A formal approach to property testing in causally consistent distributed traces. Formal Aspects Comput. 18(1): 63-83 (2006) - Martin C. Henson, Moshe Deutsch, Besnik Kajtazi:
The specification logic nuZ. Formal Aspects Comput. 18(3): 364-395 (2006) - Karl Lermer, Colin J. Fidge:
Procedure compilation in the refinement calculus. Formal Aspects Comput. 18(2): 152-180 (2006) - Steve McKeever, Wayne Luk:
Provably-correct hardware compilation tools based on pass separation techniques. Formal Aspects Comput. 18(2): 120-142 (2006) - David J. Pym, Chris M. N. Tofts:
A Calculus and logic of resources and processes. Formal Aspects Comput. 18(4): 495-517 (2006) - Regivan Hugo Nunes Santiago, Benjamín René Callejas Bedregal, Benedito Melo Acióly:
Formal Aspects of Correctness and Optimality of Interval Computations. Formal Aspects Comput. 18(2): 231-243 (2006) - Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne:
Tank monitoring: a pAMN case study. Formal Aspects Comput. 18(3): 308-328 (2006) - Graeme Smith, John Derrick:
Verifying data refinements using a model checker. Formal Aspects Comput. 18(3): 264-287 (2006) - Mike Stannett:
Simulation testing of automata. Formal Aspects Comput. 18(1): 31-41 (2006) - K. Subramani, C. Tauras:
An approximation algorithm for state minimization in 2-MDFAs. Formal Aspects Comput. 18(4): 421-431 (2006) - Jennifer Tenzer, Perdita Stevens:
On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams. Formal Aspects Comput. 18(4): 397-420 (2006) - Hasan Ural, Craig Williams:
Constructing checking sequences for distributed testing. Formal Aspects Comput. 18(1): 84-101 (2006) - Frits W. Vaandrager, Adriaan de Groot:
Analysis of a biphase mark protocol with Uppaaland PVS. Formal Aspects Comput. 18(4): 433-458 (2006) - Sergiy A. Vilkomir, Jonathan P. Bowen:
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria. Formal Aspects Comput. 18(1): 42-62 (2006)
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-05-02 04:14 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