Vidvan Image

Dr Astrid Kiehn

vidwan id: 113368
Female

Visiting Faculty, School of Computing and Electrical Engineering
Indian Institute of Technology Mandi

Expertise

  • Computer Science Information Systems

Publications

Total Articles 17
Books 0
Proceedings 0

Publications

No publication activity to display at the moment.

Scopus

Citations 339
h-index 9

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

Distributed Algorithms, Concurrency Theory, Formal Verification

Personal Details

  • Female
  • Visiting Faculty , Indian Institute of Technology Mandi
  • Indian Institute of Technology Mandi, Kamand Campus
Ph.D
Other Institute 1989
Visiting Faculty Jan 2016 – Present
Indian Institute of Technology Mandi | School of Computing and Electrical Engineering

Related Profiles

Experts (14089+)

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

Organisations (198+)

View All
Astrid

Dr Astrid Kiehn

Visiting Faculty

Aruna

Dr Aruna Bommareddi

Assistant Professor

Ashish

Dr Ashish Bollimbala

Assistant Professor

Ashutosh

Dr Ashutosh Kumar

Assistant Professor

B D

Dr B D Chaudhary

Emeritus Professor

Baskar

Dr Baskar Bakthavachalu

Associate Professor

Balthasar

Prof Balthasar Novak

Adjunct Professor

Bhaskar

Dr Bhaskar Mondal

Associate Professor

Co-Authors (3)

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 model checking problem for branching time logics and basic parallel processes

Open Access
Conference Paper

Comparing locality and causality based equivalences

Open Access
Article

On the decidability of non-interleaving process equivalences

Open Access
Conference Paper

A theory of processes with localities

Open Access
Article

Proof systems for cause based equivalences

Open Access
Conference Paper

Observing localities

Open Access
Article

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.