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

Consistency as a branching time notion

Open Access
Conference Paper

A study of mutable checkpointing and related algorithms

Open Access
Article

Analyzing mutable checkpointing via invariants

Open Access
Conference Paper

A causal checkpointing algorithm for mobile computing environments

Open Access
Conference Paper

Amortised bisimulations

Open Access
Conference Paper

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

Open Access
Conference Paper
Authors: Gruber H.;Holzer M.;Kiehn A.;König B.

On the decidability of non-interleaving process equivalences

Open Access
Article