output
20032024
most citedA Tutorial on the Design, Experimentation and Application of Metaheuristic Algorithms to Real-World Optimization Problems

407 citations

researchers with a paper here
collaborating institutions
Showing 2011Show all

8 papers · 1 filter

math.AT2011

Inductive LS cocategory and localisation

Cristina Costoya, Antonio Viruel

In this paper we prove that the inductive cocategory of a nilpotent -complex of finite type , $\indcocat X$, is bounded above by an expression involving the inductive cocate…

math.SG2011★ 3 cited

The Local Product Theorem for bihamiltonian structures

Francisco-Javier Turiel

In this work one proves that, around each point of a dense open set (regular points), a real analytic or holomorphic bihamiltonian structure decomposes into a product of a Kronecke…

cs.SE2011★ 10 cited

Tracing Properties of UML and OCL Models with Maude

Francisco Durán, Martin Gogolla, Manuel Roldán

The starting point of this paper is a system described in form of a UML class diagram where system states are characterized by OCL invariants and system transitions are defined by…

cs.SE2011

Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies

Francisco Durán, Peter Csaba Ölveczky, José E. Rivera

e-Motions is an Eclipse-based visual timed model transformation framework with a Real-Time Maude semantics that supports the usual Maude formal analysis methods, including simulati…

cs.SE2011

Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering

Francisco Durán, Vlad Rusu

Over the past years there has been quite a lot of activity in the algebraic community about using algebraic methods for providing support to model-driven software engineering. The…

math.RA2011★ 2 cited

Leibniz triple systems

Murray R. Bremner, Juana Sanchez-Ortega

We define Leibniz triple systems in a functorial manner using the algorithm of Kolesnikov and Pozhidaev which converts identities for algebras into identities for dialgebras. We ve…