Source author record

Fabian Vu

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Logic in Computer Science Formal Languages and Automata Theory

Catalog footprint

Research overview

2works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Formalization of Advanced VOs semantics and VO Refinement

This document lays out the foundations for VO and requirement refinement, abstractions of models, and instantiations. Also, VOs on abstractions and instantiations are considered.

preprint2022arXiv

IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics

This report discusses the foundations of the VO approach. Then, it explores multiple directions and argues about structure and applications.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.