Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(47)
Marta Zofia Kwiatkowska
4
Joost-Pieter Katoen
3
Pedro R. D’Argenio
3
Gethin Norman
3
Holger Hermanns
3
Kim Guldstrand Larsen
2
Boudewijn Haverkort
2
Roberto Segala
2
Mario Bravetti
2
Markus Siegle
2
Keywords
(102)
Subscribe
Academic
Conferences
Process Algebra and Probabilistic Methods
Process Algebra and Probabilistic Methods
Publications: 30
|
Citation Count: 462 (Self-Citation: 9)
|
H-Index: 13Year Range: 2001-2002
Interests:
Programming Languages
Homepage
Add CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(30)
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol
(
Citations: 46
)
Marta Z. Kwiatkowska
,
Gethin Norman
,
Jeremy Sproston
Conference:
Process Algebra and Probabilistic Methods
, pp. 169-187, 2002
Reduction and Refinement Strategies for Probabilistic Analysis
(
Citations: 32
)
Pedro R. D'argenio
,
Bertrand Jeannet
,
Henrik Ejersbo Jensen
,
Kim Guldstrand Larsen
Conference:
Process Algebra and Probabilistic Methods
, pp. 57-76, 2002
Security Analysis of a Probabilistic Non-repudiation Protocol
(
Citations: 17
)
Alessandro Aldini
,
Roberto Gorrieri
Conference:
Process Algebra and Probabilistic Methods
, pp. 17-36, 2002
Deriving Symbolic Representations from Stochastic Process Algebras
(
Citations: 13
)
Matthias Kuntz
,
Markus Siegle
Conference:
Process Algebra and Probabilistic Methods
, pp. 188-206, 2002
Approximate Verification of Probabilistic Systems
(
Citations: 17
)
Richard Lassaigne
,
Sylvain Peyronnet
Conference:
Process Algebra and Probabilistic Methods
, pp. 213-214, 2002