Semantic search
Jump to navigation
Jump to search
Paper | |
---|---|
description | |
id | |
wikidataid | → |
title | Scholarly Social Machines |
pdfUrl | |
dblpUrl | |
volume | → |
session | → |
Paper | |
---|---|
description | |
id | |
wikidataid | → |
title | Towards a Knowledge Graph Lifecycle: A pipeline for the population of a commercial Knowledge Graph |
pdfUrl | |
dblpUrl | |
volume | → |
session | → |
Paper | |
---|---|
description | |
id | |
wikidataid | → |
title | Formalizing Gremlin Pattern Matching Traversals in an Integrated Graph Algebra |
pdfUrl | |
dblpUrl | |
volume | → |
session | → |
Paper | |
---|---|
description | |
id | |
wikidataid | → |
title | Private Digital Identity on Blockchain |
pdfUrl | |
dblpUrl | |
volume | → |
session | → |
Paper | |
---|---|
description | |
id | |
wikidataid | → |
title | Using PROVA-Rule Engine as Dispatching-Service for FHIR-Observation-Resources |
pdfUrl | |
dblpUrl | |
volume | → |
session | → |
Paper | |
---|---|
description | |
id | |
wikidataid | → |
title | One-Shot Rule Learning for Challenging Character Recognition |
pdfUrl | |
dblpUrl | |
volume | → |
session | → |
Paper | |
---|---|
description | |
id | |
wikidataid | → |
title | Towards an Experiment for Analyzing Subprocess Navigation in BPMN Tooling (short paper) |
pdfUrl | |
dblpUrl | |
volume | → |
session | → |
Paper | |
---|---|
description | |
id | |
wikidataid | → |
title | Digital Twins: An Emerging Paradigm for
Model-Centric Engineering (Invited Talk) |
pdfUrl | |
dblpUrl | |
volume | → |
session | → |
Paper | |
---|---|
description | |
id | |
wikidataid | → |
title | Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction |
pdfUrl | |
dblpUrl | |
volume | → |
session | → |
Paper | |
---|---|
description | |
id | |
wikidataid | → |
title | Probabilistic Communication Structured Acyclic Nets |
pdfUrl | |
dblpUrl | |
volume | → |
session | → |
Paper | |
---|---|
description | |
id | |
wikidataid | → |
title | Towards Automatic Extraction of Events for SON Modelling |
pdfUrl | |
dblpUrl | |
volume | → |
session | → |
Paper | |
---|---|
description | |
id | |
wikidataid | → |
title | Partial Specifications of Component-Based Systems using Petri Nets |
pdfUrl | |
dblpUrl | |
volume | → |
session | → |
Paper | |
---|---|
description | |
id | |
wikidataid | → |
title | Between Expressiveness and Verifiability: P/T-nets with Synchronous Channels and Modular Structure |
pdfUrl | |
dblpUrl | |
volume | → |
session | → |
Paper | |
---|---|
description | |
id | |
wikidataid | → |
title | Information Flow among Transitions of Bounded Equal-Conflict Petri Nets |
pdfUrl | |
dblpUrl | |
volume | → |
session | → |
Paper | |
---|---|
description | |
id | |
wikidataid | → |
title | Analysing Adaption Processes of Hornets |
pdfUrl | |
dblpUrl | |
volume | → |
session | → |
Paper | |
---|---|
description | |
id | |
wikidataid | → |
title | On Reduction of Cycloids |
pdfUrl | |
dblpUrl | |
volume | → |
session | → |
Paper | |
---|---|
description | |
id | |
wikidataid | → |
title | EDEN Framework for Interactive Analysis of Ecosystems Models |
pdfUrl | |
dblpUrl | |
volume | → |
session | → |
Paper | |
---|---|
description | |
id | |
wikidataid | → |
title | Analysing Multi-Agent Systems using 1-safe Petri Nets |
pdfUrl | |
dblpUrl | |
volume | → |
session | → |
Paper | |
---|---|
description | |
id | |
wikidataid | → |
title | Enhancement of Renew to Version 4.0 using JPMS |
pdfUrl | |
dblpUrl | |
volume | → |
session | → |
Paper | |
---|---|
description | |
id | |
wikidataid | → |
title | Adaptative Systems Based on Continuous Observation of Petri Net Product Lines |
pdfUrl | |
dblpUrl | |
volume | → |
session | → |