Traian Şerbănuţă

Available identifiers

zbMath Open serbanuta.traian-florinMaRDI QIDQ730474

List of research outcomes

Publication	Date of Publication	Type
Many-sorted hybrid modal languages	2021-06-25	Paper
Towards a \(\mathbb{K}\)ool future	2021-05-20	Paper
A Many-sorted Polyadic Modal Logic	2020-11-16	Paper
Operational semantics and program verification using many-sorted hybrid modal logic	2020-05-14	Paper
All-Path Reachability Logic	2019-05-17	Paper
https://portal.mardi4nfdi.de/entity/Q4594004	2017-11-16	Paper
Language definitions as rewrite theories	2016-12-28	Paper
Maximally Parallel Contextual String Rewriting	2016-10-21	Paper
An Institutional Foundation for the $$\mathbb {K}$$K Semantic Framework	2016-02-25	Paper
Language Definitions as Rewrite Theories	2015-09-09	Paper
All-Path Reachability Logic	2014-07-24	Paper
A rewrite framework for language definitions and for generation of efficient interpreters	2014-01-24	Paper
A rewriting logic approach to operational semantics (extended abstract)	2014-01-10	Paper
A Truly Concurrent Semantics for the $\mathbb{K}$ Framework Based on Graph Transformations	2012-10-02	Paper
K-Maude: A Rewriting Based Tool for Semantics of Programming Languages	2010-10-12	Paper
An overview of the K semantic framework	2010-08-24	Paper
P systems with control nuclei: the concept	2010-08-24	Paper
A Rewriting Logic Approach to Type Inference	2009-10-22	Paper
Defining and Executing P Systems with Structured Data in K	2009-07-28	Paper
A rewriting logic approach to operational semantics	2009-04-14	Paper
A semantic approach to interpolation	2009-03-25	Paper
Computationally Equivalent Elimination of Conditions	2008-09-25	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper
Injectivity of the Parikh matrix mappings revisited	2006-11-21	Paper
Extending Parikh matrices	2004-10-27	Paper

Research outcomes over time

This page was built for person: Traian Şerbănuţă