![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
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 54 matches
- 2006
- Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg:
Limiting Behavior of Markov Chains with Eager Attractors. QEST 2006: 253-264 - Marco Beccuti
, Giuliana Franceschinis, Souheib Baarir, Jean-Michel Ilié
:
Efficient lumpability check in partially symmetric systems. QEST 2006: 211-220 - Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks:
UPPAAL 4.0. QEST 2006: 125-126 - Jasper Berendsen, David N. Jansen
, Joost-Pieter Katoen
:
Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata. QEST 2006: 311-322 - Bernard Berthomieu, François Vernadat:
Time Petri Nets Analysis with TINA. QEST 2006: 123-124 - Marco Bertoli, Giuliano Casale, Giuseppe Serazzi:
Java Modelling Tools: an Open Source Suite for Queueing Network Modelling andWorkload Analysis. QEST 2006: 119-120 - Eckard Böde
, Marc Herbstritt, Holger Hermanns
, Sven Johr, Thomas Peikenkamp, Reza Pulungan
, Ralf Wimmer
, Bernd Becker
:
Compositional Performability Evaluation for STATEMATE. QEST 2006: 167-178 - Levente Bodrog, Gábor Horváth
, Sándor Rácz, Miklós Telek
:
A tool support for automatic analysis based on the tagged customer approach. QEST 2006: 323-332 - Andrea Bondavalli
, Silvano Chiaradonna, Paolo Lollini
, Fabrizio Squittieri:
Integration of an MPS Modeling Approach into Mobius. QEST 2006: 139-140 - Jalil Boukhobza
, Claude Timsit:
Toolbox for Dimensioning Windows Storage Systems. QEST 2006: 31-40 - Peter Buchholz
, Peter Kemper:
Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques. QEST 2006: 233-242 - Ana Busic
, Mouad Ben Mamoun, Jean-Michel Fourneau:
Modeling Fiber Delay Loops in an All Optical Switch. QEST 2006: 93-102 - Andrea Camesi, Jarle Hulaas
, Walter Binder
:
Continuous Bytecode Instruction Counting for CPU Consumption Estimation. QEST 2006: 19-30 - Héctor Cancela
, Pablo Rodríguez-Bocca:
Optimization of Cache Expiration Dates in Content Networks. QEST 2006: 269-278 - Giuliano Casale:
On Single-Class Load-Dependent Normalizing Constant Equations. QEST 2006: 333-342 - Davide Cerotti
, Susanna Donatelli, András Horváth
, Jeremy Sproston:
CSL Model Checking for Generalized Stochastic Petri Nets. QEST 2006: 199-210 - Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
:
Compositional Quantitative Reasoning. QEST 2006: 179-188 - Krishnendu Chatterjee
, Luca de Alfaro, Thomas A. Henzinger:
Strategy Improvement for Concurrent Reachability Games. QEST 2006: 291-300 - Alexander Chobanyan, Matt W. Mutka
, Shlomo Levental, Ning Xi:
Behavior of Available End-to-end Bandwidth: Non-Parametric Approach. QEST 2006: 9-18 - Frank Ciesinski, Christel Baier:
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems. QEST 2006: 131-132 - Tod Courtney, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders:
Data Analysis and Visualization within the Möbius Modeling Environment. QEST 2006: 137-138 - Matthew Curtis-Maury, Dimitrios S. Nikolopoulos
, Christos D. Antonopoulos
:
PACMAN: A PerformAnce Counters MANager for Intel Hyperthreaded Processors. QEST 2006: 141-144 - David Daly, Peter Buchholz
, William H. Sanders:
Bound-Preserving Composition for Markov Reward Models. QEST 2006: 243-252 - Greg Franks, Dorina C. Petriu
, C. Murray Woodside, Jing Xu, Peter Tregunno:
Layered Bottlenecks and Their Mitigation. QEST 2006: 103-114 - Daniel Garcia, Catalina M. Lladó, Connie U. Smith, Ramón Puigjaner:
A PMIF Semantic Validation Tool. QEST 2006: 121-122 - Michele Garetto, Marco Gribaudo
:
Performance Anlysis of Delay Tolerant Networks with Model Checking Techniques. QEST 2006: 73-82 - Joseph Y. Halpern:
Causality, Responsibility, and Blame: A Structural-Model Approach. QEST 2006: 3-8 - Yezekael Hayel, Víctor Manuel Ramos Ramos
, Bruno Tuffin:
Optimal Static Pricing of Reverse-Link DS-CDMA Multiclass Traffic. QEST 2006: 279-290 - Thomas Hérault
, Richard Lassaigne, Sylvain Peyronnet:
APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains. QEST 2006: 129-130 - Roger Kalden, Boudewijn R. Haverkort
:
Measuring and Modeling of Application Flow Length in Commercial GPRS Networks. QEST 2006: 83-92
skipping 24 more matches
loading more results
failed to load more results, please try again later
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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-08-18 21:46 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