Science and Engineering Office

Filter
Conference contribution

Search results

  • An Analysis of User Engagement in Relation to Computing Workshop Activities

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

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

    1 Citation (Scopus)
  • 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)
  • A model-checking approach for service component architectures

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

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

    Open Access
    15 Citations (Scopus)
  • A mathematical toolbox for the software architect

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

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

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

  • 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

  • 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

    22 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

  • 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

    61 Citations (Scopus)
  • 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)
  • Adversarial Convolutional Networks with Weak Domain-Transfer for Multi-sequence Cardiac MR Images Segmentation

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

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

    Open Access
    File
    6 Citations (Scopus)
    60 Downloads (Pure)
  • 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

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