Science and Engineering Office

Filter
Conference contribution

Search results

  • 2004

    Problem frames: A case for coordination

    Barroca, L., Fiadeiro, J. L., Jackson, M., Laney, R. & Nuseibeh, B., 1 Dec 2004, Coordination Models and Languages: 6th International Conference, COORDINATION 2004. de Nicola, R., Ferrari, G. & Meredith, G. (eds.). Springer , Vol. 2949. p. 5-19 15 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)
  • 2005

    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

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

    Fiadeiro, J., Mosses, P. & Orejas, F., 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.). Springer Verlag, p. V-VI 2 p. (Lecture Notes in Computer Science; vol. 3423).

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

  • Software services: Scientific challenge or industrial hype?

    Fiadeiro, J. L., 2005, Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Paper. Liu, Z. & Araki, K. (eds.). Berlin: Springer Verlag, p. 1-13 13 p. (Lecture Notes in Computer Science; vol. 3407).

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

    6 Citations (Scopus)
  • 2006

    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
    1 Citation (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

    52 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)
  • Physiological vs. Social complexity in software design

    Fiadeiro, J. L., 2006, Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2006. IEEE, p. 3 1 p. 1690349

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

    1 Citation (Scopus)
  • Preface

    Dustdar, S., Fiadeiro, J. & Sheth, A., 2006, Business Process Management: 4th International Conference, BPM 2006. Dustdar, S., Fiadeiro, J. L. & Sheth, A. P. (eds.). Berlin: Springer Verlag, 1 p. (Lecture Notes in Computer Science; vol. 4102).

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

  • Separating distribution from coordination and computation as architectural dimensions

    Fiadeiro, J. L., 2006, Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Proceedings. Wehrheim, H. & Gorrieri, R. (eds.). Springer Verlag, p. 17-17 1 p. (Lecture Notes in Computer Science; vol. 4037).

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

    Open Access
  • 2007

    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

    17 Citations (Scopus)
  • Structured Co-spans: An algebra of interaction protocols

    Fiadeiro, J. L. & Schmitt, V., 2007, Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Proceedings. Mossakowski, T., Montanari, U. & Haveraaen, M. (eds.). Berlin: Springer Verlag, p. 194-208 15 p. (Lecture Notes in Computer Science; vol. 4624).

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

    7 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)
  • Preface to Fundamental approaches to software engineering

    Fiadeiro, J. & Inverardi, P., 21 Jul 2008, Fundamental Approaches to Software Engineering: 11th International Conference, FASE 2008. Vol. 4961 LNCS. 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

  • RBSLA based implementation for architectural management laws

    Alghamdi, A., Fiadeiro, J. L. & Paschke, A., 1 Sep 2008, Innovations'07: 4th International Conference on Innovations in Information Technology, IIT. p. 556-560 5 p. 4430371. (Innovations'07: 4th International Conference on Innovations in Information Technology, IIT).

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

  • Service-oriented modelling of automotive systems

    Bocchi, L., Fiadeiro, J. L. & Lopes, A., 8 Aug 2008, Proceedings - 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008. IEEE Computer Society, p. 1059-1064 6 p. 4591722. (Proceedings - International Computer Software and Applications Conference).

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

    20 Citations (Scopus)
  • What do semantics matter when the meat is overcooked?

    Fiadeiro, J. L., 1 Jul 2008, Concurrency, Graphs and Models - Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. p. 563-580 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5065 LNCS).

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

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

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

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