Gabriel Alfredo Baum

Author

Also Known As

Baum, Gabriel Alfredo, Gabriel A. Baum, Gabriel Alfredo Baum, Gabriel Baum, Ralf-Detlef Kutsche

Publications

219

Citations

H-Index

Concepts

All Affiliations

Gabriel Alfredo Baum is an author at Universidad Nacional de La Plata specializing in computer science, formal methods, and automated reasoning.

#	Concept	H-Index	Publications	Citations
1	Engineering	2	2	75
2	Computer Science	2	2	75
3	Arts	1	1	11
4	Business	1	1	11
5	Communication	1	1	11

Gabriel Alfredo Baum

Publications

101

Citations

H-Index

Page 1

	Year	Citations
Fork Algebras in Algebra, Logic and Computer Science Marcelo F. Frias, Gabriel Alfredo Baum, Armando M. Haeberer Fundamenta Informaticae Algebraic LogicAbstract AlgebraEngineeringModern AlgebraAutomated Reasoning	1997	55
Reasoning about static and dynamic properties in alloy Marcelo F. Frias, Carlos G. López Pombo, Gabriel Alfredo Baum, ACM Transactions on Software Engineering and Methodology Alloy LanguageEngineeringFormal VerificationSoftware AnalysisDynamic Properties	2005	20
Fork Algebras: Past, Present and Future Marcelo F. Frias, Paulo A. S. Veloso, Gabriel Alfredo Baum	2004	15
Ginga Middleware and Digital TV in Latin America Gabriel Alfredo Baum, Luiz Fernando Gomes Soares IT Professional Digital BusinessEconomic DevelopmentSocioeconomic DevelopmentGinga MiddlewareDigital Divide	2012	11

Page 1