Andrzej Wasowski

Publikation

Publikationer pr. år 2008 2010 2011 2012 2013 2014 2015 2018 2019 2020 2023 2024

• 70 Konferencebidrag i proceedings
• 43 Tidsskriftartikel
• 15 Konferenceartikel
• 6 Bidrag til bog/antologi
• 15 Mere
  • 3 Konferenceabstrakt til konference
  • 3 Leder
  • 3 Andet bidrag
  • 2 Rapport
  • 1 Bog
  • 1 Bidrag til rapport
  • 1 Paper
  • 1 Poster

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2023

  Towards Formal Specification of Reinforcement Learning

  Varshosaz, M., Ghaffari, M., Broch Johnsen, E. & Wasowski, A., 2023.

  Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Konferenceabstrakt til konference › Forskning › peer review
• 2015

  Family-Based Model Checking using Off-the-Shelf Model Checkers

  Dimovski, A., Al-Sibahi, A. S., Brabrand, C. & Wasowski, A., 2015.

  Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Konferenceabstrakt til konference › Forskning
• 2013

  Towards a core language for separate variability modeling

  Iosif-Lazăr, A. F., Schaefer, I. & Wasowski, A., 2013. 3 s.

  Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Konferenceabstrakt til konference › Forskning › peer review