Find Research Outputs

Search in all content

Filters for Research Outputs

Search concepts
Selected filters
2018

Investigation into the visual perceptive ability of anaesthetists during ultrasound-guided interscalene and femoral blocks conducted on soft embalmed cadavers: a randomised single-blind study

Mustafa, A., Seeley, J., Munirama, S., Columb, M., McKendrick, M., Schwab, A., Corner, G., Eisma, R. & Mcleod, G., Apr 2018, In : British Journal of Anaesthesia. 120, 4, p. 854-859 6 p.

Research output: Contribution to journalArticle

Open Access
2017

The PCSK9-LDL Receptor Axis and Outcomes in Heart Failure: BIOSTAT-CHF Subanalysis

Bayes-Genis, A., Núñez, J., Zannad, F., Ferreira, J. P., Anker, S. D., Cleland, J. G. F., Dickstein, K., Filippatos, G. S., Lang, C. C., Ng, L., Ponikowski, P., Samani, N. J., van Veldhuisen, D. J., Zwinderman, A. H., Metra, M., Lupón, J. & Voors, A. A., 24 Oct 2017, In : Journal of the American College of Cardiology. 70, 17, p. 2128-2136 9 p.

Research output: Contribution to journalArticle

Open Access
File
17 Citations (Scopus)
113 Downloads (Pure)
2013

Expression of TP53 isoforms p53β or p53γ enhances chemosensitivity in TP53(null) cell lines

Silden, E., Hjelle, S. M., Wergeland, L., Sulen, A., Andresen, V., Bourdon, J-C., Micklem, D. R., McCormack, E. & Gjertsen, B. T., 2013, In : PLoS ONE. 8, 2, 11 p., e56276.

Research output: Contribution to journalArticle

20 Citations (Scopus)

Clast shape analysis and clast transport paths in glacial environments: A critical review of methods and the role of lithology

Lukas, S., Benn, D. I., Boston, C. M., Brook, M., Coray, S., Evans, D. J. A., Graf, A., Kellerer-Pirklbauer, A., Kirkbride, M. P., Krabbendam, M., Lovell, H., Machiedo, M., Mills, S. C., Nye, K., Reinardy, B. T. I., Ross, F. H. & Signer, M., Jun 2013, In : Earth-Science Reviews. 121, p. 96-116 21 p.

Research output: Contribution to journalArticle

56 Citations (Scopus)
2015

Confirmation of analytical performance characteristics required for the reference change value applied in patient monitoring

Petersen, P. H., Fraser, C. G., Lund, F. & Sölétormos, G., 2015, In : Scandinavian Journal of Clinical & Laboratory Investigation. 75, 7, p. 628-630 3 p.

Research output: Contribution to journalLetter

5 Citations (Scopus)
2017

Oceanic protists with different forms of acquired phototrophy display contrasting biogeographies and abundance

Leles, S. G., Mitra, A., Flynn, K. J., Stoecker, D. K., Hansen, P. J., Calbet, A., McManus, G. B., Sanders, R. W., Caron, D. A., Not, F., Hallegraeff, G. M., Pitta, P., Raven, J. A., Johnson, M. D., Glibert, P. M. & Våge, S., 16 Aug 2017, In : Proceedings of the Royal Society B. 284, 1860, 20170664.

Research output: Contribution to journalArticle

20 Citations (Scopus)
2015

Open-source, high-throughput ultrasound treatment chamber

Yddal, T., Cochran, S., Gilja, O. H., Postema, M. & Kotopoulis, S., Feb 2015, In : Biomedizinische Technik. Biomedical Engineering. 60, 1, p. 77-87 11 p.

Research output: Contribution to journalArticle

4 Citations (Scopus)
2018

Variable effects of C-terminal tags on FLS2 function: not all epitope tags are created equal

Hurst, C., Turnbull, D., Myles, S., Leslie, K., Keinath, N. F. & Hemsley, P., 1 Jun 2018, In : Plant Physiology. 177, 2, p. 522-531 10 p.

Research output: Contribution to journalArticle

Open Access
File
6 Citations (Scopus)
196 Downloads (Pure)
2016

Development and psychometric properties of the Suicidality: Treatment Occurring in Paediatrics (STOP) Suicidality Assessment Scale (STOP-SAS) in children and adolescents

Flamarique, I., Santosh, P., Zuddas, A., Arango, C., Purper-Ouakil, D., Hoekstra, P. J., Coghill, D., Schulze, U., Dittmann, R. W., Buitelaar, J. K., Lievesley, K., Frongia, R., Llorente, C., Méndez, I., Sala, R., Fiori, F. & Castro-Fornieles, J., 13 Dec 2016, In : JAMA Pediatrics. 16, 1, p. 1-13 13 p., 213.

Research output: Contribution to journalArticle

Open Access
File
7 Citations (Scopus)
122 Downloads (Pure)
2011

Evaluation of Dexterity in Insulin-Treated Patients with Type 1 and Type 2 Diabetes Mellitus

Pfutzner, J., Hellhammer, J., Musholt, P., Pfutzner, A. H., Boehnke, J. P. R. OYB. . T. . PM., Hero, T., Amann-Zalan, I., Ganz, M., Frost, T. & Pfutzner, A., 1 Jan 2011, In : Journal of Diabetes Science and Technology. 5, 1, p. 158-165 8 p.

Research output: Contribution to journalArticle

35 Citations (Scopus)
2013

Consistency of extreme response style and non-extreme response style across traits

Wetzel, E., Carstensen, C. H. & Boehnke, J., 1 Apr 2013, In : Journal of Research in Personality. 47, 2, p. 178-189 12 p.

