Marcos Viera - Concepedia

Author

Marcos Viera

Also Known As

M. Viera, Marcos O. Viera, Marcos Viera, Viera, Marcos

Publications

211

Citations

H-Index

Concepts

All Affiliations

Marcos Viera is an author at Utrecht University specializing in formal methods, engineering, and computer science.

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	86
2	Computer Science	4	4	86
3	Language Studies	2	2	64
4	Computer Engineering	1	1	24
5	Data Science	1	1	40

Marcos Viera

Publications

105

Citations

H-Index

Page 1

	Year	Citations
Attribute grammars fly first-class Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra EngineeringType TheorySoftware EngineeringSemanticsSoftware Analysis	2009	40
Typed transformations of typed abstract syntax Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera EngineeringType TheoryTyped TransformationsSoftware EngineeringSemantics	2009	24
Typed Transformations of Typed Grammars: The Left Corner Transform Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera Electronic Notes in Theoretical Computer Science	2010	19
Haskell, do you read me? Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink Haskell DefinitionEngineeringAutomated ReasoningFunctional Programming LanguageFormal Methods	2008	12
A Gradual Type System for Elixir Mauricio Cassola, Agustín Talagorria, Alberto Pardo, EngineeringGeneric ProgrammingAutomated ReasoningProgram AnalysisType Theory	2020	10

Page 1