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  →