Concepedia

Fabricio Chalub

FC

5

Publications

144

Citations

5

H-Index

2004

Active since

Affiliations

Universidade Federal Fluminense(Current)

Fabricio Chalub is an author at Universidade Federal Fluminense specializing in engineering, formal specification, and system software.

Top concepts

SemanticsEngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationFormal Specification

Publications per year

2004–2017

5

Publications

5

Universal Dependencies for Portuguese

Alexandre Rademaker, Fabricio Chalub, Livy Real et al. · University of Southern Denmark Research Portal (University of Southern Denmark) · 2017 · 50 citations · Full text

Language Documentation, Multilingualism, Dependency Linguistics +3

Maude MSOS Tool

Fabricio Chalub, Christiano Braga · Electronic Notes in Theoretical Computer Science · 2007 · 37 citations · Full text

Engineering, Scripting Language, Software Engineering +20

Universal Dependencies 2.0 – CoNLL 2017 Shared Task Development and Test Data

Joakim Nivre, Żeljko Agić, Lars Ahrenberg et al. · Americanae (AECID Library) · 2017 · 29 citations

A Modular Rewriting Semantics for CML

Fabricio Chalub, Christiano Braga · Zenodo (CERN European Organization for Nuclear Research) · 2004 · 17 citations · Full text

A Formal Semantics for a Quality of Service Contract Language

Christiano Braga, Fabricio Chalub, Alexandre Sztajnberg · Electronic Notes in Theoretical Computer Science · 2009 · 11 citations · Full text

Engineering, Verification, Computer Architecture +23

Rows per page

1–5 of 5