Sage Journals: Discover world-class research

Retricted access

Research article

First published 2006-11

Using ontologies and STEP standards for the semantic simplification of CAD models in different engineering domains

Jorge Posada, Carlos Toro, Stefan Wundrak [...]

Applied Ontology

Retricted access

Research article

First published 2010-9

Big-step Operational Semantics Revisited

JarosłAw Dominik Mateusz Kuśmierek, Viviana Bono

Fundamenta Informaticae

Retricted access

Research article

First published 2024

One-step multi-view clustering via deep-level semantics exploiting

Jiawei Peng, Yong Mi, Zhenwen Ren [...]

Journal of Information Science

Retricted access

Research article

First published 1999-11

Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs

Nadia Busi, G. Michele Pinna

Fundamenta Informaticae

Retricted access

Research article

First published 2000-11

Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets

Nadia Busi, G. Michele Pinna

Fundamenta Informaticae

Free access

Editorial

First published 2016-3-23

Semantic Web for the Legal Domain: The next step

Pompeu Casanovas, Monica Palmirani, Silvio Peroni [...]

Semantic Web: – Interoperability,Usability,Applicability

Retricted access

Research article

First published 2015-4

Persistent and Nonviolent Steps and the Design of GALS Systems

Johnson Fernandes, Maciej Koutny, Łukasz Mikulski [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2015-8

Characterising Concurrent Histories

Ryszard Janicki, Jetty Kleijn, Maciej Koutny [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2013-1

Mutex Causality in Processes and Traces of General Elementary Nets

Jetty Kleijn, Maciej Koutny

Fundamenta Informaticae

Retricted access

Research article

First published 2021

Investigating Reversibility of Steps in Petri Nets

David de Frutos Escrig, Maciej Koutny, Łukasz Mikulski

Fundamenta Informaticae

Search results