Login / Signup
Peter Fogh
Publication Activity (10 Years)
Years Active: 2016-2018
Publications (10 Years): 3
Top Topics
Fixed Point
Description Language
Formal Specification
Dependency Graphs
Top Venues
Petri Nets
Fundam. Informaticae
CPS Data
</>
Publications
</>
Andreas Engelbredt Dalsgaard
,
Søren Enevoldsen
,
Peter Fogh
,
Lasse S. Jensen
,
Peter Gjøl Jensen
,
Tobias Skovgaard Jepsen
,
Isabella Kaufmann
,
Kim G. Larsen
,
Søren M. Nielsen
,
Mads Chr. Olesen
,
Samuel Pastva
,
Jirí Srba
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs.
Fundam. Informaticae
161 (4) (2018)
Andreas Engelbredt Dalsgaard
,
Søren Enevoldsen
,
Peter Fogh
,
Lasse S. Jensen
,
Tobias Skovgaard Jepsen
,
Isabella Kaufmann
,
Kim G. Larsen
,
Søren M. Nielsen
,
Mads Chr. Olesen
,
Samuel Pastva
,
Jirí Srba
Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation.
Petri Nets
(2017)
Peter Fogh
,
Thomas C. Hald
,
Brian Nielsen
WUppaal: A web-service for the Uppaal model-checker.
CPS Data
(2016)