Skip to contents Fiadeiro, José Luiz [Editor] ; WADT 17 2004 Barcelona Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27 - 29, 2004 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3423 Fiadeiro, José Luiz [Editor] ; WADT 13 1998 Lissabon Recent trends in algebraic development techniques : 13th International Workshop, WADT '98, Lisbon, Portugal, April 2 - 4, 1998 ; selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999 Published in: Lecture notes in computer science ; 1589 Fiadeiro, José Luiz [Author] Categories for software engineering Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Fiadeiro, José Luiz [Editor]; Inverardi, Paola [Other] ; FASE 11 2008 Budapest, ETAPS 11 2008 Budapest Fundamental approaches to software engineering : 11th international conference, FASE 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 4961 Fiadeiro, José Luiz [Editor]; Harman, Neil [Other] ; CALCO 1 2005 Swansea Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3 - 6, 2005 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3629 Fiadeiro, José Luiz [Editor]; Schobbens, Pierre Yves [Other] ; WADT 18 2006 La Roche-en-Ardenne Recent trends in algebraic development techniques : 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4409 Fiadeiro, José Luiz [Author] ; Liu, Zhiming [Editor]; Xue, Jinyun [Editor] Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers Books View online Schließen > Access ... to E-book via DOI (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham [u.a.]: Springer, 2014 Published in: Lecture notes in computer science ; 8348 Fiadeiro, José Luiz [Author] Recent Trends in Algebraic Development Techniques : 13th International Workshop, WADT’98 Lisbon, Portugal, April 2–4, 1998 Selected Papers Books View online Schließen > Access ... to E-book via DOI (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1999 Published in: Lecture notes in computer science ; 1589 Fiadeiro, José Luiz [Editor]; Țuțu, Ionuț [Editor] Recent Trends in Algebraic Development Techniques : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers - [1st ed. 2019] Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, 2019 Published in: Theoretical Computer Science and General Issues ; 11563- Springer eBooks ; Computer Science Fiadeiro, José Luiz [Other]; Inverardi, Paola [Other] Fundamental Approaches to Software Engineering : 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008 Published in: Lecture notes in computer science ; 4961 Tutu, Ionut [Author]; Fiadeiro, José Luiz [Author] ; Ionut Tutu and José Luiz Fiadeiro [Contributor] Revisiting the Institutional Approach to Herbrand’s Theorem Articles View online Schließen > Links ... to article via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015 Fiadeiro, José Luiz [Other]; Schobbens, Pierre-Yves [Other] Recent Trends in Algebraic Development Techniques : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers Books View online Schließen > Access ... to E-book via DOI (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007 Published in: Lecture notes in computer science ; 4409 Fiadeiro, José Luiz [Other]; Mosses, Peter [Other]; Orejas, Fernando [Other] Recent Trends in Algebraic Development Techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005 Published in: Lecture notes in computer science ; 3423 Fiadeiro, José Luiz [Author]; Montanari, Ugo [Author]; Wirsing, Martin [Author] ; José Luiz Fiadeiro and Ugo Montanari and Martin Wirsing [Contributor] 05081 Abstracts Collection – Foundations of Global Computing Articles View online Schließen > Links ... to article via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2006 Dustdar, Schahram [Editor]; Fiadeiro, José Luiz [Editor]; Sheth, Amit P. [Editor] Business Process Management : 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006. Proceedings Books View online Schließen > Access ... to E-book via DOI (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006 Published in: Lecture notes in computer science ; 4102 Fiadeiro, José Luiz Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems : Reflective Web Services : Reflective Web Services Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Open Publishing Association, 2012 Published in: Electronic Proceedings in Theoretical Computer Science, 98 (2012), Seite 2-2 Fiadeiro, José Luiz Concurrency, Graphs and Models: What Do Semantics Matter When the Meat Is Overcooked? Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2008 Published in: Concurrency, Graphs and Models (2008), Seite 563-580 Fiadeiro, José Luiz Software-Intensive Systems and New Computing Paradigms: On the Challenge of Engineering Socio-technical Systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2008 Published in: Software-Intensive Systems and New Computing Paradigms (2008), Seite 80-91 Fiadeiro, José Luiz Lecture Notes in Computer Science: Separating Distribution from Coordination and Computation as Architectural Dimensions Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2006 Published in: Lecture Notes in Computer Science (2006), Seite 17-17 Fiadeiro, José Luiz Theoretical Aspects of Computing - ICTAC 2004: Software Services: Scientific Challenge or Industrial Hype? Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2005 Published in: Theoretical Aspects of Computing - ICTAC 2004 (2005), Seite 1-13
Fiadeiro, José Luiz [Editor] ; WADT 17 2004 Barcelona Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27 - 29, 2004 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3423
Fiadeiro, José Luiz [Editor] ; WADT 13 1998 Lissabon Recent trends in algebraic development techniques : 13th International Workshop, WADT '98, Lisbon, Portugal, April 2 - 4, 1998 ; selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999 Published in: Lecture notes in computer science ; 1589
Fiadeiro, José Luiz [Author] Categories for software engineering Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005
Fiadeiro, José Luiz [Editor]; Inverardi, Paola [Other] ; FASE 11 2008 Budapest, ETAPS 11 2008 Budapest Fundamental approaches to software engineering : 11th international conference, FASE 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 4961
Fiadeiro, José Luiz [Editor]; Harman, Neil [Other] ; CALCO 1 2005 Swansea Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3 - 6, 2005 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3629
Fiadeiro, José Luiz [Editor]; Schobbens, Pierre Yves [Other] ; WADT 18 2006 La Roche-en-Ardenne Recent trends in algebraic development techniques : 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4409
Fiadeiro, José Luiz [Author] ; Liu, Zhiming [Editor]; Xue, Jinyun [Editor] Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers Books View online Schließen > Access ... to E-book via DOI (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham [u.a.]: Springer, 2014 Published in: Lecture notes in computer science ; 8348
Fiadeiro, José Luiz [Author] Recent Trends in Algebraic Development Techniques : 13th International Workshop, WADT’98 Lisbon, Portugal, April 2–4, 1998 Selected Papers Books View online Schließen > Access ... to E-book via DOI (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1999 Published in: Lecture notes in computer science ; 1589
Fiadeiro, José Luiz [Editor]; Țuțu, Ionuț [Editor] Recent Trends in Algebraic Development Techniques : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers - [1st ed. 2019] Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, 2019 Published in: Theoretical Computer Science and General Issues ; 11563- Springer eBooks ; Computer Science
Fiadeiro, José Luiz [Other]; Inverardi, Paola [Other] Fundamental Approaches to Software Engineering : 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008 Published in: Lecture notes in computer science ; 4961
Tutu, Ionut [Author]; Fiadeiro, José Luiz [Author] ; Ionut Tutu and José Luiz Fiadeiro [Contributor] Revisiting the Institutional Approach to Herbrand’s Theorem Articles View online Schließen > Links ... to article via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Fiadeiro, José Luiz [Other]; Schobbens, Pierre-Yves [Other] Recent Trends in Algebraic Development Techniques : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers Books View online Schließen > Access ... to E-book via DOI (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007 Published in: Lecture notes in computer science ; 4409
Fiadeiro, José Luiz [Other]; Mosses, Peter [Other]; Orejas, Fernando [Other] Recent Trends in Algebraic Development Techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005 Published in: Lecture notes in computer science ; 3423
Fiadeiro, José Luiz [Author]; Montanari, Ugo [Author]; Wirsing, Martin [Author] ; José Luiz Fiadeiro and Ugo Montanari and Martin Wirsing [Contributor] 05081 Abstracts Collection – Foundations of Global Computing Articles View online Schließen > Links ... to article via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2006
Dustdar, Schahram [Editor]; Fiadeiro, José Luiz [Editor]; Sheth, Amit P. [Editor] Business Process Management : 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006. Proceedings Books View online Schließen > Access ... to E-book via DOI (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006 Published in: Lecture notes in computer science ; 4102
Fiadeiro, José Luiz Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems : Reflective Web Services : Reflective Web Services Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Open Publishing Association, 2012 Published in: Electronic Proceedings in Theoretical Computer Science, 98 (2012), Seite 2-2
Fiadeiro, José Luiz Concurrency, Graphs and Models: What Do Semantics Matter When the Meat Is Overcooked? Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2008 Published in: Concurrency, Graphs and Models (2008), Seite 563-580
Fiadeiro, José Luiz Software-Intensive Systems and New Computing Paradigms: On the Challenge of Engineering Socio-technical Systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2008 Published in: Software-Intensive Systems and New Computing Paradigms (2008), Seite 80-91
Fiadeiro, José Luiz Lecture Notes in Computer Science: Separating Distribution from Coordination and Computation as Architectural Dimensions Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2006 Published in: Lecture Notes in Computer Science (2006), Seite 17-17
Fiadeiro, José Luiz Theoretical Aspects of Computing - ICTAC 2004: Software Services: Scientific Challenge or Industrial Hype? Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2005 Published in: Theoretical Aspects of Computing - ICTAC 2004 (2005), Seite 1-13
> Media type Skip to next facet Articles (71) Wert ausschließen Books (13) Wert ausschließen Show more show less
> Availability Skip to next facet Stack Collection (6) Wert ausschließen Ask for availability (1) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (6) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (21) Wert ausschließen Without Specification (57) Wert ausschließen Show more show less
> Language Skip to next facet English (43) Wert ausschließen Not determined (41) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (25) Wert ausschließen Mathmatics (13) Wert ausschließen Technology (3) Wert ausschließen Art and art history (1) Wert ausschließen Economics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Fiadeiro, José Luiz (79) Wert ausschließen Lopes, Antónia (29) Wert ausschließen Wermelinger, Michel (10) Wert ausschließen Bocchi, Laura (5) Wert ausschließen Maibaum, Tom (4) Wert ausschließen Ţuţu, Ionuţ (4) Wert ausschließen Chiriţă, Claudia Elena (3) Wert ausschließen Orejas, Fernando (3) Wert ausschließen Abreu, João (2) Wert ausschließen Andrade, Luís (2) Wert ausschließen Delahaye, Benoît (2) Wert ausschließen Dustdar, Schahram (2) Wert ausschließen El-Hassan, Osama (2) Wert ausschließen Fiadeiro, JoséLuiz (2) Wert ausschließen Inverardi, Paola (2) Wert ausschließen Koutsoukos, Georgios (2) Wert ausschließen Legay, Axel (2) Wert ausschließen Liu, Zhiming (2) Wert ausschließen Tutu, Ionut (2) Wert ausschließen Andrade, Luis Filipe (1) Wert ausschließen Andrade, Luís Filipe (1) Wert ausschließen Avillez, Richard (1) Wert ausschließen Azmat, Freeha (1) Wert ausschließen Braga, Christiano (1) Wert ausschließen CALCO 1 2005 Swansea (1) Wert ausschließen Cavalheiro, Simone (1) Wert ausschließen Coyle, Lorcan (1) Wert ausschließen ETAPS 11 2008 Budapest (1) Wert ausschließen FASE 11 2008 Budapest (1) Wert ausschließen FIADEIRO, JOSÉ LUIZ (1) Wert ausschließen Fiadeiro, Jose Luiz (1) Wert ausschließen Gnesi, Stefania (1) Wert ausschließen Gouveia, João (1) Wert ausschließen Gouveia, Jo∼ao (1) Wert ausschließen Harman, Neil (1) Wert ausschließen Heckel, Reiko (1) Wert ausschließen Hinchey, Mike (1) Wert ausschließen Ionut Tutu and José Luiz Fiadeiro (1) Wert ausschließen José Luiz Fiadeiro and Ugo Montanari and Martin Wirsing (1) Wert ausschließen LOPES, ANTÓNIA (1) Wert ausschließen Lapadula, Alessandro (1) Wert ausschließen Lourenço, Hugo (1) Wert ausschließen Luiz Fiadeiro, José (1) Wert ausschließen Martí-Oliet, Narciso (1) Wert ausschließen Mazzanti, Franco (1) Wert ausschließen Meseguer, José (1) Wert ausschließen Montanari, Ugo (1) Wert ausschließen Mosses, Peter (1) Wert ausschließen Nuseibeh, Bashar (1) Wert ausschließen Oliveira, Cristóvão (1) Wert ausschließen Paredes, Carlos (1) Wert ausschließen Pita, Isabel (1) Wert ausschließen Pombo, Carlos Gustavo Lopez (1) Wert ausschließen Pugliese, Rosario (1) Wert ausschließen Ramos, Pedro (1) Wert ausschließen Reichwein, Georg (1) Wert ausschließen Schmitt, Vincent (1) Wert ausschließen Schobbens, Pierre Yves (1) Wert ausschließen Schobbens, Pierre-Yves (1) Wert ausschließen Sheth, Amit (1) Wert ausschließen Sheth, Amit P. (1) Wert ausschließen Tan, Yao-Hua (1) Wert ausschließen Tiezzi, Francesco (1) Wert ausschließen Vissani, Ignacio (1) Wert ausschließen WADT 13 1998 Lissabon (1) Wert ausschließen WADT 17 2004 Barcelona (1) Wert ausschließen WADT 18 2006 La Roche-en-Ardenne (1) Wert ausschließen Wirsing, Martin (1) Wert ausschließen Xue, Jinyun (1) Wert ausschließen van der Torre, Leendert W. N. (1) Wert ausschließen Țuțu, Ionuț (1) Wert ausschließen Show more show less
> Collection Skip to next facet Springer Berlin Heidelberg (CrossRef) (36) Wert ausschließen Elsevier BV (CrossRef) (14) Wert ausschließen Verbunddaten SWB (13) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (8) Wert ausschließen Springer International Publishing (CrossRef) (5) Wert ausschließen BASE - Bielefeld Academic Search Engine (2) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (2) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (1) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (1) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (1) Wert ausschließen Open Publishing Association (CrossRef) (1) Wert ausschließen Oxford University Press (OUP) (CrossRef) (1) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (1) Wert ausschließen Show more show less