Остановите войну!
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 32 matches
- 2014
- Dieky Adzkiya, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
Finite Abstractions of Stochastic Max-Plus-Linear Systems. QEST 2014: 74-89 - Elvio Gilberto Amparore:
A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking. QEST 2014: 170-173 - Elvio Gilberto Amparore, Peter Buchholz, Susanna Donatelli:
A Structured Solution Approach for Markov Regenerative Processes. QEST 2014: 9-24 - Oana Andrei, Muffy Calder, Matthew Higgs, Mark A. Girolami:
Probabilistic Model Checking of DTMC Models of User Activity Patterns. QEST 2014: 138-153 - Alberto Avritzer, Laura Carnevali, Lucia Happe, Anne Koziolek, Daniel Sadoc Menasché, Marco Paolieri, Sindhu Suresh:
A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids. QEST 2014: 345-367 - Tamer Basar:
Multi-agent Networked Systems with Adversarial Elements. QEST 2014: 5-8 - Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli:
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems. QEST 2014: 281-296 - Nathalie Bertrand, Thomas Brihaye, Blaise Genest:
Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata. QEST 2014: 313-328 - Luca Bortolussi, Rytis Paskauskas:
Mean-Field Approximation and Quasi-Equilibrium Reduction of Markov Population Models. QEST 2014: 106-121 - Luca Bortolussi, Guido Sanguinetti:
A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical Systems. QEST 2014: 41-56 - Herwig Bruneel, Wouter Rogiest, Joris Walraevens, Sabine Wittevrongel:
On Queues with General Service Demands and Constant Service Capacity. QEST 2014: 210-225 - Craig Buchanan, Ken Keefe:
Simulation Debugging and Visualization in the Möbius Modeling Framework. QEST 2014: 226-240 - Rohit Chadha, Dileep Kini, Mahesh Viswanathan:
Decidable Problems for Unary PFAs. QEST 2014: 329-344 - Stéphane Durand, Bruno Gaujal, Florence Perronnin, Jean-Marc Vincent:
A Perfect Sampling Algorithm of Random Walks with Forbidden Arcs. QEST 2014: 178-193 - Cheng Feng, Jane Hillston:
PALOMA: A Process Algebra for Located Markovian Agents. QEST 2014: 265-280 - Anastasis Georgoulas, Jane Hillston, Dimitrios Milios, Guido Sanguinetti:
Probabilistic Programming Process Algebra. QEST 2014: 249-264 - Marcel C. Guenther, Jeremy T. Bradley:
On Performance of Gossip Communication in a Crowd-Sensing Scenario. QEST 2014: 122-137 - Richard A. Hayden, Illés Horváth, Miklós Telek:
Mean Field for Performance Models with Generally-Distributed Timed Transitions. QEST 2014: 90-105 - Geert J. Heijenk, Martijn van Eenennaam, Anne Remke:
Performance Comparison of IEEE 802.11 DCF and EDCA for Beaconing in Vehicular Networks. QEST 2014: 154-169 - Thomas Heyman, Davy Preuveneers, Wouter Joosen:
Scalar: A Distributed Scalability Analysis Framework. QEST 2014: 241-244 - Manfred Jaeger, Hua Mao, Kim Guldstrand Larsen, Radu Mardare:
Continuity Properties of Distances for Markov Processes. QEST 2014: 297-312 - Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker:
Accelerating Parametric Probabilistic Verification. QEST 2014: 404-420 - Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
Compositionality Results for Quantitative Information Flow. QEST 2014: 368-383 - Samuel Kounev:
Quantitative Evaluation of Service Dependability in Shared Execution Environments. QEST 2014: 1-4 - Daniel Kressner, Francisco Macedo:
Low-Rank Tensor Methods for Communicating Markov Processes. QEST 2014: 25-40 - Moreno Marzolla:
The Octave Queueing Package. QEST 2014: 174-177 - Nobuyuki Ohba, Seiji Munetoh, Atsuya Okazaki, Yasunao Katayama:
Non-intrusive Scalable Memory Access Tracer. QEST 2014: 245-248 - Rasha Osman, Pietro Piazzolla:
Modelling Replication in NoSQL Datastores. QEST 2014: 194-209 - Markus N. Rabe, Christoph M. Wintersteiger, Hillel Kugler, Boyan Yordanov, Youssef Hamadi:
Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains. QEST 2014: 388-403 - Sadegh Esmaeil Zadeh Soudjani, Sebastian Gerwinn, Christian Ellen, Martin Fränzle, Alessandro Abate:
Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads. QEST 2014: 57-73
skipping 2 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-05-05 17:12 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