David Romero Hernández

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
On the unification of process semantics: logical semantics	2021-03-10	Paper
On the unification of process semantics: logical semantics (available as arXiv preprint)	2021-03-10	Paper
Distances between processes: a pure algebraic approach Recent Trends in Algebraic Development Techniques	2013-09-13	Paper
Unifying the linear time-branching time spectrum of process semantics Logical Methods in Computer Science	2013-07-09	Paper
Neighborhood functions and hill-climbing strategies dedicated to the generalized ungapped local multiple alignment European Journal of Operational Research	2007-12-10	Paper
Cooperative metaheuristics for exploring proteomic data	2006-06-14	Paper
MoDEL: an efficient strategy for ungapped local multiple alignment Computational Biology and Chemistry	2006-05-16	Paper

Research outcomes over time

This page was built for person: David Romero Hernández