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)
  • Abstract object types: A temporal perspective

    Sernadas, A., Fiadeiro, J., Sernadas, C. & Ehrich, H. D., 1989, Temporal Logic in Specification, Proceedings. Pnueli, A., Banieqbal, B. & Barringer, H. (eds.). Berlin: Springer Verlag, Vol. 398. p. 324-350 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 398 LNCS).

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

    18 Citations (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

    8 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

    21 Citations (Scopus)
  • Advanced electrical array interconnections for ultrasound probes integrated in surgical needles

    Schiavone, G., Jones, T., Price, D., McPhillips, R., Qiu, Z., Demore, C. E. M., Jiang, Y., Meggs, C., Mahboob, S. O., Eljamel, S., Button, T. W., Cochran, S. & Desmulliez, M. P. Y., 30 Jan 2014, Proceedings of the 2014 IEEE 16th Electronics Packaging Technology Conference (EPTC 2014). IEEE, p. 88-93 6 p. 7028266

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

    3 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
    9 Citations (Scopus)
    94 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
    2 Citations (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

    63 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 othersPugliese, 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

    22 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

    5 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

    22 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

    31 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
    16 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

    2 Citations (Scopus)
  • A nano-mechanical study on the influence of ultrasound exposure on cellular elasticity

    Conneely, M., McGloin, D., Robertson, P., McLean, W. H. I. & Campbell, P., 2013, 2013 IEEE International Ultrasonics Symposium, IUS 2013. USA: IEEE, p. 390-392 3 p. 6725286. (IEEE International Ultrasonics Symposium, IUS).

    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

    22 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
    3 Citations (Scopus)
    199 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

    22 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

  • Assessing Rockfall Barrier Performance Through Block Propagation Codes and Meta-models

    Previtali, M., Ciantia, M. O., Spadea, S., Castellanza, R. & Crosta, G., 2023, Challenges and Innovations in Geomechanics - Proceedings of the 16th International Conference of IACMAG - Volume 3: Proceedings of the 16th International Conference of IACMAG. Barla, M., Di Donna, A., Sterpi, D. & Insana, A. (eds.). 1 ed. Springer , p. 291-298 8 p. (Lecture Notes in Civil Engineering; vol. 288).

    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

    11 Citations (Scopus)
  • Computational Study of Vibration-Based Leak Detection Approach in a 90-Degree Pipe Elbow

    Abuhatira, A., Salim, S. M. & Vorstius, J., Sep 2021, UK Fluids Conference. University of Southampton: The Interdisciplinary Teaching and Learning Group, University of Southampton, p. 122 1 p. 07B-5

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

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

    32 Citations (Scopus)
  • Discrete Element simulation of the response of a double-twisted mesh subject to cyclic loads

    Previtali, M., Ciantia, M., Spadea, S., Castellanza, R. & Crosta, G. B., May 2022, Proceedings of the 20th International Conference on Soil Mechanics and Geotechnical Engineering, Sydney 2021. Sydney: Australian Geomechanics Society, p. 667-672 6 p.

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

  • 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
    3 Citations (Scopus)
    195 Downloads (Pure)
  • Dynamic Reconfiguration via Typed Modalities

    Tutu, I., Chirita, C. & Fiadeiro, J. L., 10 Nov 2021, Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings. Huisman, M., Păsăreanu, C. & Zhan, N. (eds.). 1 ed. Springer , p. 599-615 17 p. (Lecture Notes in Computer Science ; vol. 13047).

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

    Open Access
    File
    1 Citation (Scopus)
    1 Downloads (Pure)