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
Program logics and their applications	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
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ţă