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
Co-authors
(83)
Holger Hermanns
30
Joost-Pieter Katoen
29
Boudewijn Haverkort
21
Marcus Grosser (Marcus Größer)
18
Farhad Arbab
17
Conferences
(31)
CONCUR
8
QEST
5
CAV
4
COORDINATION
4
ICALP
3
Journals
(22)
ENTCS
15
TCS
6
SCP
5
IPL
4
IANDC
3
Keywords
(266)
Embed
Subscribe
Academic
Authors
Christel Baier
Edit
Christel Baier
Dresden University of Technology
Publications: 153
|
Citations: 2466
|
G-Index: 45
|
H-Index: 24
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Algorithms & Theory
,
Software Engineering
,
Programming Languages
View FAQ about top research area and research interests
Collaborated with
83 co-authors
from 1991 to 2011
; Cited by
1380 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(153)
BibTeX
|
RIS
|
RefWorks
Download
Synthesis of Reo circuits from scenario-based interaction specifications
Sun Meng
,
Farhad Arbab
,
Christel Baier
Journal:
Science of Computer Programming - SCP
, vol. 76, no. 8, pp. 651-680, 2011
Performance evaluation and model checking join forces
(
Citations: 7
)
Christel Baier
,
Boudewijn R. Haverkort
,
Holger Hermanns
,
Joost-Pieter Katoen
Journal:
Communications of The ACM - CACM
, vol. 53, no. 9, pp. 76-85, 2010
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo
(
Citations: 3
)
Immo Grabe
,
Mohammad Mahdi Jaghoori
,
Bernhard K. Aichernig
,
Christel Baier
,
Tobias Blechmann
,
Frank S. de Boer
,
Andreas Griesmayer
,
Einar Broch Johnsen
,
Joachim Klein
,
Sascha Klüppelholz
,
Marcel Kyas
,
Wolfgang Leister
http://academic.research.microsoft.com/io.ashx?type=5&id=14001479&selfId1=1602803&selfId2=0&maxNumber=12&query=
Journal:
Electronic Notes in Theoretical Computer Science - ENTCS
, vol. 266, pp. 33-48, 2010
Performability assessment by model checking of Markov reward models
(
Citations: 2
)
Christel Baier
,
Lucia Cloth
,
Boudewijn R. Haverkort
,
Holger Hermanns
,
Joost-Pieter Katoen
Journal:
Formal Methods in System Design - FMSD
, vol. 36, no. 1, pp. 1-36, 2010
Alternating-time stream logic for multi-agent systems
(
Citations: 2
)
Sascha Klüppelholz
,
Christel Baier
Journal:
Science of Computer Programming - SCP
, vol. 75, no. 6, pp. 398-425, 2010
Order by:
Citations
(2466 times by 1353 publications)
Dynamic QoS Management and Optimization in Service-Based Systems
(
Citations: 6
)
Radu Calinescu
,
Lars Grunske
,
Raffaela Mirandola
,
Giordano Tamburrelli
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 3, pp. 387-409, 2011
Modeling dynamic reconfigurations in Reo using high-level replacement systems
(
Citations: 4
)
Christian Krause
,
Ziyan Maraikar
,
Alexander Lazovik
,
Farhad Arbab
Journal:
Science of Computer Programming - SCP
, vol. 76, no. 1, pp. 23-36, 2011
Quantitative Multi-objective Verification for Probabilistic Systems
(
Citations: 5
)
Vojtech Forejt
,
Marta Z. Kwiatkowska
,
Gethin Norman
,
David Parker
,
Hongyang Qu
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 112-127, 2011
Numerical analysis of continuous time Markov decision processes over finite horizons
(
Citations: 4
)
Peter Buchholz
,
Ingo Schulz
Journal:
Computers & Operations Research - CoR
, vol. 38, no. 3, pp. 651-659, 2011
Distributed Algorithms for SCC Decomposition
(
Citations: 4
)
Jiri Barnat
,
Jakub Chaloupka
,
Jaco van de Pol
Journal:
Journal of Logic and Computation - LOGCOM
, vol. 21, no. 1, pp. 23-44, 2011
Comments