Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Alberto Verdejo

Distributed Applications Implemented in Maude With Parameterized Skeletons

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Related publications

Management of Distributed Dynamic Data With Algorithmic Skeletons

2000English

Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

A Specification Language for Distributed Components Implemented in GCM/ProActive

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Optika : A GUI Framework for Parameterized Applications.

2011English

Concurrent and Distributed Applications With ActoDeS

MATEC Web of Conferences
Materials ScienceEngineeringChemistry
2016English

Distributed Applications

English

Maude E. Abbott

Zeitschrift fur Herz-, Thorax- und Gefasschirurgie
Respiratory MedicinePulmonaryCardiovascular MedicineSurgeryCardiology
2019English

Fast Prototyping of Parallel-Vision Applications Using Functional Skeletons

Machine Vision and Applications
Pattern RecognitionHardwareComputer VisionComputer Science ApplicationsArchitectureSoftware
2001English

Limits and Applications of Group Algebras for Parameterized Problems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy