Science and Engineering Office

Filter
Conference contribution

Search results

  • What do semantics matter when the meat is overcooked?

    Fiadeiro, J. L., 1 Jul 2008, Concurrency, Graphs and Models - Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. p. 563-580 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5065 LNCS).

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

  • Varying Representation Schemata vs Fact Updating in KB Management

    Carapuça, R. & Fiadeiro, J. L., 1986, Data and knowledge (DS-2): proceedings of the Second IFIP 2.6 Working Conference on Database Semantics. Amsterdam: Elsevier Science Publishers, p. 71-87 17 p.

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

  • Variability and rigour in Service Computing engineering

    Ter Beek, M. H., Gnesi, S., Fantechi, A. & Fiadeiro, J. L., 26 Apr 2012, Proceedings - 2011 34th IEEE Software Engineering Workshop, SEW 2011. p. 122-127 6 p. 6146918. (Annual IEEE Software Engineering Workshop).

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

  • Using explicit state to describe architectures

    Lopes, A. & Fiadeiro, J. L., 1999, FASE 1999: Fundamental Approaches to Software Engineering. Finance, JP. (ed.). Berlin: Springer Verlag, p. 144-160 17 p. (Lecture Notes in Computer Science; vol. 1577).

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

    15 Citations (Scopus)
  • Using coordination contracts for flexible adaptation to changing business rules

    Wermelinger, M., Koutsoukos, G., Avillez, R., Gouveia, J., Andrade, L. & Fiadeiro, J. L., 1 Jan 2003, Proceedings - 6th International Workshop on Principles of Software Evolution, IWPSE 2003, in Association with ESEC/FSE 2003. Mikkonen, T., Godfrey, M. W. & Saeki, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 115-120 6 p. 1231217. (International Workshop on Principles of Software Evolution (IWPSE); vol. 2003-January).

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

    6 Citations (Scopus)
  • Unifying Theories in Different Institutions

    Arrais, M. & Fiadeiro, J. L., 1996, Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers. Haveraaen, M., Owe, O. & Dhal, O. J. (eds.). Springer Verlag, p. 81-101 21 p. (Lecture Notes in Computer Science; vol. 1130).

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

    20 Citations (Scopus)
  • Towards a verification logic for rewriting logic

    Fiadeiro, J. L., Maibaum, T., Martí-Oliet, N., Meseguer, J. & Pita, I., 2000, Recent Trends in Algebraic Development Techniques - 14th International Workshop, WADT 1999, Selected Papers. Bert, D., Choppy, C. & Mosses, P. (eds.). Springer Verlag, Vol. 1827. p. 438-458 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1827).

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

    22 Citations (Scopus)
  • Towards an algebra of architectural connectors: A case study on synchronization for mobility

    Wermelinger, M. & Fiadeiro, J. L., 16 Apr 1998, Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998. Association for Computing Machinery, p. 135-143 9 p.

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

    8 Citations (Scopus)
  • THz emission from quantum dot-based THz antennas pumped by a tunable quantum-dot laser diode

    Leyman, R., Carnegie, D., Fedorova, K. A., Bazieva, N., Schulz, S., Reardon, C., Clarke, E. & Rafailov, E. U., 2013, 2013 Conference on Lasers and Electro-Optics Europe & International Quantum Electronics Conference. Piscataway, NJ.: IEEE

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

    7 Citations (Scopus)
  • The role of diagnosis and decision theory in normative reasoning

    van der Torre, L. W. N., Ramos, P., Fiadeiro, J. L. & Tan, Y. H., 1999, Formal Models of Agents - ESPRIT Project ModelAge Final Workshop, Selected Papers. Meyer, J-J. C. & Schobbens, P-Y. (eds.). Berlin: Springer Verlag, Vol. 1760. p. 216-239 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1760).

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

  • Thermal management of VECSELs by front surface direct liquid cooling

    Smyth, C. J. C., Mirkhanov, S., Quarterman, A. H. & 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. 973413

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

    1 Citation (Scopus)
  • The coordination development environment

    Gouveia, J., Koutsoukos, G., Wermelinger, M., Andrade, L. & Fiadeiro, J. L., 29 Apr 2002, Fundamental Approaches to Software Engineering - 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002 Proceedings. Kutsche, R-D. & Weber, H. (eds.). Springer Verlag, Vol. 2306. p. 323-326 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2306).

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

    Open Access
    2 Citations (Scopus)
  • The basic building blocks of information systems

    Sernadas, A., Fiadero, J., Sernadas, C., Ehrich, H. D. & Falkenberg, E. D. (ed.), 1 Oct 1989, Information System Concepts: an in-depth analysis. AMSTERDAM: Elsevier Science Publishers, 22 p.

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

  • Synthesising interconnections

    Fiadeiro, J. L., Lopes, A. & Maibaum, T. S. E., 1997, Algorithmic Languages and Calculi. Bird, R. S. & Meertens, L. (eds.). Springer , p. 240-264 25 p. (IFIP Advances in Information and Communication Technology).

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

  • Surrogate modeling for sensitivity analysis of models with high-dimensional outputs

    Li, M., Jia, G. & Wang, R. Q., 26 May 2019, ICASP13 Proceedings. Seoul: Seoul National University, p. 1-8 8 p. 280

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

    Open Access
  • Superposing connectors

    Wermelinger, M., Lopes, A. & Fiadeiro, J. L., Nov 2000, 10th International Workshop on Software Specification and Design, IWSSD 2000. Institute of Electrical and Electronics Engineers Inc., p. 87-94 8 p. 891129. (10th International Workshop on Software Specification and Design, IWSSD 2000).

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

    13 Citations (Scopus)
  • Structuring theories on consequence

    Fiadeiro, J. & Sernadas, A., 1988, Recent Trends in Data Type Specification. Berlin: Springer , Vol. 332. p. 44-72 29 p. ( Lecture Notes in Computer Science; vol. 332).

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

    76 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)
  • 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)
  • 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

    37 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)
  • 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

    31 Citations (Scopus)
  • 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)
  • 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
  • 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

    43 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
    1 Citation (Scopus)
    7 Downloads (Pure)
  • 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)
  • 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)
  • 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
    6 Downloads (Pure)
  • 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

  • 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

  • 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)
  • 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)
  • 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

  • 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

    11 Citations (Scopus)
  • 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)
  • 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

  • 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

    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

    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. 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

  • 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)
  • 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)
    166 Downloads (Pure)
  • 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)
  • 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)
  • 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

  • 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)
  • 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)
  • 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