Vidvan Image

Dr Astrid Kiehn

vidwan id: 174365
Female

,

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

Md

Dr Md Nadeem M

Assistant Professor

Rashmi

Rashmi Chandra

Assistant Professor

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

On the decidability of non-interleaving process equivalences

Open Access
Conference Paper

Comparing locality and causality based equivalences

Open Access
Article

Proof systems for cause based equivalences

Open Access
Conference Paper

A theory of processes with localities

Open Access
Conference Paper
Authors: Boudol G.;Castellani I.;Hennessy M.;Kiehn A.

Observing localities

Open Access
Conference Paper
Authors: Boudol G.;Castellani I.;Hennessy M.;Kiehn A.

Concurrent bisimulations in Petri nets

Open Access
Article