20142019
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Fingerprint Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.

Petri nets Teknik og materialevidenskab
Model checking Teknik og materialevidenskab
Controllers Teknik og materialevidenskab
Hybrid systems Teknik og materialevidenskab
Temporal logic Teknik og materialevidenskab
Query languages Teknik og materialevidenskab
edition Samfundsvidenskab
Scalability Teknik og materialevidenskab

Netværk Klik på punkterne for at se detaljerne.

Publikationer 2014 2019

  • 13 Konferenceartikel i proceeding
  • 3 Tidsskriftartikel
  • 1 Ph.d.-afhandling
  • 1 Bidrag til bog/antologi

Stubborn versus structural reductions for Petri nets

Bønneland, F. M., Dyhr, J., Jensen, P. G., Johannsen, M. & Srba, J., 2019, I : Journal of Logical and Algebraic Methods in Programming. 102, s. 46-63 18 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

A Distributed Fixed-Point Algorithm for Extended Dependency Graphs

Dalsgaard, A. E., Enevoldsen, S., Fogh, P., Jensen, L. S., Jensen, P. G., Jepsen, T. S., Kaufmann, I., Larsen, K. G., Nielsen, S. M., Olesen, M. C., Pastva, S. & Srba, J., 2018, I : Fundamenta Informaticae. 161, 4, s. 351-381

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

1 Citation (Scopus)

Discrete and Continuous Strategies for Timed-Arc Petri Net Games

Jensen, P. G., Larsen, K. G. & Srba, J., 2018, I : International Journal on Software Tools for Technology Transfer. 20, 5, s. 529–546 18 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Petri nets
Controllers
146 Downloads (Pure)

Efficient Analysis and Synthesis of Complex Quantitative Systems

Jensen, P. G., 2018, Aalborg Universitetsforlag. 227 s. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
1 Citation (Scopus)
149 Downloads (Pure)

Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU

Nyman, U., Jensen, P. G., Larsen, K. G. & Legay, A., 15 feb. 2018, 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017, Fukuoka, Japan, November 5-8, 2017. IEEE, s. 11-19 9 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil

Presse/medie