Radu Mereuta

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 3

Top Topics

Owl Dl Ontology

Defeasible Logic

Formal Semantics

Service Compositions

Top Venues

Electron. Notes Theor. Comput. Sci.

Log. Methods Comput. Sci.

Publications

Paul Diac, Liana Tucar, Radu Mereuta
Extending the Service Composition Formalism with Relational Parameters. CoRR (2019)
Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon M. Moore, Traian-Florin Serbanuta, Grigore Rosu
All-Path Reachability Logic. Log. Methods Comput. Sci. 15 (2) (2019)
Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon M. Moore, Traian-Florin Serbanuta, Grigore Rosu
All-Path Reachability Logic. CoRR (2018)
Radu Mereuta, Gheorghe Grigoras
Parsing K definitions. Electron. Notes Theor. Comput. Sci. 304 (2014)
Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon M. Moore, Traian-Florin Serbanuta, Grigore Rosu
All-Path Reachability Logic. RTA-TLCA (2014)
David Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu
Executing Formal Semantics with the K Tool. FM (2012)