Ernesto Pimentel

Available identifiers

zbMath Open pimentel.ernestoMaRDI QIDQ216148

List of research outcomes

Publication	Date of Publication	Type
The Riemann problem for the shallow water equations with discontinuous topography: the wet-dry case	2019-07-22	Paper
Automatic Generation of Adaptation Contracts	2015-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q2871846	2014-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q2849844	2013-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q2847798	2013-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q2844805	2013-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q2888203	2012-05-30	Paper
PiXL: applying XML standards to support the integration of analysis tools for protocols	2007-03-08	Paper
Component adaptation through flexible subservicing	2006-10-25	Paper
On the semantics of software adaptation	2006-06-30	Paper
Coordination Models and Languages	2006-01-10	Paper
A semantic framework for the abstract model checking of tccp programs	2005-12-29	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper
A generalized semantics of PROMELA for abstract model checking	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4738488	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4428375	2003-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4417120	2003-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4411974	2003-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4411822	2003-07-10	Paper
Compatibility and inheritance in software architectures	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4537169	2002-06-25	Paper
Extending CORBA Interfaces with Protocols	2002-05-12	Paper
https://portal.mardi4nfdi.de/entity/Q4938433	2000-02-23	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ernesto Pimentel