Wissenschaftliche Veröffentlichungen Miguel Valero

(1 - 13 von 13

)

dblp: Miguel Valero-García

dblp.uni-trier.de

List of computer science publications by Miguel Valero-García

Search results for "José M. Llabería" – FacetedDBLP

dblp.l3s.de

... Olivé(9) Juan J. Navarro(8) A. M. del Corral(7) Marta Jiménez(7) Eduard Ayguadé(4) Enrique F. Torres(4) Jesús Labarta(4) Miguel Valero-García(4) ...

dblp: Conference on Software Engineering and Formal Methods (SEFM...

dblp.uni-trier.de

Jun Pang, Jaco van de Pol, Miguel Valero Espada: Abstraction of Parallel Uniform Processes with Data view. electronic edition @ ieeecomputersociety.org .

Search results for "Agustin Fernández" – FacetedDBLP

dblp.l3s.uni-hannover.de

Lang. Syst...(1) AHS(1) EDMCC(1) Euro-Par, Vol. I(1) HiPEAC(1) IISWC(1) International Conference on Su ... Miguel Valero-García(2) Albert Murciego(1) Chema Solis(1) ...

dblp: Mapping QR decomposition of a banded matrix on a ID systolic...

dblp.uni-trier.de

Bibliographic details on Mapping QR decomposition of a banded matrix on a ID systolic array with data contraflow and pipelined functional units.

Miguel Valero Espada - DBLPdblp.org › Persons

dblp.org

· Miguel Valero Espada, Jaco van de Pol: An abstract interpretation toolkit for µCRL. Formal Methods Syst. Des. 30(3): (2007);

dblp: A State Space Distribution Policy Based on Abstract...

dblp.uni-trier.de

Bibliographic details on A State Space Distribution Policy Based on Abstract Interpretation.

Search results for "Dolors Royo" – FacetedDBLP

dblp.l3s.uni-hannover.de

Dolors Royo(22) Esunly Medina(11) Roc Messeguer(11) Antonio González(8) Miguel Valero-García(8) Sergio F. Ochoa(7) José A. Pino(6) ...

dblp: COORDINATION 2002

dblp.uni-trier.de

Bibliographic content of COORDINATION 2002

dblp: Miguel Valero Espada

dblp.dagstuhl.de

List of computer science publications by Miguel Valero Espada

dblp: Dolors Royo

dblp2.uni-trier.de

List of computer science publications by Dolors Royo

dblp: Jörg Dörflinger

dblp.dagstuhl.de

List of computer science publications by Jörg Dörflinger

dblp: Eiman Kanjo

dblp.uni-trier.de

List of computer science publications by Eiman Kanjo

Verwandte Suchanfragen zu Miguel Valero

Personen
Vorname "Miguel" (5271)
Name "Valero" (392)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Impressum AGB Datenschutz

+1

Weltweit