Science and Engineering Office

Filter
Conference contribution

Search results

  • 2020

    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
    3 Citations (Scopus)
    29 Downloads (Pure)
  • 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
    2 Downloads (Pure)
  • 2019

    Expecting the Unexpected in Participatory Design

    Constantin, A., Korte, J., Fails, J. A., Alexandru, C. A., Dragomir, M., Pain, H., Good, J., Garzotto, F., Eriksson, E. & Waller, A., 2 May 2019, CHI EA 2019 - Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems: Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery (ACM), p. 1-4 4 p. SIG07. (Conference on Human Factors in Computing Systems - Proceedings).

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

    Open Access
    File
    72 Downloads (Pure)
  • 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
    20 Downloads (Pure)
  • 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)
    15 Downloads (Pure)
  • 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

  • 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

    3 Citations (Scopus)
  • 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
    1 Citation (Scopus)
  • 2018

    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
    1 Citation (Scopus)
    96 Downloads (Pure)
  • 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
    1 Citation (Scopus)
    66 Downloads (Pure)
  • 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
    2 Citations (Scopus)
    134 Downloads (Pure)
  • 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)
    105 Downloads (Pure)
  • 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)
    122 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)
    88 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)
  • 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)
    117 Downloads (Pure)
  • 2017

    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

    1 Citation (Scopus)
  • 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

  • 2016

    Free Jazz in the Land of Algebraic Improvisation

    Chiriţă, C. E. & Fiadeiro, J., Jun 2016, Proceedings of the Seventh International Conference on Computational Creativity, UPMC, Paris, France, June 27 - July 1, 2016.. p. 322-329 8 p.

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

    Open Access
    File
    20 Downloads (Pure)
  • 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

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

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

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

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

  • Full skin quantitative optical coherence elastography achieved by combining vibration and surface acoustic wave methods

    Li, C., Guan, G., Huang, Z., Wang, R. K. & Nabi, G., 5 Mar 2015, Proceedings Volume 9322: Dynamics and Fluctuations in Biomedical Photonics XII. Tuchin, V. V., Larin, K. V., Leahy, M. J. & Wang, R. K. (eds.). SPIE-International Society for Optical Engineering, Vol. 9322. 9 p. 93220O

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

    8 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

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

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

  • 2013

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

    6 Citations (Scopus)
  • 2012

    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

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

  • 2011

    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)
  • Early model-analysis of logistics systems

    Azmat, F., Bocchi, L. & Fiadeiro, J. L., 28 Mar 2011, Service-Oriented Computing - ICSOC 2010. Maximilien, E. M., Rossi, G., Yuan, S. T., Ludwig, H. & Fantinato, M. (eds.). Springer , p. 225-236 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6568 LNCS).

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

    Open Access
  • 2010

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

  • 2009

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

    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

    20 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)
  • From BPEL to SRML: A formal transformational approach

    Bocchi, L., Hong, Y., Lopes, A. & Fiadeiro, J. L., 14 May 2008, Web Services and Formal Methods - 4th International Workshop, WS-FM 2007, Proceedings. Vol. 4937. p. 92-107 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4937 LNCS).

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

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