Остановите войну!
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 31 matches
- 2003
- Luca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen:
The Complexity of Checking Consistency of Pedigree Information and Related Problems. ICTCS 2003: 174-187 - Davide Ancona, Sonia Fagorzi, Elena Zucca:
A Calculus for Dynamic Linking. ICTCS 2003: 284-301 - Steffen van Bakel, Ugo de'Liguoro:
Logical Semantics for the First Order varsigma-Calculus. ICTCS 2003: 202-215 - Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Reasoning about Self and Others: Communicating Agents in a Model Action Logic. ICTCS 2003: 228-241 - Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari:
Security-Aware Program Transformations. ICTCS 2003: 355-368 - Alberto Bertoni, Carlo Mereghetti, Beatrice Palano:
Lower Bounds on the Size of Quantum Automata Accepting Unary Languages. ICTCS 2003: 86-96 - Alan A. Bertossi, Maria Cristina Pinotti, Romeo Rizzi, Anil M. Shende:
Channel Assignment in Honeycomb Networks. ICTCS 2003: 150-162 - Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi:
Information Flow Security and Recursive Systems. ICTCS 2003: 369-382 - Gérard Boudol:
On Programming Models for Mobility. ICTCS 2003: 22 - Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone:
Algebraic Theories for Contextual Pre-nets. ICTCS 2003: 256-270 - Tiziana Calamoneri:
Exact Solution of a Class of Frequency Assignment Problems in Cellular Networks. ICTCS 2003: 163-173 - Daniela Cancila, Furio Honsell:
A Coalgebraic Description of Web Interactions. ICTCS 2003: 271-283 - Felice Cardone, Mario Coppo:
Decidability Properties of Recursive Types. ICTCS 2003: 242-255 - Stelvio Cimato, Paolo D'Arco, Ivan Visconti:
Anonymous Group Communication in Mobile Networks. ICTCS 2003: 316-328 - Claudio Sacerdoti Coen:
A Constructive Proof of the Soundness of the Encoding of Random Access Machines in a Linda Calculus with Ordered Semantics. ICTCS 2003: 37-57 - Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini:
Refined Effects for Unanticipated Object Re-classification: Fickle3. ICTCS 2003: 97-110 - Alessandro Ferrante, Mimmo Parente:
An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem in Complete Graphs with Sharpened Triangle Inequality. ICTCS 2003: 137-149 - Anna Lisa Ferrara, Barbara Masucci:
An Information-Theoretic Approach to the Access Control Problem. ICTCS 2003: 342-354 - Amparo Fúster-Sabater:
Aspects of Pseudorandomness in Nonlinear Generators of Binary Sequences. ICTCS 2003: 329-341 - Martin Gairing, Thomas Lücking, Marios Mavronicolas, Burkhard Monien, Paul G. Spirakis:
Extreme Nash Equilibria. ICTCS 2003: 1-20 - Jens Gustedt, Jan Arne Telle:
A Work-Optimal Coarse-Grained PRAM Algorithm for Lexicographically First Maximal Independent Set. ICTCS 2003: 125-136 - Martin Hofmann:
Certification of Memory Usage. ICTCS 2003: 21 - Qiwei Huang, Errol L. Lloyd:
Cost Constrained Fixed Job Scheduling. ICTCS 2003: 111-124 - Ugo Dal Lago:
On the Expressive Power of Light Affine Logic. ICTCS 2003: 216-227 - Ugo Dal Lago, Angelo Montanari, Gabriele Puppis:
Towards Compact and Tractable Automaten-Based Representations of Time Granularities. ICTCS 2003: 72-85 - Giovanni Lagorio:
Towards a Smart Compilation Manager for Java. ICTCS 2003: 302-315 - Harry G. Mairson, Kazushige Terui:
On the Computational Complexity of Cut-Elimination in Linear Logic. ICTCS 2003: 23-36 - Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
Compositional Verification of Secure Streamed Data: A Case Study with EMSS. ICTCS 2003: 383-396 - Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli:
Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier. ICTCS 2003: 58-71 - K. Subramani:
On Clausal Equivalence and Hull Inclusion. ICTCS 2003: 188-201
skipping 1 more match
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-20 20:10 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