Science and Engineering Office

Filter
Conference contribution

Search results

  • Conference contribution

    Structuring theories on consequence

    Fiadeiro, J. & Sernadas, A., 1988, Recent Trends in Data Type Specification. Berlin: Springer , Vol. 332. p. 44-72 29 p. ( Lecture Notes in Computer Science; vol. 332).

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

    72 Citations (Scopus)
  • Superposing connectors

    Wermelinger, M., Lopes, A. & Fiadeiro, J. L., Nov 2000, 10th International Workshop on Software Specification and Design, IWSSD 2000. Institute of Electrical and Electronics Engineers Inc., p. 87-94 8 p. 891129. (10th International Workshop on Software Specification and Design, IWSSD 2000).

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

    13 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
  • Synthesising interconnections

    Fiadeiro, J. L., Lopes, A. & Maibaum, T. S. E., 1997, Algorithmic Languages and Calculi. Bird, R. S. & Meertens, L. (eds.). Springer , p. 240-264 25 p. (IFIP Advances in Information and Communication Technology).

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

  • The basic building blocks of information systems

    Sernadas, A., Fiadero, J., Sernadas, C., Ehrich, H. D. & Falkenberg, E. D. (ed.), 1 Oct 1989, Information System Concepts: an in-depth analysis. AMSTERDAM: Elsevier Science Publishers, 22 p.

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

  • The coordination development environment

    Gouveia, J., Koutsoukos, G., Wermelinger, M., Andrade, L. & Fiadeiro, J. L., 29 Apr 2002, Fundamental Approaches to Software Engineering - 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002 Proceedings. Kutsche, R-D. & Weber, H. (eds.). Springer Verlag, Vol. 2306. p. 323-326 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2306).

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

    Open Access
    2 Citations (Scopus)
  • 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)
  • The role of diagnosis and decision theory in normative reasoning

    van der Torre, L. W. N., Ramos, P., Fiadeiro, J. L. & Tan, Y. H., 1999, Formal Models of Agents - ESPRIT Project ModelAge Final Workshop, Selected Papers. Meyer, J-J. C. & Schobbens, P-Y. (eds.). Berlin: Springer Verlag, Vol. 1760. p. 216-239 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1760).

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

  • 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)
  • Towards an algebra of architectural connectors: A case study on synchronization for mobility

    Wermelinger, M. & Fiadeiro, J. L., 16 Apr 1998, Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998. Association for Computing Machinery, p. 135-143 9 p.

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

    8 Citations (Scopus)
  • Towards a verification logic for rewriting logic

    Fiadeiro, J. L., Maibaum, T., Martí-Oliet, N., Meseguer, J. & Pita, I., 2000, Recent Trends in Algebraic Development Techniques - 14th International Workshop, WADT 1999, Selected Papers. Bert, D., Choppy, C. & Mosses, P. (eds.). Springer Verlag, Vol. 1827. p. 438-458 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1827).

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

    19 Citations (Scopus)
  • Unifying Theories in Different Institutions

    Arrais, M. & Fiadeiro, J. L., 1996, Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers. Haveraaen, M., Owe, O. & Dhal, O. J. (eds.). Springer Verlag, p. 81-101 21 p. (Lecture Notes in Computer Science; vol. 1130).

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

    18 Citations (Scopus)
  • Using coordination contracts for flexible adaptation to changing business rules

    Wermelinger, M., Koutsoukos, G., Avillez, R., Gouveia, J., Andrade, L. & Fiadeiro, J. L., 1 Jan 2003, Proceedings - 6th International Workshop on Principles of Software Evolution, IWPSE 2003, in Association with ESEC/FSE 2003. Mikkonen, T., Godfrey, M. W. & Saeki, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 115-120 6 p. 1231217. (International Workshop on Principles of Software Evolution (IWPSE); vol. 2003-January).

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

    6 Citations (Scopus)
  • Using explicit state to describe architectures

    Lopes, A. & Fiadeiro, J. L., 1999, FASE 1999: Fundamental Approaches to Software Engineering. Finance, JP. (ed.). Berlin: Springer Verlag, p. 144-160 17 p. (Lecture Notes in Computer Science; vol. 1577).

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

    14 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

  • Varying Representation Schemata vs Fact Updating in KB Management

    Carapuça, R. & Fiadeiro, J. L., 1986, Data and knowledge (DS-2): proceedings of the Second IFIP 2.6 Working Conference on Database Semantics. Amsterdam: Elsevier Science Publishers, p. 71-87 17 p.

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

  • 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