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
(107)
Ugo Montanari
3
Joost-Pieter Katoen
2
Zhi-Ming Liu
2
Pedro R. D’Argenio
2
David A. Naumann
2
Ed Brinksma
2
Werner Damm
2
Davide Sangiorgi
2
Frank S. de Boer
2
David Gries
2
Keywords
(88)
Subscribe
Academic
Conferences
PROCOMET - Programming Concepts, Methods and Calculi
PROCOMET - Programming Concepts, Methods and Calculi
Publications: 62
|
Citation Count: 1,127 (Self-Citation: 3)
|
H-Index: 18Year Range: 1994-1998
Interests:
Programming Languages
Homepage
Add CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(62)
Extended static checking
(
Citations: 337
)
K. Rustan M. Leino
Conference:
Programming Concepts, Methods and Calculi - PROCOMET
, pp. 1-2, 1998
Using state space exploration and a natural deduction style message derivation engine to verify security protocols
(
Citations: 92
)
Edmund M. Clarke
,
Somesh Jha
,
Wilfredo R. Marrero
Conference:
Programming Concepts, Methods and Calculi - PROCOMET
, pp. 87-106, 1998
An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract)
(
Citations: 44
)
Pedro R. D'argenio
,
Joost-pieter Katoen
,
Ed Brinksma
Conference:
Programming Concepts, Methods and Calculi - PROCOMET
, 1998
An algebraic approach to the specification of stochastic systems
(
Citations: 25
)
Pedro R. D'argenio
,
Joost-pieter Katoen
,
Ed Brinksma
Conference:
Programming Concepts, Methods and Calculi - PROCOMET
, pp. 126-147, 1998
Logical foundations for typed object-oriented languages
(
Citations: 32
)
Arnd Poetzsch-heffter
,
Peter Müller
Conference:
Programming Concepts, Methods and Calculi - PROCOMET
, pp. 404-423, 1998