Hierarchical Reachability Graph Generation for Petri NetsPeter Buchholz; Peter Kemper · 2002

On generating a hierarchy for GSPN analysisBuchholz, Peter; Kemper, Peter · ACM SIGMETRICS Performance Evaluation Review · 1998

Model Checking for a Class of Weighted AutomataPeter Buchholz; Peter Kemper · 2010

Ability to Obtain Medical Care for the UninsuredCunningham, Peter J.; Kemper, Peter · JAMA · 1998

Model-checking large structured Markov chainsPeter Buchholz; Joost-Pieter Katoen; Peter Kemper; Carsten Tepper · 2003

Multi-class Markovian arrival processes and their parameter fittingPeter Buchholz; Peter Kemper; Jan Kriege · 2010

Efficient Computation and Representation of Large Reachability Sets for Composed AutomataPeter Buchholz; Peter Kemper · Discrete Event Dynamic Systems · 2002

Postprandial FGF19-induced phosphorylation by Src is critical for FXR function in bile acid homeostasisByun, Sangwon; Kim, Dong-Hyun; Ryerson, Daniel; Kim, Young-Chae; Sun, Hao; Kong, Bo; Yau, Peter; Guo, Grace; Xu, H. Eric; Kemper, Byron; Kemper, Jongsook Kim · Nature Communications · 2018