Science and Engineering Office

Filter
Conference contribution

Search results

  • Abstract Constraint Data Types

    Fiadeiro, J. L. & Orejas, F., 2015, Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. De Nicola, R. & Hennicker, R. (eds.). Switzerland: Springer Verlag, p. 155-170 16 p. (Lecture Notes in Computer Science; vol. 8950).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • A compositional approach to connector construction

    Lopes, A., Wermelinger, M. & Fiadeiro, J. L., 2002, Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Selected Papers. Cerioli, M. & Reggio, G. (eds.). Berlin: Springer Verlag, p. 201-220 20 p. (Lecture Notes in Computer Science; vol. 2267).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    7 Citations (Scopus)
  • A coordination model for service-oriented interactions

    Abreu, J. & Fiadeiro, J. L., 30 Jun 2008, Coordination Models and Languages - 10th International Conference, COORDINATION 2008, Proceedings. Vol. 5052. p. 1-16 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5052 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    20 Citations (Scopus)
  • Adversarial Convolutional Networks with Weak Domain-Transfer for Multi-sequence Cardiac MR Images Segmentation

    Chen, J., Li, H., Zhang, J. & Menze, B., 2020, Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges: 10th International Workshop, STACOM 2019, Held in Conjunction with MICCAI 2019, Revised Selected Papers. Pop, M., Sermesant, M., Camara, O., Zhuang, X., Li, S., Young, A., Mansi, T. & Suinesiaputra, A. (eds.). Springer Verlag, Vol. 12009. p. 317-325 9 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    6 Citations (Scopus)
    35 Downloads (Pure)
  • A formal approach to event-based architectures

    Fiadeiro, J. L. & Lopes, A., 2006, Fundamental Approaches to Software Engineering: 9th International Conference, FASE 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings. Baresi, L. & Heckel, H. (eds.). Springer Verlag, p. 18-32 15 p. (Lecture Notes in Computer Science; vol. 3922).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    1 Citation (Scopus)
  • A formal approach to service component architecture

    Fiadeiro, J. L., Lopes, A. & Bocchi, L., 2006, Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Proceedings. Bravetti, M., Nunez, M. & Zavattaro, G. (eds.). Berlin: Springer Verlag, p. 193-213 21 p. (Lecture Notes in Computer Science; vol. 4184).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    51 Citations (Scopus)
  • A full operational semantics for asynchronous relational networks

    Vissani, I., Pombo, C. G. L., Ţuţu, I. & Fiadeiro, J. L., 2015, Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Revised Selected Papers. Ţuţu, I., Codescu, M. & Diaconescu, R. (eds.). Switzerland: Springer , p. 131-150 20 p. (Lecture Notes in Computer Science; vol. 9463).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • AGILE: Software architecture for mobility

    Andrade, L., Baldan, P., Baumeister, H., Bruni, R., Corradini, A., De Nicola, R., Fiadeiro, J. L., Gadducci, F., Gnesi, S., Hoffman, P., Koch, N., Kosiuczenko, P., Lapadula, A., Latella, D., Lopes, A., Loreti, M., Massink, M., Mazzanti, F., Montanari, U., Oliveira, C. & 5 others, Pugliese, R., Tarlecki, A., Wermelinger, M., Wirsing, M. & Zawłocki, A., 2003, Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers. Wirsing, M., Pattinson, D. & Hennicker, R. (eds.). Berlin: Springer Verlag, p. 1-33 33 p. (Lecture Notes in Computer Science; vol. 2755).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    19 Citations (Scopus)
  • A graph-based design framework for services

    Lopes, A. & Fiadeiro, J. L., 24 Oct 2012, Graph Transformations - 6th International Conference, ICGT 2012, Proceedings. p. 1-19 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7562 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure

    Sernadas, A., Sernadas, C. & Fiadeiro, J. L., 1986, Proceedings of the 4st Workshop on Abstract Data Type.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Algebraic semantics of coordination or what is in a signature

    Fiadeiro, J. L. & Lopes, A., 1998, Algebraic Methodology and Software Technology - 7th International Conference, AMAST 1998, Proceedings. Haeberer, A. M. (ed.). Berlin: Springer Verlag, p. 293-307 15 p. (Lecture Notes in Computer Science; vol. 1548).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    10 Citations (Scopus)
  • Algebraic semantics of design abstractions for context-awareness

    Lopes, A. & Fiadeiro, J. L., 2005, Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers. Fiadeiro, J. L., Mosses, P. D. & Orejas, F. (eds.). Berlin: Springer Verlag, p. 79-93 15 p. (Lecture Notes in Computer Science; vol. 3423).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)
  • Algebraic semantics of service component modules

    Fiadeiro, J. L., Lopes, A. & Bocchi, L., 2007, Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006, Revised Selected Papers. Fiadeiro, J. L. & Schobbens, P. Y. (eds.). Berlin: Springer Verlag, p. 37-55 19 p. (Lecture Notes in Computer Science; vol. 4409 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    17 Citations (Scopus)
  • Algebraic software architecture reconfiguration

    Wermelinger, M. & Fiadeiro, J. L., 1999, Software Engineering, ESEC/FSE 1999 - 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Proceedings. p. 393-409 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1687 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    32 Citations (Scopus)
  • Algebraic support for service-oriented architecture (Extended abstract)

    Fiadeiro, J. L., 1 Jan 2002, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Kirchner, H. & Ringeissen, C. (eds.). Springer Verlag, p. 75-82 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2422).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)
  • A logic-programming semantics of services

    Ţuţu, I. & Fiadeiro, J. L., 2013, Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings. Heckel, R. & Milius, S. (eds.). Springer Verlag, p. 299-313 15 p. (Lecture Notes in Computer Science; vol. 8089).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)
  • A mathematical toolbox for the software architect

    Fiadeiro, J. L. & Maibaum, T., 22 Mar 1996, Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996. Association for Computing Machinery, p. 46-55 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    30 Citations (Scopus)
  • A model-checking approach for service component architectures

    Abreu, J., Mazzanti, F., Fiadeiro, J. L. & Gnesi, S., 28 Sep 2009, Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. Lee, D., Lopes, A. & Poetzsch-Heffter, A. (eds.). Berlin, Heidelberg: Springer , p. 219-224 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5522 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    15 Citations (Scopus)
  • A model for dynamic reconfiguration in service-oriented architectures

    Fiadeiro, J. L. & Lopes, A., 5 Nov 2010, Software Architecture: 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings. Ali Babar, M. & Gorton, I. (eds.). Springer , p. 70-85 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6285 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    23 Citations (Scopus)
  • An Analysis of User Engagement in Relation to Computing Workshop Activities

    Menzies, R., Crabb, M., Herron, D., Petrie, K., Stewart, C. & Zarb, M., 24 Feb 2015, SIGCSE '15: Proceedings of the 46th ACM Technical Symposium on Computer Science Education . New York: Association for Computing Machinery, p. 469-474 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • An architectural approach to auto-adaptive systems

    Andrade, L. & Fiadeiro, J. L., 2002, Proceedings - 22nd International Conference on Distributed Computing Systems Workshops, ICDCSW 2002. Wagner, R. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 439-444 6 p. 1030809. (Proceedings - International Conference on Distributed Computing Systems; vol. 2002-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    12 Citations (Scopus)
  • An architectural approach to fault treatment in critical infrastructures

    Fiadeiro, J. L., 2002, Dependable Computing - EDCC 4 - 4th European Dependable Computing Conference, Proceedings. Bondavalli, A. & Thevenod-Fosse, P. (eds.). Berlin: Springer Verlag, p. 86-87 2 p. (Lecture Notes in Computer Science; vol. 2485).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • An architectural approach to mobility - The handover case study

    Oliveira, C., Wermelinger, M., Fiadeiro, J. L. & Lopes, A., 1 Jan 2004, Proceedings - Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004). IEEE Computer Society, p. 305-308 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • An Architectural Support for Self-Adaptive Software for Treating Faults

    De Lemos, R. & Fiadeiro, J. L., 1 Dec 2002, Proceedings of the first ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02). Garlan, D., Kramer, J. & Wolf, A. (eds.). p. 39-42 4 p. (Proceedings of the first ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    21 Citations (Scopus)
  • A new heating-cooling system for centrifuge testing of thermo-active geo-structures

    Vitali, D., Leung, A., Zhao, R. & Knappett, J., 24 Oct 2018, Physical Modelling in Geotechnics: Proceedings of the 9th International Conference on Physical Modelling in Geotechnics (ICPMG 2018), July 17-20, 2018, London, United Kingdom. McNamara, A., Divall, S. & Goodey, R. (eds.). Taylor & Francis, Vol. 1. p. 475-480 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    2 Citations (Scopus)
    101 Downloads (Pure)
  • An interface theory for service-oriented design

    Fiadeiro, J. L. & Lopes, A., 4 Apr 2011, Fundamental Approaches to Software Engineering - 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Proceedings. p. 18-33 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6603 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    9 Citations (Scopus)
  • Architectural handling of management concerns in service-driven business processes

    Al-Ghamdi, A. & Fiadeiro, J. L., 2006, Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems: Volume 1: MSVVEIS 2006 In Conjunction with ICEIS 2006. Barjis, J., Ultes-Nitsche, U. & Augusto, J. C. (eds.). p. 111-120 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • Architecture based evolution of software systems

    Andrade, L. F. & Fiadeiro, J. L., 2003, Formal Methods for Software Architectures. Bernardo, M. & Inverardi, P. (eds.). Berlin: Springer Verlag, Vol. 2804. p. 148-181 34 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    20 Citations (Scopus)
  • A Semantics of Business Configurations Using Symbolic Graphs

    Mylonakis, N., Orejas, F. & Fiadeiro, J., 20 Aug 2015, Proceedings - 2015 IEEE International Conference on Services Computing (SCC 2015). Chou, W., Maglio, P. P. & Paik, I. (eds.). New York: IEEE, p. 146-153 8 p. 7207347

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A timed component algebra for services

    Delahaye, B., Fiadeiro, J. L., Legay, A. & Lopes, A., 2013, Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on DisCoTec 2013, Proceedings: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings. Beyer, D. & Boreale, M. (eds.). Berlin: Springer Verlag, p. 242-257 16 p. (Lecture Notes in Computer Science; vol. 7892).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    5 Citations (Scopus)
  • A use-case driven approach to formal service-oriented modelling

    Bocchi, L., Fiadeiro, J. L. & Lopes, A., 2008, Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer , p. 155-169 15 p. (Communications in Computer and Information Science; vol. 17 CCIS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Citations (Scopus)
  • Behavioural Aspects of Intelligent Knowledge-Based Information Systems

    Fiadeiro, J. L. & Sernadas, A., 1987, Temporal Ascpects in Information Systems, Proceedings of the IFIP TC 8/WG 8.1 Working Conference on Temporal Aspects in Information Systems. Rolland, C., Bodart, F. & Leonard, M. (eds.). North-Holland: Elsevier, p. 77-92 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Community on the move: Architectures for distribution and mobility

    Fiadeiro, J. L. & Lopes, A., 1 Dec 2004, Formal Methods for Components and Objects. FMCO 2003. de Boer, F. S., Bonsangue, M. M., Graf, S. & de Roever, W. P. (eds.). Springer , Vol. 3188. p. 177-196 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    10 Citations (Scopus)
  • Consistency of service composition

    Fiadeiro, J. L. & Lopes, A., 3 Apr 2012, Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Proceedings. Springer , Vol. 7212. p. 63-77 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7212 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    4 Citations (Scopus)
  • Context-awareness in software architectures

    Lopes, A. & Fiadeiro, J. L., 2005, Software Architecture: 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005. Proceedings. Morrison, R. & Oquendo, F. (eds.). Berlin: Springer Verlag, p. 146-161 16 p. (Lecture Notes in Computer Science; vol. 3527).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Citations (Scopus)
  • Coordinating durative actions

    Nunes, I., Fiadeiro, J. L. & Turski, W. M., 1997, COORDINATION 1997: Coordination Languages and Models. Garlan, D. & Le Métayer, D. (eds.). Berlin: Springer Verlag, p. 115-130 16 p. ( Lecture Notes in Computer Science; vol. 1282).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • Coordination architecture for evolvable event-based systems

    Andrade, L. & Fiadeiro, J. L., 1 Jan 2002, Proceedings - 22nd International Conference on Distributed Computing Systems Workshops, ICDCSW 2002. Wagner, R. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 571-572 2 p. 1030827

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Coordination for orchestration

    Andrade, L. F., Fiadeiro, J. L., Gouveia, J., Koutsoukos, G. & Wermelinger, M., 1 Jan 2002, Coordination Models and Languages - 5th International Conference, COORDINATION 2002, Proceedings. Talcott, C. & Arbab, F. (eds.). Springer Verlag, p. 5-13 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2315).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    9 Citations (Scopus)
  • Coordination technologies for managing information system evolution

    Andrade, L. F. & Fiadeiro, J. L., 28 Jun 2001, Advanced Information Systems Engineering - 13th International Conference, CAiSE 2001, Proceedings. Dittrich, K. R., Geppert, A. & Norrie, M. C. (eds.). Berlin: Springer Verlag, Vol. 2068. p. 374-387 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2068).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    15 Citations (Scopus)
  • Data-specific feature selection method identification for most reproducible connectomic feature discovery fingerprinting brain states

    Georges, N. & Rekik, I., 2018, Connectomics in NeuroImaging: Second International Workshop, CNI 2018, Held in Conjunction with MICCAI 2018, Proceedings. Wu, G., Schirmer, M. D., Chung, A. W., Rekik, I. & Munsell, B. (eds.). Switzerland: Springer Verlag, Vol. 11083. p. 99-106 8 p. (Lecture Notes in Computer Science; vol. 11083).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    1 Citation (Scopus)
    67 Downloads (Pure)
  • Declarative semantics of interoperable data- and knowledge-bases

    Reichwein, G., Fiadeiro, J. L. & Rohen, M., 1993, Proceedings - International Conference on Intelligent and Cooperative Information Systems, ICICIS 1993. Schlageter, G., Papazoglou, M. P. & Huhns, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 291-299 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • Describing, structuring and implementing objects

    Fiadeiro, J. & Maibaum, T., 1991, REX 1990: Workshop/School/Symposium of the REX Project (Research and Education in Concurrent Systems). Springer , Vol. 489. p. 274-310 37 p. (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); vol. 489).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    27 Citations (Scopus)
  • Do Baby Brain Cortices that Look Alike at Birth Grow Alike During the First Year of Postnatal Development?

    Rekik, I., Li, G., Lin, W. & Shen, D., 2018, Medical Image Computing and Computer Assisted Intervention – MICCAI 2018 - 21st International Conference, 2018, Proceedings. Frangi, A. F., Davatzikos, C., Fichtinger, G., Alberola-López, C. & Schnabel, J. A. (eds.). Switzerland: Springer , Vol. 11072. p. 566-574 9 p. (Lecture Notes in Computer Science; vol. 11072).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    2 Citations (Scopus)
    138 Downloads (Pure)
  • Early model-analysis of logistics systems

    Azmat, F., Bocchi, L. & Fiadeiro, J. L., 28 Mar 2011, Service-Oriented Computing - ICSOC 2010. Maximilien, E. M., Rossi, G., Yuan, S. T., Ludwig, H. & Fantinato, M. (eds.). Springer , p. 225-236 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6568 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Enhancing dependability through flexible adaptation to changing requirements

    Wermelinger, M., Koutsoukos, G., Lourenço, H., Avillez, R., Gouveia, J., Andrade, L. & Fiadeiro, J. L., 1 Jan 2004, Architecting Dependable Systems II. de Lemos, R., Gacek, C. & Romano, A. (eds.). Springer , Vol. 3069. p. 3-24 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3069).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • Expecting the Unexpected in Participatory Design

    Constantin, A., Korte, J., Fails, J. A., Alexandru, C. A., Dragomir, M., Pain, H., Good, J., Garzotto, F., Eriksson, E. & Waller, A., 2 May 2019, CHI EA 2019 - Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems: Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery (ACM), p. 1-4 4 p. SIG07. (Conference on Human Factors in Computing Systems - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    77 Downloads (Pure)
  • Extending B AMN with concurrency

    Lano, K., Fiadeiro, J. & Dick, J., 1996, Advances in the theory and formal methods of computing. Edalat, A., Jourdan, S. & McCusker, G. (eds.). London: Imperial College Press, p. 228-239 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Free Jazz in the Land of Algebraic Improvisation

    Chiriţă, C. E. & Fiadeiro, J., Jun 2016, Proceedings of the Seventh International Conference on Computational Creativity, UPMC, Paris, France, June 27 - July 1, 2016.. p. 322-329 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    21 Downloads (Pure)
  • From BPEL to SRML: A formal transformational approach

    Bocchi, L., Hong, Y., Lopes, A. & Fiadeiro, J. L., 14 May 2008, Web Services and Formal Methods - 4th International Workshop, WS-FM 2007, Proceedings. Vol. 4937. p. 92-107 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4937 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    12 Citations (Scopus)
  • Full skin quantitative optical coherence elastography achieved by combining vibration and surface acoustic wave methods

    Li, C., Guan, G., Huang, Z., Wang, R. K. & Nabi, G., 5 Mar 2015, Proceedings Volume 9322: Dynamics and Fluctuations in Biomedical Photonics XII. Tuchin, V. V., Larin, K. V., Leahy, M. J. & Wang, R. K. (eds.). SPIE-International Society for Optical Engineering, Vol. 9322. 9 p. 93220O

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    8 Citations (Scopus)