Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(2)
Diana Fischer
2
Erich Grädel
1
Journals
(1)
MST
1
Keywords
(20)
Embed
Subscribe
Academic
Authors
Łukasz Kaiser
Łukasz Kaiser,Rheinisch Westfalische Technische Hochschule Aachen,Algorithms & Theory
Edit
Łukasz Kaiser
Rheinisch Westfalische Technische Hochschule Aachen
Publications:
4
|
Citations:
1
Fields:
Algorithms & Theory
View FAQ about top research areas and Fields of study
Collaborated with
2 co-authors
in 2010
|
Cited by
1 author
Cumulative
Annual
Sort by:
Publications
(4)
BibTeX
|
RIS
|
RefWorks
Download
Model Checking Games for the Quantitative μ Calculus
(
Citations: 1
)
Diana Fischer
,
Erich Grädel
,
Łukasz Kaiser
Journal:
Theory of Computing Systems / Mathematical Systems Theory - MST
, vol. 47, no. 3, pp. 696-719, 2010
Model Checking the Quantitative μ Calculus on Linear Hybrid Systems
Diana Fischer
,
Łukasz Kaiser
Synthesis for Structure Rewriting Systems
Łukasz Kaiser
Game Quantification on Automatic Structures and Hierarchical Model Checking Games
Łukasz Kaiser
Sort by:
Citations
(1 time by 1 publication)
Model Checking the Quantitative μ Calculus on Linear Hybrid Systems
Diana Fischer
,
Łukasz Kaiser
Comments