Gabriel Dos Reis

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Asymptotics of CMC surfaces with polynomial Hopf differential Calculus of Variations and Partial Differential Equations	2017-01-06	Paper
A mechanized semantics for C++ object construction and destruction, with applications to resource management Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-09-11	Paper
An automatic parallelization framework for algebraic computation systems Proceedings of the 36th international symposium on Symbolic and algebraic computation	2015-06-09	Paper
An automatic parallelization framework for OpenAxiom ACM Communications in Computer Algebra	2015-02-20	Paper
Formal verification of object layout for C++ multiple inheritance Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-04-10	Paper
A principled, complete, and efficient representation of C++ Mathematics in Computer Science	2013-08-23	Paper
A system for axiomatic programming Lecture Notes in Computer Science	2012-09-07	Paper
scientific article; zbMATH DE number 5679834 (Why is no real title available?)	2010-03-10	Paper
Algorithmic differentiation in Axiom	2009-01-20	Paper
scientific article; zbMATH DE number 1860725 (Why is no real title available?)	2003-06-01	Paper

Research outcomes over time

This page was built for person: Gabriel Dos Reis