Research output: Contribution to journalArticle

42 Citations (Scopus)
2018
Open Access
File
7 Citations (Scopus)
139 Downloads (Pure)
2017

Recognition of a glycosylation substrate by the O-GlcNAc transferase TPR repeats

Rafie, K., Raimi, O., Ferenbach, A. T., Borodkin, V. S., Kapuria, V. & van Aalten, D. M. F., 28 Jun 2017, In : Open Biology. 7, p. 1-9 9 p., 70078.

Research output: Contribution to journalArticle

Open Access
File
18 Citations (Scopus)
141 Downloads (Pure)
2002

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

A graph based architectural (re)configuration language

Wermelinger, M., Lopes, A. & Fiadeiro, J. L., 2001, p. 21-32. 12 p.

Research output: Contribution to conferencePaper

79 Citations (Scopus)
1997

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

2017

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

2000

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

12 Citations (Scopus)
2002

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)

Architectural primitives for distribution and mobility

Lopes, A., Fiadeiro, J. L. & Wermelinger, M., 2002, p. 41-50. 10 p.

Research output: Contribution to conferencePaper

24 Citations (Scopus)
1993

Process semantics of temporal logic specification

Fiadeiro, L., Costa, J. F., Sernadas, A. & Maibaum, T. S. E., 1993, Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop. Bidoit, M. & Choppy, C. (eds.). Berlin: Springer Verlag, p. 236-253 18 p. (Lecture Notes in Computer Science; vol. 655).

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

7 Citations (Scopus)
2001

Tool support for coordination-based software evolution

Gouveia, J., Koutsoukos, G., Andrade, L. & Fiadeiro, J. L., 12 Mar 2001, p. 184-196. 13 p.

Research output: Contribution to conferencePaper

27 Citations (Scopus)
2005

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

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

2004

Enhancing dependability through flexible adaptation to changing requirements

Wermelinger, M., Koutsoukos, G., Lourenço, H., Avillez, R., Gouveia, J., Andrade, L. & Fiadeiro, J. L., 1 Jan 2004, Architecting Dependable Systems II. de Lemos, R., Gacek, C. & Romano, A. (eds.). Springer , Vol. 3069. p. 3-24 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3069).

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

2 Citations (Scopus)
2010

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

2003

Architecture based evolution of software systems

Andrade, L. F. & Fiadeiro, J. L., 2003, Formal Methods for Software Architectures. Bernardo, M. & Inverardi, P. (eds.). Berlin: Springer Verlag, Vol. 2804. p. 148-181 34 p. (Lecture Notes in Computer Science).

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

19 Citations (Scopus)
2020

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017)

Cavalheiro, S. & Fiadeiro, J. L., 1 Jun 2020, In : Science of Computer Programming. 191, 1 p., 102427.

Research output: Contribution to journalEditorial

1995

Institutions for Behaviour Specification

Fiadeiro, J. L. & Costa, J. F., 1995, ADT 1994, COMPASS 1994: Recent Trends in Data Type Specification. Astesiano, E., Reggio, G. & Tarlecki, A. (eds.). Springer Verlag, p. 273-289 17 p. (Lecture Notes in Computer Science; vol. 906).

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

6 Citations (Scopus)
2013

An interface theory for service-oriented design

Fiadeiro, J. L. & Lopes, A., 9 Sep 2013, In : Theoretical Computer Science. 503, p. 1-30 30 p.

Research output: Contribution to journalArticle

Open Access
12 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

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

1997

Coordinating durative actions

Nunes, I., Fiadeiro, J. L. & Turski, W. M., 1997, COORDINATION 1997: Coordination Languages and Models. Garlan, D. & Le Métayer, D. (eds.). Berlin: Springer Verlag, p. 115-130 16 p. ( Lecture Notes in Computer Science; vol. 1282).

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

2 Citations (Scopus)
2006

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

Categories for software engineering

Fiadeiro, J. L., 2005, Berlin: Springer . 250 p.

Research output: Book/ReportBook

132 Citations (Scopus)
2014

Brazilian symposium on programming languages (sblp 2011)

Braga, C. & Fiadeiro, J. L., 1 Nov 2014, In : Science of Computer Programming. 93, Part A, p. 1-2 2 p.

Research output: Contribution to journalEditorial

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

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

15 Citations (Scopus)
2006

Distribution concerns in service-oriented modelling

Aoumeur, N., Fiadeiro, J. & Oliveira, C., 2006, In : International Journal of Internet Protocol Technology. 1, 3, p. 144-158 15 p.

Research output: Contribution to journalArticle

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

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

Guiding the representation of n-ary relations in ontologies through aggregation, generalisation and participation

Severi, P., Fiadeiro, J. & Ekserdjian, D., 5 May 2011, In : Journal of Web Semantics. 9, 2, p. 83-98 16 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)
1986

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

2002

Agility through coordination

Andrade, L. F. & Fiadeiro, J. L., 1 Sep 2002, In : Information Systems. 27, 6, p. 411-424 14 p.

Research output: Contribution to journalConference article

12 Citations (Scopus)
2000

Patterns for coordination

Andrade, L. F., Fiadeiro, J. L., Gouveia, J., Lopes, A. & Wermelinger, M., 2000, Coordination Languages and Models: 4th International Conference, COORDINATION 2000, Proceedings. Porto, A. & Roman, G-C. (eds.). Springer Verlag, Vol. 1906. p. 317-322 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1906).

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

16 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

20 Citations (Scopus)
1998

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

8 Citations (Scopus)