Billede af Peter Gjøl Jensen

Vis Scopus-profil

Peter Gjøl Jensen

 https://orcid.org/0000-0002-9320-9991

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

    9220 Aalborg Ø

    Danmark

20142024

Publikationer pr. år

Filter
Bidrag til bog/antologi

Søgeresultater

  • Bidrag til bog/antologi

    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 proceeding › Bidrag til bog/antologi › Forskning › peer review

    9 Citationer (Scopus)

  • PlayingWORDLE with UPPAAL STRATEGO

    Jensen, P. G., Larsen, K. G. & Mikučionis, M., 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (red.). Springer, s. 283-305 23 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13560 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review