Science and Engineering Office

Filter
Conference contribution

Search results

  • Heterogeneous and asynchronous networks of timed systems

    Fiadeiro, J. L. & Lopes, A., 2014, Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proceedings. Gnesi, S. & Rensink, A. (eds.). Berlin: Springer Verlag, p. 79-93 15 p. (Lecture Notes in Computer Science; vol. 8411).

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

    1 Citation (Scopus)
  • Heterogeneous timed machines

    Delahaye, B., Fiadeiro, J. L., Legay, A. & Lopes, A., 2014, Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Ciobanu, G. & Méry, D. (eds.). Switzerland: Springer , p. 115-132 18 p. (Lecture Notes in Computer Science; vol. 8687).

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

    2 Citations (Scopus)
  • Improved antireflection coated microspheres for biological applications of optical tweezers

    Ferro, V., Sonnberger, A., Abdosamadi, M. K., McDonald, C., Schäffer, E. & McGloin, D., 16 Sep 2016, Optical Trapping and Optical Micromanipulation XIII. Dholakia, K. & Spalding, G. C. (eds.). United States: SPIE-International Society for Optical Engineering, Vol. 9922. 99222T

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

  • Innovations in the centrifuge modelling of energy pile behaviour in unsaturated soil

    Leung, A. K., Vitali, D., Ma, L. & Zhao, R., 14 Oct 2019, Proceedings of the 16th Asian Regional Conference on Soil Mechanics and Geotechnical Engineering. Southeast Asian Geotechnical Society, 4 p. YMPG11

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

    Open Access
    File
    21 Downloads (Pure)
  • Institutions for Behaviour Specification

    Fiadeiro, J. L. & Costa, J. F., 1995, ADT 1994, COMPASS 1994: Recent Trends in Data Type Specification. Astesiano, E., Reggio, G. & Tarlecki, A. (eds.). Springer Verlag, p. 273-289 17 p. (Lecture Notes in Computer Science; vol. 906).

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

    6 Citations (Scopus)
  • Intact connectional morphometricity learning using multi-view morphological brain networks with application to autism spectrum disorder

    Bessadok, A. & 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. 38-46 9 p. (Lecture Notes in Computer Science; vol. 11083).

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

    Open Access
    File
    1 Citation (Scopus)
    114 Downloads (Pure)
  • Interconnecting formalisms: Supporting modularity, reuse and incrementality

    Fiadeiro, J. L. & Maibaum, T., 1995, Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering. New York: ACM Press, p. 72-80 9 p.

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

    33 Citations (Scopus)
  • Interconnecting Objects Via Contracts

    Andrade, L. F. & Fiadeiro, J. L., 1999, UML'99: The Unified Modeling Language: Beyond the Standard. France, R. B. & Rumpe, B. (eds.). Berlin: Springer Verlag, p. 566-583 18 p. (Lecture Notes in Computer Science; vol. 1723).

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

    29 Citations (Scopus)
  • Joint Correlational and Discriminative Ensemble Classifier Learning for Dementia Stratification Using Shallow Brain Multiplexes

    Raeper, R., Lisowska, A., Rekik, I. & Alzheimer’s Disease Neuroimaging Initiative, 2018, Medical Image Computing and Computer Assisted Intervention – MICCAI 2018 - 21st International Conference, 2018, Proceedings. Schnabel, J. A., Davatzikos, C., Alberola-López, C., Fichtinger, G. & Frangi, A. F. (eds.). Switzerland: Springer , Vol. 11070. p. 599-607 9 p. (Lecture Notes in Computer Science; vol. 11070).

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

    Open Access
    File
    3 Citations (Scopus)
    129 Downloads (Pure)
  • Joint Prediction and Classification of Brain Image Evolution Trajectories from Baseline Brain Image with Application to Early Dementia

    Gafuroğlu, C., Rekik, I. & Alzheimer's Disease Neuroimaging Initiative, 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. 437-445 9 p. (Lecture Notes in Computer Science; vol. 11072).

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

    Open Access
    File
    5 Citations (Scopus)
    98 Downloads (Pure)
  • Knowledgebases as structured theories

    Fiadeiro, J., Sernadas, A. & Sernadas, C., 1988, Foundations of Software Technology and Theoretical Computer Science. Vol. 338. p. 469-486 18 p. (Lecture Notes in Computer Science; vol. 338).

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

    4 Citations (Scopus)
  • Learning to Self-Manage by Intelligent Monitoring, Prediction and Intervention

    Wiratunga, N., Corsar, D., Martin, K., Wijekoon, A., Elyan, E., Cooper, K., Ibrahim, Z., Celiktutan, O., Dobson, R. J., McKenna, S., Morris, J., Waller, A., Abd-Alhammed, R., Qahwaji, R. & Chaudhuri, R., 2019, KDH 2019: Proceedings of the 4th International Workshop on Knowledge Discovery in Healthcare Data. Wiratunga, N., Coenen, F. & Sani, S. (eds.). Germany: CEUR-WS, Vol. 2429. p. 60-67 8 p. 10. (CEUR Workshop Proceedings).

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

    Open Access
    File
    1 Citation (Scopus)
    17 Downloads (Pure)
  • Logics for actor networks: A case study in constrained hybridization

    Fiadeiro, J., Ţuţu, I., Lopes, A. & Pavlovic, D., 2018, Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. Madeira, A., Madeira, A. & Benevides, M. (eds.). Switzerland: Springer Verlag, p. 98-114 17 p. (Lecture Notes in Computer Science; vol. 10669).

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

    3 Citations (Scopus)
  • Managing socio-technical interactions in healthcare systems

    El-Hassan, O., Fiadeiro, J. L. & Heckel, R., 14 Mar 2008, Business Process Management Workshops - BPM 2007 International Workshops BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Revised Selected Papers. p. 347-358 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4928 LNCS).

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

    1 Citation (Scopus)
  • Many-valued institutions for constraint specification

    Chiriţă, C. E., Fiadeiro, J. L. & Orejas, F., 2016, Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Stevens, P. & Wasowski, A. (eds.). Berlin: Springer Verlag, p. 359-376 18 p. (Lecture Notes in Computer Science; vol. 9633).

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

    1 Citation (Scopus)
  • Multiphoton imaging with high peak power VECSELs

    Mirkhanov, S., Quarterman, A. H., Swift, S., Praveen, B. B., Smyth, C. J. C. & Wilcox, K. G., 10 Mar 2016, Vertical External Cavity Surface Emitting Lasers (VECSELs) VI. Wilcox, K. G. (ed.). San Francisco: SPIE-International Society for Optical Engineering, Vol. 9734. 973412

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

    1 Citation (Scopus)
  • New insights on architectural connectors

    Bruni, R., Fiadeiro, J. L., Lanese, I., Lopes, A. & Montanari, U., 1 Jan 2004, Exploring New Frontiers of Theoretical Informatics: IFIP International Federation for Information Processing. Springer New York, Vol. 155. p. 367-380 14 p. (IFIP Advances in Information and Communication Technology; vol. 155).

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

    11 Citations (Scopus)
  • Object-Oriented Conceptual Modeling from Law

    Sernadas, C., Fiadeiro, J. L. & Sernadas, A., 1988, Artificial Intelligence in Databases and Information Systems (DS-3): Proceedings of the IFIP TC2/TC8/WG2.6/WG8.1 Working Conference on the Role of Artificial Intelligence in Databases and Information Systems. Meersman, R., Shi, Z. & Kung, C. (eds.). North-Holland Publishing Company, p. 305-327 23 p.

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

  • On the challenge of engineering socio-technical systems

    Fiadeiro, J. L., 31 Dec 2008, Software-Intensive Systems and New Computing Paradigms: Challenges and Visions. Wirsing, M., Rauschmayer, A., Holzl, M. & Banatre, J-P. (eds.). Vol. 5380. p. 80-91 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5380 LNCS).

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

    7 Citations (Scopus)
  • On the Emergence of Properties in Component-Based Systems

    Fiadeiro, J. L., 1996, AMAST 1996: Algebraic Methodology and Software Technology. Berlin: Springer Verlag, p. 421-443 23 p. (Lecture Notes in Computer Science; vol. 1101).

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

    12 Citations (Scopus)
  • Optical coherence elastography (OCE) as a method for identifying benign and malignant prostate biopsies

    Li, C., Guan, G., Ling, Y., Lang, S., Wang, R. K., Huang, Z. & Nabi, G., 2 Mar 2015, Proceedings Volume 9312: Optical Coherence Tomography and Coherence Domain Optical Methods in Biomedicine XIX. Fujimoto, J. G., Izatt, J. A. & Tuchin, V. V. (eds.). SPIE-International Society for Optical Engineering, Vol. 9312. 8 p. 93122S

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

  • Optimal repetition rate and pulse duration studies for two photon imaging

    Mirkhanov, S., Quarterman, A. H., Smyth, C. J. C. P., Praveen, B. B., Appleton, P., Thomson, C., Swift, S. & Wilcox, K. G., 28 Jan 2017, Multiphoton Microscopy in the Biomedical Sciences XVII. SPIE-International Society for Optical Engineering, Vol. 10069. 100692F

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

    2 Citations (Scopus)
  • Patterns for coordination

    Andrade, L. F., Fiadeiro, J. L., Gouveia, J., Lopes, A. & Wermelinger, M., 2000, Coordination Languages and Models: 4th International Conference, COORDINATION 2000, Proceedings. Porto, A. & Roman, G-C. (eds.). Springer Verlag, Vol. 1906. p. 317-322 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1906).

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

    16 Citations (Scopus)
  • Physical modelling of soil-structure interaction of tree root systems under lateral loads

    Zhang, X., Knappett, J., Leung, A. & Liang, T., 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. 481-486 6 p.

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

    Open Access
    File
    3 Citations (Scopus)
    132 Downloads (Pure)
  • Physiological vs. Social complexity in software design

    Fiadeiro, J. L., 2006, Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2006. IEEE, p. 3 1 p. 1690349

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

    1 Citation (Scopus)
  • Preface

    Fiadeiro, J. L., Liu, Z. & Xue, J., Jan 2014, Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers. Fiadeiro, J. L., Liu, Z. & Xue, J. (eds.). Springer , Vol. 8348 LNCS. 1 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

  • Preface

    Fiadeiro, J. L. & Ţuţu, I., Apr 2019, Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers. Fiadeiro, J. L. & Țuțu, I. (eds.). Springer , Vol. 11563 LNCS. p. v-vi 2 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

  • Preface

    Dustdar, S., Fiadeiro, J. & Sheth, A., 2006, Business Process Management: 4th International Conference, BPM 2006. Dustdar, S., Fiadeiro, J. L. & Sheth, A. P. (eds.). Berlin: Springer Verlag, 1 p. (Lecture Notes in Computer Science; vol. 4102).

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

  • Preface

    Cavalheiro, S. & Fiadeiro, J., Nov 2017, Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings. Cavalheiro, S. & Fiadeiro, J. (eds.). Springer , Vol. 10623. (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

  • Preface

    Fiadeiro, J., Mosses, P. & Orejas, F., 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.). Springer Verlag, p. V-VI 2 p. (Lecture Notes in Computer Science; vol. 3423).

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

  • Preface to Fundamental approaches to software engineering

    Fiadeiro, J. & Inverardi, P., 21 Jul 2008, Fundamental Approaches to Software Engineering: 11th International Conference, FASE 2008. Vol. 4961 LNCS. 2 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

  • Preservation and reflection in specification

    Lopes, A. & Fiadeiro, J. L., 1997, AMAST 1997: Algebraic Methodology and Software Technology. Johnson, M. (ed.). Berlin: Springer Verlag, p. 380-394 15 p. ( Lecture Notes in Computer Science; vol. 1349).

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

    6 Citations (Scopus)
  • Problem frames: A case for coordination

    Barroca, L., Fiadeiro, J. L., Jackson, M., Laney, R. & Nuseibeh, B., 1 Dec 2004, Coordination Models and Languages: 6th International Conference, COORDINATION 2004. de Nicola, R., Ferrari, G. & Meredith, G. (eds.). Springer , Vol. 2949. p. 5-19 15 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)
  • Proceedings - Software Engineering and Formal Methods, SEFM 2010: Preface

    Schettini, A. M., Fiadeiro, J. L. & Gnesi, S., 28 Dec 2010, 2010 8th IEEE International Conference on Software Engineering and Formal Methods. IEEE, 2 p.

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

  • Process semantics of temporal logic specification

    Fiadeiro, L., Costa, J. F., Sernadas, A. & Maibaum, T. S. E., 1993, Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop. Bidoit, M. & Choppy, C. (eds.). Berlin: Springer Verlag, p. 236-253 18 p. (Lecture Notes in Computer Science; vol. 655).

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

    7 Citations (Scopus)
  • Pushing the Boundaries of Participatory Design with Children with Special Needs

    Constantin, A., Korte, J., Falis, J. A., Good, J., Alexandru, C. A., Dragomir, M., Pain, H., Hourcade, J. P., Eriksson, E., Waller, A. & Garzotto, F., 12 Jun 2019, IDC '19: Proceedings of the 18th ACM International Conference on Interaction Design and Children. New York: Association for Computing Machinery (ACM), p. 697-705 9 p.

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

    4 Citations (Scopus)
  • RBSLA based implementation for architectural management laws

    Alghamdi, A., Fiadeiro, J. L. & Paschke, A., 1 Sep 2008, Innovations'07: 4th International Conference on Innovations in Information Technology, IIT. p. 556-560 5 p. 4430371. (Innovations'07: 4th International Conference on Innovations in Information Technology, IIT).

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

  • Resonant measurements of nonlinear lensing in a VECSEL gain sample

    Quarterman, A. H., Smyth, C. J. C., Mirkhanov, S. & Wilcox, K. G., 10 Mar 2016, Vertical External Cavity Surface Emitting Lasers (VECSELs) VI. Wilcox, K. G. (ed.). San Francisco: SPIE-International Society for Optical Engineering, Vol. 9734. 97340J

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

  • Retinal Biomarkers Discovery for Cerebral Small Vessel Disease in an Older Population

    Ballerini, L., Fetit, A. E., Wunderlich, S., Lovreglio, R., McGrory, S., Valdes-Hernandez, M., MacGillivray, T., Doubal, F. N., Deary, I. J., Wardlaw, J. & Trucco, E., 2020, Medical Image Understanding and Analysis - 24th Annual Conference, MIUA 2020, Proceedings: Medical Image Understanding and Analysis . Papiez, B. W., Namburete, A. I. L., Yaqub, M. & Noble, J. A. (eds.). Switzerland: Springer , p. 400-409 10 p. (Communications in Computer and Information Science; vol. 1248).

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

    Open Access
    File
    3 Downloads (Pure)
  • Reuse of requirements and specifications - a formal framework

    Paredes, C. & Fiadeiro, J. L., 1995, Proceedings of the ACM SIGSOFT Symposium on Software Reusability. New York: Association for Computing Machinery (ACM), p. 263-266 4 p.

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

    5 Citations (Scopus)
  • Revisiting the categorical approach to systems

    Lopes, A. & Fiadeiro, J. L., 1 Jan 2002, Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002. Kirchner, H. & Ringeissen, C. (eds.). Springer Verlag, p. 426-440 15 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

    5 Citations (Scopus)
  • Revisiting the institutional approach to Herbrand's theorem

    Ţuţu, I. & Fiadeiro, J. L., 2015, 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Moss, L. S. & Sobocinski, P. (eds.). Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, p. 304-319 16 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 35).

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

    Open Access
    File
    6 Downloads (Pure)
  • Semantics of architectural connectors

    Fiadeiro, J. L. & Lopes, A., 1997, TAPSOFT '97: Theory and Practice of Software Development. Bidoit, M. & Dauchet, M. (eds.). Berlin: Springer Verlag, p. 503-519 17 p. (Lecture Notes in Computer Science; vol. 1214).

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

    41 Citations (Scopus)
  • Separating distribution from coordination and computation as architectural dimensions

    Fiadeiro, J. L., 2006, Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Proceedings. Wehrheim, H. & Gorrieri, R. (eds.). Springer Verlag, p. 17-17 1 p. (Lecture Notes in Computer Science; vol. 4037).

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

    Open Access
  • Service-oriented modelling of automotive systems

    Bocchi, L., Fiadeiro, J. L. & Lopes, A., 8 Aug 2008, Proceedings - 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008. IEEE Computer Society, p. 1059-1064 6 p. 4591722. (Proceedings - International Computer Software and Applications Conference).

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

    20 Citations (Scopus)
  • Sharing attributes and actions in modal action logic

    Ryan, M., Fiadeiro, J. & Maibaum, T., 1991, International Symposium on Theoretical Aspects of Computer Software: TACS 1991. Springer , Vol. 526. p. 569-593 25 p. (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); vol. 526).

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

    29 Citations (Scopus)
  • Software services: Scientific challenge or industrial hype?

    Fiadeiro, J. L., 2005, Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Paper. Liu, Z. & Araki, K. (eds.). Berlin: Springer Verlag, p. 1-13 13 p. (Lecture Notes in Computer Science; vol. 3407).

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

    6 Citations (Scopus)
  • Sometimes “tomorrow” is “sometime”: Action refinenent in a temporal logic of objects

    Fiadeiro, J. L. & Maibaum, T., 1 Jan 1994, Temporal Logic - 1st International Conference, ICTL 1994, Proceedings. Gabbay, D. M. & Ohlbach, H. J. (eds.). Springer Verlag, p. 48-66 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 827 LNAI).

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

    36 Citations (Scopus)
  • Specification of required non-determinism

    Lano, K., Bicarregui, J., Fiadeiro, J. & Lopes, A., 1997, FME 1997: Industrial Applications and Strengthened Foundations of Formal Methods - 4th International Symposium of Formal Methods Europe, Proceedings. Fitzgerald, J., Jones, C. B. & Lucas, P. (eds.). Berlin: Springer Verlag, p. 298-317 20 p. (Lecture Notes in Computer Science; vol. 1313).

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

    2 Citations (Scopus)
  • Structured Co-spans: An algebra of interaction protocols

    Fiadeiro, J. L. & Schmitt, V., 2007, Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Proceedings. Mossakowski, T., Montanari, U. & Haveraaen, M. (eds.). Berlin: Springer Verlag, p. 194-208 15 p. (Lecture Notes in Computer Science; vol. 4624).

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

    7 Citations (Scopus)