ICGT Steering Committee - University of Leicesterwww.cs.le.ac.uk › people › gratra › community
www.cs.le.ac.uk
... Belgium (Dirk Janssens) · Universitat Politecnica de Catalunya, Barcelona, Spain (Fernando Orejas); Technische Universitaet Berlin, Germany (Hartmut Ehrig) ...
Conference Program - Informatics Europewww.informatics-europe.org › ecss › about › past-summits › ecss › c...
www.informatics-europe.org
Manfred Nagl, RWTH Aachen University; Fernando Orejas, Universitat Politècnica de Catalunya; Esko Ukkonen, University of Helsinki. 12:35-13:50 Lunch ( ...
E.W.Dijkstra Archive: Trip report E.W.Dijkstra, Barcelona www.cs.utexas.edu › users › EWD › transcriptions › E...
www.cs.utexas.edu
My secondary hosts, Fernando Orejas and Pere Botella of the Facultat d'Informàtica of the Universitat Politècnica de Barcelona, met me at the airport. My primary ...
Challenges of Human Space Explorationbooks.google.ca › books
books.google.ca
Fernando Orejas and Elvira Pino Dept. de L.S.I., Universitat Politecnica de Catalunya, Barcelona, SPAIN {orejas, pino}@lsi. upc.es Abstract. In this paper, we ...
Recent trends in algebraic development techniques - Didier Bert,...
books.google.at
A General Algebraic Framework for Studying Modular Systems Fernando Orejas, Elvira Pino Dept. de L.S.I., Universitat Politècnica de Catalunya, Barcelona, ...
Program Development by Specification and Transformation: The...
books.google.co.uk
Fernando Orejas, Marisa Navarro, Maria Pilar Nivela, Roberto Nieuvenhuis, Ricardo Pena Universitat Politecnica de Catalunya * past member team Contents ...
Fernando Orejas -
conf.researchr.org
Not registered as user yet. Name: Fernando Orejas. Affiliation: Universitat Politècnica de Catalunya, Spain. Personal website: https://www.cs.upc.edu/~orejas/.
EPTCS 173: Programación y Lenguajes
arxiv.org
Fernando Orejas, Universitat Politècnica de Catalunya, Spain Yolanda Ortega, Universidad Complutense de Madrid, Spain Ricardo Peña ...
Fernando Orejas - - Researchrconf.researchr.org › profile › fernandoorejas
conf.researchr.org
Name: Fernando Orejas. Affiliation: Universitat Politècnica de Catalunya, Spain. Personal website: https://www.cs.upc.edu/~orejas/. Contributions ...
EPTCS 200: Programación y Lenguajes - arXivarxiv.org › html
arxiv.org
19 Dec · Fernando Orejas (Universitat Politècnica de Catalunya); Yolanda Ortega Mallén (Universidad Complutense de Madrid); Ricardo Peña ( ...
All web results to the name "Fernando Orejas"
Fernando Orejas - Catedrático de Universidad LinkedInwww.linkedin.com › pub › fernando-orejas
www.linkedin.com
Barcelona Area, Spain - Universitat Politècnica de Catalunya#####View Fernando Orejas' profile on LinkedIn, the world's largest professional community. Fernando has 1 job listed on their profile. See the complete profile on ...
Fernando Orejas
easychair.org
Fernando Orejas. Organization: Universitat Politècnica de Catalunya. Web page: http://www.lsi.upc.es/~orejas/. Pages in this Program. Program · Program for ...
FASE etaps 2021etaps.org › fase
etaps.org
Tiziana Margaria (University of Limerick, Ireland). Fernando Orejas (Universitat Politècnica de Catalunya, Spain) Julia Rubin (University of British Columbia, ...
Sannellabration!conferences.inf.ed.ac.uk › Don60
conferences.inf.ed.ac.uk
Consistency in Rewriting; Peter Mosses, Swansea University, UK CoFI with Don; Fernando Orejas, Universitat Politècnica de Catalunya, Spain
Universitat Politecnica de Catalunya
www0.cs.ucl.ac.uk
... Antoni Olive, Maria Ribera Sancho, Carme Quer, Dolors Costal, Nuria Castell, Jordi Alvarez, Angels Hernandez, and the cooperation of Fernando Orejas.
sorted by relevance / date