Traian Florin Şerbănuţă

Statistics

Publications

Citations

824

H-Index

Active since

2006

Affiliations

University of Illinois Urbana-Champaign(Current)

University of Bucharest

Alexandru Ioan Cuza University

Traian Florin Şerbănuţă is an author at University of Illinois Urbana-Champaign specializing in computer science, computing, and programming languages.

Publications per year

2006–2020

Publications

An overview of the K semantic framework

Grigore Roşu, Traian Florin Şerbănuţă · The Journal of Logic and Algebraic Programming · 2010 · 397 citations

Computing, Computer Science, Knowledge Representation +11

jPredictor

Feng Chen, Traian Florin Şerbănuţă, Grigore Roşu · 2008 · 138 citations

Computing, Computer Engineering, Computer Science +17

A rewriting logic approach to operational semantics

Traian Florin Şerbănuţă, Grigore Roşu, José Meseguer · Information and Computation · 2008 · 80 citations

Language Studies, Computer Science, Formal Methods +9

Injectivity of the Parikh Matrix Mappings Revisited

Virgil Nicolae Şerbănuţă, Traian Florin Şerbănuţă · Fundamenta Informaticae · 2006 · 49 citations

Natural Sciences, Mathematics, Algebra +5

<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="double-struck">K</mml:mi></mml:math> Overview and SIMPLE Case Study

Grigore Roşu, Traian Florin Şerbănuţă · Electronic Notes in Theoretical Computer Science · 2014 · 32 citations · Full text

Computing, Computer Science, Programming Languages +15

1–5 of 13