CORE
🇺🇦Â
 make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
4 research outputs found
Stubborn versus structural reductions for Petri nets
Author
Bønneland Frederik M.
Dyhr Jakob
+3Â more
Jensen Peter G.
Johannsen Mads
Srba JiĹ™Ă
Publication venue
'Elsevier BV'
Publication date
01/01/2019
Field of study
Get PDF
VBN
A Simplified and Stubborn Approach to CTL Model Checking of Petri Nets
Author
Bønneland Frederik Meyer
Dyhr Jakob
Johannsen Mads
Publication venue
Publication date
01/01/2017
Field of study
No full text
VBN
Usability Testing of Pilot Services
Author
Ahola T.
Fleury A.
+11Â more
Hammershøj Allan Dyhr
Ilieva Tsvetomira Milkova
Larsen Jakob Eg
Larsen L. B.
Nicolajsen Hanne Westh
Nikolakopoulos I. G.
Patrikakis C. Z.
Pedersen C. F.
Roswall R.
Schultz Nette
Sørensen Lene Tolstrup
Publication venue
Aalborg University
Publication date
01/01/2008
Field of study
No full text
Online Research Database In Technology
Draft User Functionalities and Interfaces of PN Services (Low-fi Prototyping):My Personal Adaptive Global NET and Beyond
Author
Bessler S.
Hammershøj Allan Dyhr
+22Â more
Heinze Emil Kim Søgaard
Kaldanis V.
Karamolegkos P.
Kyriazanos M.
Larsen Jakob Eg
Larsen L.B.
Nikolakopoulos G.
Oksa J.
Olesen Henning
Oleseni C.
Patrikakis C.Z.
Pedersen C.F.
Pedersen J.S.
Proschowsky Morten
Protonotarios V.
Roswall R.
Saugstrup Dan
Schultz Nette
Sørensen J.K.
Sørensen Lene
Tan Su-En
Xu Cheng
Publication venue
Aalborg University, Magnet
Publication date
01/01/2006
Field of study
No full text
Online Research Database In Technology