Science and Engineering Office

Filter
Conference contribution

Search results

  • 1986

    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

  • 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

  • 1987

    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

  • 1988

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

  • 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

    71 Citations (Scopus)
  • 1989

    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

  • 1991

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

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

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

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

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

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

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

    18 Citations (Scopus)
  • 1997

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

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

  • 1998

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

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

    28 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

  • 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

    14 Citations (Scopus)
  • 2000

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

    19 Citations (Scopus)
  • 2001

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

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

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

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