Ministry of Education
Vidvan Image

Dr Astrid Kiehn

vidwan id: 174365
Female

,

Google Scholar Icon 8850002600

Expertise

  • Computer Science Theory and Methods

Publications

Total Articles 14
Books 0
Proceedings 0

Publications

No publication activity to display at the moment.

Scopus

Citations 234
h-index 8

CrossRef

CrossRef Icon
Citations 193
h-index 6
Google Scholar

Loading Scholar statistics...

Professional Recognition

No Data Found

There is currently nothing to display here.

Community & Membership

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Bio

Theory of Computation, Logic for Computer Science, Verification of Reactive Systems, Discrete Mathematics.

Personal Details

  • Female
  • Okhla Phase III, Okhla Industrial Area, New Delhi, Delhi, India
Ph.D
Other Institute 1998
Ph.D
Other Institute 1989
Associate Professor Dec 2008 – Jan 2016
Indraprastha Institute of Information Technology Delhi (IIIT Delhi) | Department of Computer Science and Engineering

Related Profiles

Experts (2488+)

View All
Pragati

Ms Pragati Mishra

Assistant Professor

Sridhar

Dr Sridhar Sekar

Assistant Professor

DEEPAK

Mr DEEPAK B N

N/A

Md

Dr Md Nadeem M

Assistant Professor

Rashmi

Rashmi Chandra

Assistant Professor

Anjali

Dr Anjali Jadhav

Doctor

Abhishek

Mr Abhishek Shukla

Assistant Professor (Grade-I)

N

Dr N PRAKASH

Assistant Professor

Mrinmoy

Mr Mrinmoy Sadhukhan

Research Scholar

Haranath

Mr Haranath Rakshit

Junior Research Fellow

Organisation (0)

no data

Co-Authors (3)

Astrid

Dr Astrid Kiehn

Indian Institute of Technology Mandi

Pushpendra

Prof Pushpendra Singh

Indraprastha Institute of Information Technology Delhi (IIIT Delhi)

Pushpendra

Dr Pushpendra Singh

Atria University

Scholarly Work

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Scholarly Publications

Consistency as a branching time notion

Open Access
Conference Paper
Year: 2019. Volume: 11436 LNCS , Pages: 359-377 .
Authors: Kiehn A.;Pattathurajan M.
DOI 10.1007/978-3-030-14812-6_22

A study of mutable checkpointing and related algorithms

Open Access
Article
Science of Computer Programming. Year: 2018. Volume: 160 , Pages: 78-92 .
Authors: Kiehn A.;Aggarwal D.
DOI 10.1016/j.scico.2017.03.009
1 2

Analyzing mutable checkpointing via invariants

Open Access
Conference Paper
Year: 2015. Volume: 9392 , Pages: 176-190 .
Authors: Aggarwal D.;Kiehn A.
DOI 10.1007/978-3-319-24644-4_12
2 2

A causal checkpointing algorithm for mobile computing environments

Open Access
Conference Paper
Year: 2014. Volume: 8314 LNCS , Pages: 134-148 .
Authors: Kiehn A.;Raj P.;Singh P.
DOI 10.1007/978-3-642-45249-9_9
4 8

Amortised bisimulations

Open Access
Conference Paper
Year: 2005. Volume: 3731 LNCS , Pages: 320-334 .
Authors: Kiehn A.;Arun-Kumar S.
DOI 10.1007/11562436_24
13 20

On timed automata with discrete time - Structural and language theoretical characterization

Open Access
Conference Paper
Year: 2005. Volume: 3572 , Pages: 272-283 .
Authors: Gruber H.;Holzer M.;Kiehn A.;König B.
DOI 10.1007/11505877_24
4 9

On the model checking problem for branching time logics and basic parallel processes

Open Access
Conference Paper
Year: 1995. Volume: 939 , Pages: 353-366 .
Authors: Esparza J.;Kiehn A.
DOI 10.1007/3-540-60045-0_62
19 30