Login / Signup
Lasse S. Jensen
Publication Activity (10 Years)
Years Active: 2017-2019
Publications (10 Years): 3
Top Topics
Fixed Point
Cl Pc
Coalition Logic
Alternating Time Temporal Logic
Top Venues
Petri Nets
J. Log. Algebraic Methods Program.
Fundam. Informaticae
</>
Publications
</>
Lasse S. Jensen
,
Isabella Kaufmann
,
Kim G. Larsen
,
Søren M. Nielsen
,
Jirí Srba
Model checking and synthesis for branching multi-weighted logics.
J. Log. Algebraic Methods Program.
105 (2019)
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)