Остановите войну!
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 30 matches
- 2001
- Dirk Bahle, Hugh E. Williams, Justin Zobel:
Optimised Phrase Querying and Browsing of Large Text Databases. ACSC 2001: 11-19 - Stephen M. Blackburn, J. Eliot B. Moss, Richard L. Hudson, Ronald Morrison, David S. Munro, John N. Zigman:
Starting with Termination: A Methodology for Building Distributed Garbage Collection Algorithms. ACSC 2001: 20-28 - Leon Blackwell, Brian R. von Konsky, Mike Robey:
Petri Net Script: A Visual Language for Describing Action, Behaviour and Plot. ACSC 2001: 29-37 - Fred Brown:
Incremental Garbage Collection in Massive Object Stores. ACSC 2001: 38-46 - Aaron Ceglar, Paul R. Calder:
A New Approach to Collaborative Frameworks using Shared Objects. ACSC 2001: 3-10 - Richard Cole:
Automated Layout of Concept Lattices Using Layered Diagrams and Additive Diagrams. ACSC 2001: 47-53 - Neil Dunstan, Stephen Hodgson:
A Cluster-based Geophysical Template Matching System. ACSC 2001: 54-59 - Ping Gao, Robert Esser:
Polymorphic CSP Type Checking. ACSC 2001: 156-162 - Jun Han:
TRAM: A Tool for Requirements and Architecture Management. ACSC 2001: 60-68 - Philip Hingston:
Inference of Regular Languages using Model Simplicity. ACSC 2001: 69-76 - Jin Hu Huang, David M. W. Powers:
Large Scale Experiments on Correction of Confused Words. ACSC 2001: 77-82 - Chris Hunter, Paul A. Strooper:
Systematically Deriving Partial Oracles for Testing Concurrent Programs. ACSC 2001: 83-91 - R. Yugo Kartono Isal, Alistair Moffat:
Word-Based Block-Sorting Text Compression. ACSC 2001: 92-99 - Zhuhan Jiang, Bruce E. Litow, Olivier Y. de Vel:
An Inference Implementation Based on Extended Weighted Finite Automata. ACSC 2001: 100-108 - Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza:
Nonmonotonic Reasoning or Adaptive Information Filtering. ACSC 2001: 109-116 - Mike Liddell, Alistair Moffat:
Length-Restricted Coding Using Modified Probability Distributions. ACSC 2001: 117-124 - Emilia Mendes, Nile Mosley:
Comparing Effort Prediction Models for Web Design and Authoring Using Boxplots. ACSC 2001: 125-133 - Agathe Merceron:
Proving "no Cliques" in a Protocol. ACSC 2001: 134-139 - Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt:
Efficiency of Data Structures for Detecting Overlaps in Digital Documents. ACSC 2001: 140-147 - Michael J. Owen, Edward H. S. Lo, Mark W. Grigg, Andrew K. Lui:
The Design and Implementation of a Progressive On-demand Image Dissemination System for Very Large Images. ACSC 2001: 148-155 - Michael Richmond, James Noble:
Reflections on Remote Reflection. ACSC 2001: 163-170 - Graham H. B. Roberts:
The Derivation of Functional Equivalents of Imperative Programs. ACSC 2001: 171-176 - Peter Stephenson, Bruce E. Litow:
Making the DDA Run: Two-Dimensional Ray Traversal Using Runs and Runs of Runs. ACSC 2001: 177-183 - Maolin Tang, Kamran Eshraghian, Daryoush Habibi:
Knowledge-based Genetic Algorithm for Layer Assignment. ACSC 2001: 184-190 - Hua Wang, Yanchuan Zhang:
Untraceable Off-line Electronic Cash Flow in E-Commerce. ACSC 2001: 191-198 - Edgar R. Weippl:
An Approach to Secure Distribution of Web-Based Training Courses. ACSC 2001: 199-205 - Jongwook Woo, Jean-Luc Gaudiot, Isabelle Attali, Denis Caromel, Andrew L. Wendelborn:
Alias Analysis On Type Inference For Class Hierarchy In Java. ACSC 2001: 206-214 - Yan Zhang, Vijay Varadharajan:
A Logic for Modeling the Dynamics of Beliefs in Cryptographic Protocols. ACSC 2001: 215-222 - Weiping Zhu, Jadwiga Indulska:
Fast Handover in Clustered Wireless ATM. ACSC 2001: 223-229 - 24th Australasian Computer Science Conference (ACSC 2001), 29 January - 1 February 2001, Gold Coast, Queensland, Australia. IEEE Computer Society 2001, ISBN 0-7695-0963-0 [contents]
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-07-26 13:21 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