Science and Engineering Office

Filter
Conference contribution

Search results

  • 2022

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

    Previtali, M., Ciantia, M. O., Spadea, S., Castellanza, R. & Crosta, G., 2022, Challenges and Innovations in Geomechanics: 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

  • 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

  • Numerical Simulation of Turbulent Pipe Flow With 90-Degree Elbow Using Wall Y+ Approach

    Abuhatira, A. A., Salim, S. M. & Vorstius, J. B., 25 Jan 2022, (E-pub ahead of print) ASME 2021 International Mechanical Engineering Congress & Exposition conference proceedings. American Society of Mechanical Engineers (ASME), p. 1-7 7 p. V010T10A048. (Fluids Engineering: Symposium on CFD Applications for Optimization and Controls; vol. 10).

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

  • Training Hacks and a Frugal Man's Net with Application to Glioblastoma Segmentation

    Abdallah, J. B., Marrakchi-Kacem, L. & Rekik, I., 28 Jun 2022, International Conference on Advanced Technologies for Signal and Image Processing, ATSIP 2022. Institute of Electrical and Electronics Engineers Inc., p. 1-4 4 p. (International Conference on Advanced Technologies for Signal and Image Processing, ATSIP 2022).

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

  • Vibration-Based Leak Detection Approach in a 90-Degree Pipe Elbow: A Computational Study

    Abuhatira, A., Salim, S. M. & Vorstius, J., Apr 2022, Proceedings of the 2022 Annual Conference of the UK Association for Computational Mechanics (UKACM). Nottingham University Press, 4 p.

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

    Open Access
    File
    100 Downloads (Pure)
  • 2021

    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

  • 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

    1 Citation (Scopus)
  • Micromechanical study of potential scale effects in small-scale modelling of sinker tree roots

    Zhang, X., Ciantia, M., Knappett, J. & Leung, A., 16 Dec 2021, Proceedings of the 18th UK Travelling Workshop: GeoMechanics: from Micro to Macro (GM3), Dundee, 2021. Ciantia, M., Previtali, M. & Bolton, M. (eds.). Dundee: University of Dundee, p. 41-44 4 p. (GM3 Travelling Workshop Proceedings; no. 1).

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

    Open Access
    File
    41 Downloads (Pure)
  • 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
    9 Citations (Scopus)
    82 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
    24 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
    2 Citations (Scopus)
    109 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
    36 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)
    27 Downloads (Pure)
  • Numerical simulation of turbulent pipe flow with elbow bend: comparison between RANS and LES

    Abuhatira, A., Salim, S. M. & Vorstius, J. B., 30 May 2019, 32nd Scottish Fluid Mechanics Meeting (SFMM): Book of Abstracts. Dundee: University of Dundee, p. 25-25 1 p.

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

    Open Access
    File
    22 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

    7 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
  • 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
    3 Citations (Scopus)
    179 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
    4 Citations (Scopus)
    105 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
    3 Citations (Scopus)
    186 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)
    153 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)
    178 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
    6 Citations (Scopus)
    143 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
    4 Citations (Scopus)
    194 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

    2 Citations (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
    29 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
    1 Citation (Scopus)
    11 Downloads (Pure)
  • 2014

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

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