• Selma Lagerløfs Vej 300, 1-2-16

    9220 Aalborg Ø

    Danmark

20142018
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 2018

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

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
122 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
98 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
1 Citation (Scopus)

MCC’2017: The Seventh Model Checking Contest

Kordon, F., Garavel, H., Hillah, L. M., Paviot-Adet, E., Jezequel, L., Hulin-Hubard, F., Amparore, E., Beccuti, M., Berthomieu, B., Evrard, H., Jensen, P. G., Le Botlan, D., Liebke, T., Meijer, J., Srba, J., Thierry-Mieg, Y., van de Pol, J. & Wolf, K., 1 jan. 2018, Transactions on Petri Nets and Other Models of Concurrency XIII. Koutny, M., Kristensen, L. M. & Penczek, W. (red.). Springer, s. 181-209 29 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11090 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

edition
Spain
evaluation
software

Presse/medie

Aarhusiansk app hjælper kulturlivet

Peter Gjøl Jensen

17/11/2015

1 element af mediedækning

Presse/medie