default search action

combined dblp search
author search
venue search
publication search

ask others

Manuel I. Capel

Manuel I. Capel Tuñón

> Home > Persons

Person information

affiliation: University of Granada, Spain

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/algorithms/CapelHH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/algorithms/CapelHH24
Manuel I. Capel, Alberto Salguero Hidalgo, Juan A. Holgado-Terriza:
Parallel PSO for Efficient Neural Network Training Using GPGPU and Apache Spark in Edge Computing Sets. Algorithms 17(9): 378 (2024)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/asc/IruelaRCPC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/asc/IruelaRCPC24
J. R. S. Iruela, Luis G. Baca Ruíz, David Criado-Ramón, Maria del Carmen Pegalajar, Manuel I. Capel:
A GPU-accelerated adaptation of the PSO algorithm for multi-objective optimization applied to artificial neural networks to predict energy consumption. Appl. Soft Comput. 160: 111711 (2024)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/GilCO24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/GilCO24
Samuel Jimenez Gil, Manuel I. Capel, Gabriel Olea Olea:
Automatic test cases generation from formal contracts. Inf. Softw. Technol. 172: 107467 (2024)
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/remotesensing/ZikiouRCKRL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/remotesensing/ZikiouRCKRL24
Nadia Zikiou, Holly Rushmeier, Manuel I. Capel, Tarek Kandakji, Nelson Rios, Mourad Lahdir:
Remote Sensing and Machine Learning for Accurate Fire Severity Mapping in Northern Algeria. Remote. Sens. 16(9): 1517 (2024)
2019
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/asc/RuizCC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/asc/RuizCC19
Luis G. Baca Ruíz, Manuel I. Capel, Manuel P. Cuéllar:
Parallel memetic algorithm for training recurrent neural networks for the energy efficiency problem. Appl. Soft Comput. 76: 356-368 (2019)
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jib/SalgueroTC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jib/SalgueroTC19
Alberto G. Salguero, Antonio J. Tomeu-Hardasmal, Manuel I. Capel:
Dynamic Load Balancing Strategy for Parallel Tumor Growth Simulations. J. Integr. Bioinform. 16(1) (2019)
[j11]
- view
  - electronic edition @ ipn.mx (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/rcs/LopezTTPO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rcs/LopezTTPO19
Mario Rossainz López, Manuel I. Capel Tuñón, Ivo Humberto Pineda Torres, Iván Olmos Pineda, J. Arturo Olvera-López:
Use of Parallel Patterns of Communication between Processes for search of Sequences DNA and RNAi Strings. Res. Comput. Sci. 148(3): 133-145 (2019)
2017
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ijccbs/MendozaC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijccbs/MendozaC17
Luis Eduardo Mendoza, Manuel I. Capel:
A methodological approach for checking safety-critical systems software. Int. J. Crit. Comput. Based Syst. 7(4): 341-368 (2017)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ijspm/LopezC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijspm/LopezC17
Mario Rossainz López, Manuel I. Capel:
Design and implementation of communication patterns using parallel objects. Int. J. Simul. Process. Model. 12(1): 69-91 (2017)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jpdc/CapelTS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jpdc/CapelTS17
Manuel I. Capel, Antonio J. Tomeu-Hardasmal, Alberto G. Salguero:
Teaching concurrent and parallel programming by patterns: An interactive ICT approach. J. Parallel Distributed Comput. 105: 42-52 (2017)
[j7]
- view
  - electronic edition @ ipn.mx (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/rcs/LopezTR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rcs/LopezTR17
Mario Rossainz López, Manuel I. Capel Tuñón, Diego Sarmiento Rojas:
Partitioning Strategy Divide and Conquer as CPANs. A Methodological Proposal. Res. Comput. Sci. 145: 21-36 (2017)
2012
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/MendozaCP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/MendozaCP12
Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez:
Conceptual framework for business processes compositional verification. Inf. Softw. Technol. 54(2): 149-161 (2012)
2008
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ijspm/TunonMA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijspm/TunonMA08
Manuel I. Capel Tuñón, Luis E. Mendoza Morales, Kawtar Benghazi Akhlaki:
Automatic verification of business process integrity. Int. J. Simul. Process. Model. 4(3/4): 167-182 (2008)
2007
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AkhlakiTTM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AkhlakiTTM07
Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales:
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models. Sci. Comput. Program. 65(1): 41-56 (2007)
2002
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/HornosC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/HornosC02
Miguel J. Hornos, Manuel I. Capel:
On-the-fly model checking from interval logic specifications. ACM SIGPLAN Notices 37(12): 108-119 (2002)
1994
[j2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/stp/CapelT94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stp/CapelT94
Manuel I. Capel, José M. Troya:
An Object-Based Tool and Methodological Approach for Distributed Programming. Softw. Concepts Tools 15(4): 177- (1994)
1993
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/CapelTP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/CapelTP93
Manuel I. Capel, José M. Troya, A. Palma:
Distributed active objects: A methodological proposal and tool for distributed programming with transputer systems. Microprocess. Microprogramming 38(1-5): 197-204 (1993)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/icppw/CapelHGS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icppw/CapelHGS24
Manuel I. Capel, Juan A. Holgado-Terriza, Sergio Galiana-Velasco, Alberto G. Salguero:
A Distributed Particle Swarm Optimization Algorithm Based on Apache Spark for Asynchronous Parallel Training of Deep Neural Networks. ICPP Workshops 2024: 76-85
2020
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/closer/CapelAJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/closer/CapelAJ20
Manuel I. Capel, Oscar I. Aporta, Maria del Carmen Pegalajar Jiménez:
Quality of Service in Cloud Computing Environments with Multitenant DBMS. CLOSER 2020: 506-514
2018
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/Tomeu-Hardasmal18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/Tomeu-Hardasmal18
Antonio J. Tomeu-Hardasmal, Alberto G. Salguero-Hidalgo, Manuel I. Capel:
A Parallel Cellular Automaton Model For Adenocarcinomas in Situ with Java: Study of One Case. Euro-Par Workshops 2018: 704-715
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/ipmu/SanchezCJRP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipmu/SanchezCJRP18
J. R. Sanchez, Manuel I. Capel, Celina Jiménez, Gonzalo Rodriguez-Fraile, Maria del Carmen Pegalajar:
Personality Determination of an Individual Through Neural Networks. IPMU (1) 2018: 52-61
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/pacbb/SalgueroCT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pacbb/SalgueroCT18
Alberto G. Salguero, Manuel I. Capel, Antonio J. Tomeu:
Parallel Cellular Automaton Tumor Growth Model. PACBB 2018: 175-182
2017
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/closer/Capel17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/closer/Capel17
Manuel I. Capel:
Checking Realizability of a Timed Business Processes Choreography. CLOSER 2017: 413-420
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/CapelTS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/CapelTS17
Manuel I. Capel, Antonio J. Tomeu, Alberto G. Salguero:
A Set of Patterns for Concurrent and Parallel Programming Teaching. Euro-Par Workshops 2017: 203-215
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/TomeuSC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/TomeuSC17
Antonio J. Tomeu, Alberto G. Salguero, Manuel I. Capel:
Teaching Software Transactional Memory in Concurrency Courses with Clojure and Java. Euro-Par Workshops 2017: 266-277
2016
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/quatic/MoralesC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/quatic/MoralesC16
Luis E. Mendoza Morales, Manuel I. Capel:
Checking Critical Software Systems: A Formal Proposal. QUATIC 2016: 160-163
2015
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/Tomeu-Hardasmal15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/Tomeu-Hardasmal15
Antonio J. Tomeu-Hardasmal, Alberto G. Salguero, Manuel I. Capel:
Integration of ICT in Concurrent and Parallel Programming Lectures. Euro-Par Workshops 2015: 114-124
2014
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/CapelM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/CapelM14
Manuel I. Capel, Luis Eduardo Mendoza:
Choreography Modeling Compliance for Timed Business Models. EOMAS@CAiSE 2014: 202-218
2013
[c33]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/closer/Capel13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/closer/Capel13
Manuel I. Capel:
Choreography Conformace Checking based on Process Algebras. CLOSER 2013: 135-139
2012
[c32]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iceis/CapelM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/CapelM12
Manuel I. Capel, Luis E. Mendoza Morales:
A Formal Compositional Verification Approach for Safety-Critical Systems Correctness - Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software. ICEIS (2) 2012: 105-112
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/sew/CapelM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sew/CapelM12
Manuel I. Capel, Luis Eduardo Mendoza:
Automating the Transformation from BPMN Models to CSP+T Specifications. SEW 2012: 100-109
2011
[c30]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iceis/GonzalezMCPMD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/GonzalezMCPMD11
Aleksander González, Luis E. Mendoza Morales, Manuel I. Capel, María A. Pérez, Edumilis Maria Méndez, Kenyer Domínguez:
BTRANSFORMER - A Tool for BPMN to CSP+T Transformation. ICEIS (3) 2011: 363-366
[c29]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/vveis/GonzalezMCP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/GonzalezMCP11
Aleksander González, Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez:
Implementing a Transformation from BPMN to CSP+T with ATL: Lessons Learnt. IVM/FTMDD/RTSOABIS/MSVVEIS 2011: 51-60
2010
[c28]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iceis/MoralesTP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/MoralesTP10
Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez:
Compositional Verification of Business Processes Modelled with BPMN. ICEIS (3) 2010: 113-122
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/iceis/MoralesTP10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/MoralesTP10a
Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez:
A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes. ICEIS 2010: 388-403
[c26]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/vveis/MendozaCP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/MendozaCP10
Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez:
Compositional Verification of Business Processes by Model-Checking. MSVVEIS 2010: 60-69
2009
[c25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecms/LopezT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecms/LopezT09
Mario Rossainz López, Manuel I. Capel Tuñón:
Methodology Of Parallel Programming Using Compositions Of Parallel Objects Or CPANS For The Solution Of NP-Complete Problems. ECMS 2009: 63-69
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/iceis/MoralesC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/MoralesC09
Luis E. Mendoza Morales, Manuel I. Capel:
Automatic Compositional Verification of Business Processes. ICEIS 2009: 479-490
2008
[c23]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iceis/MoralesTPA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/MoralesTPA08
Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez, Kawtar Benghazi Akhlaki:
A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems. ICEIS (3-1) 2008: 86-93
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/iceis/MoralesCPA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/MoralesCPA08
Luis E. Mendoza Morales, Manuel I. Capel, María A. Pérez, Kawtar Benghazi Akhlaki:
Compositional Model-Checking Verification of Critical Systems. ICEIS 2008: 213-225
[c21]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jisbd/MendozaCA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jisbd/MendozaCA08
Luis Eduardo Mendoza, Manuel I. Capel, Kawtar Benghazi Akhlaki:
Towards the Correctness Verifcation of Business Processes Modelled with UML. JISBD 2008: 159-170
2007
[c20]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iceis/MoralesTA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/MoralesTA07
Luis E. Mendoza Morales, Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki:
Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics. ICEIS (3) 2007: 205-211
[c19]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iceis/AkhlakiTTM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/AkhlakiTTM07
Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales:
Towards UML-RT Behavioural Consistency. ICEIS (3) 2007: 612-615
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/vecims/Holgado-TerrizaGT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecims/Holgado-TerrizaGT07
Juan Antonio Holgado Terriza, Alfredo Moreno Guillén, Manuel I. Capel Tuñón:
Java-Based Adaptable Middleware Platform for Virtual Instrumentation. VECIMS 2007: 144-149
[c17]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/vveis/TunonATM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/TunonATM07
Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales:
An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T. MSVVEIS 2007: 74-83
2006
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/conielecomp/LopezT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/conielecomp/LopezT06
Mario Rossainz López, Manuel I. Capel Tuñón:
An Approach to Structured Parallel Programming Based on a Composition. CONIELECOMP 2006: 42
[c15]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iceis/AkhlakiTT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/AkhlakiTT06
Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza:
Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications. ICEIS (3) 2006: 290-297
[c14]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jisbd/CapelMAT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jisbd/CapelMAT06
Manuel I. Capel, Luis E. Mendoza Morales, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza:
A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification. JISBD 2006: 283-292
[c13]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/vveis/AkhlakiTTM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/AkhlakiTTM06
Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales:
Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models. MSVVEIS 2006: 16-25
[c12]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/vveis/EscamezATC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/EscamezATC06
Agustín Escámez, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Manuel I. Capel:
CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code. MSVVEIS 2006: 128-133
2005
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/conielecomp/TunonL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/conielecomp/TunonL05
Manuel I. Capel Tuñón, Mario Rossainz López:
Design and Use of the CPAN Branch & Bound for the Solution of the Travelling Salesman Problem (TSP). CONIELECOMP 2005: 262-267
[c10]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iceis/CapelH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/CapelH05
Manuel I. Capel, Juan Antonio Holgado Terriza:
Transforming SA/RT Graphical Specifications into CSP+T Formalism - Obtaining a Formal Specification from Semi-Formal SA/RT Essential Models. ICEIS (3) 2005: 65-72
[c9]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/vveis/CapelHE05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/CapelHE05
Manuel I. Capel, Juan Antonio Holgado Terriza, Agustín Escámez:
An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case. MSVVEIS 2005: 39-48
[c8]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/wec/AkhlakiT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wec/AkhlakiT05
Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón:
Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real- Time Systems. IEC (Prague) 2005: 193-198
2004
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/conielecomp/TunonL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/conielecomp/TunonL04
Manuel I. Capel Tuñón, Mario Rossainz López:
A Parallel Programming Methodology based on High Level Parallel Compositions (CPANs). CONIELECOMP 2004: 242-247
[c6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/vveis/CapelBH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/CapelBH04
Manuel I. Capel, José R. Balsas, Juan Antonio Holgado Terriza:
Systematic Design of Real-Time Systems Based on CSP+T Process Algebra. VVEIS 2004: 81-83
2001
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/HornosC01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/HornosC01
Miguel J. Hornos, Manuel I. Capel:
Automata Generation for On-the-fly Automatic Verification Using Formulas of an Interval Logic. ACSD 2001: 221-230
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jisbd/HornosC01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jisbd/HornosC01
Miguel J. Hornos, Manuel I. Capel:
Verificación Automatizada Eficiente de Sistemas Concurrentes Especificando Sus Propiedades con Fórmalus de una Lógica de Intervalos. JISBD 2001: 375-390
1997
[c3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/pdp/AraqueCRP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdp/AraqueCRP97
F. Araque, Manuel I. Capel, José Miguel Mantas Ruiz, A. Palma:
A proposal to improve reusability in a language based on the occam-CSP model. PDP 1997: 41-46
1996
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/pdpta/AraqueCPR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdpta/AraqueCPR96
F. Araque, Manuel I. Capel, A. Palma, José Miguel Mantas Ruiz:
Paradigms for Parallel Distributed Programming. PDPTA 1996: 1027-1038
1993
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/parco/CapelTP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parco/CapelTP93
Manuel I. Capel, José M. Troya, A. Palma:
A Methodological Scheme and Tool for Program Transformation with Transputer Systems. PARCO 1993: 585-588

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2011
[e2]
- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/vveis/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/2011
Markus Helfert, Mouzhi Ge, Luís Ferreira Pires, Slimane Hammoudi, Farouk Toumani, Valérie Monfort, Wassim Jaziri, Manuel I. Capel Tuñón, Chunping Li:
IVM, FTMDD, RTSOABIS & MSVVEIS 2011 - Proceedings of the International Joint Workshop on Information Value Management, Future Trends of Model-Driven Development, Recent Trends in SOA Based Information Systems and Modelling and Simulation, Verification and Validation of Enterprise Information Systems, In conjunction with ICEIS 2011, Beijing, China, June, 2011. SciTePress 2011, ISBN 978-989-8425-60-7 [contents]
2010
[e1]
- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/vveis/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/2010
Juan Garbajosa Sopeña, Manuel I. Capel Tuñón:
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2010, In conjunction with ICEIS 2010, Funchal, Madeira, Portugal, June 2010. SciTePress 2010, ISBN 978-989-8425-12-6 [contents]

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.