Luís Calhorda Cruz-Filipe
AuthID: R-000-9CK
11
TÃTULO: The Finitistic Consistency of Heck's Predicative Fregean System
AUTORES: Luis Cruz Filipe; Fernando Ferreira;
PUBLICAÇÃO: 2015, FONTE: NOTRE DAME JOURNAL OF FORMAL LOGIC, VOLUME: 56, NÚMERO: 1
AUTORES: Luis Cruz Filipe; Fernando Ferreira;
PUBLICAÇÃO: 2015, FONTE: NOTRE DAME JOURNAL OF FORMAL LOGIC, VOLUME: 56, NÚMERO: 1
INDEXADO EM: 
Scopus 
WOS
Scopus WOS12
TÃTULO: The Finitistic Consistency of Heck’s Predicative Fregean System
AUTORES: Luís Cruz-Filipe; Fernando Ferreira;
PUBLICAÇÃO: 2015, FONTE: Notre Dame J. Formal Logic - Notre Dame Journal of Formal Logic, VOLUME: 56, NÚMERO: 1
AUTORES: Luís Cruz-Filipe; Fernando Ferreira;
PUBLICAÇÃO: 2015, FONTE: Notre Dame J. Formal Logic - Notre Dame Journal of Formal Logic, VOLUME: 56, NÚMERO: 1
13
TÃTULO: How do peptidic tree-like molecules fold? Full Text
AUTORES: Filipe, L; Campos, SRR; Machuqueiro, M; Darbre, T; Baptista, AM;
PUBLICAÇÃO: 2014, FONTE: FEBS EMBO 2014 Conference in FEBS JOURNAL, VOLUME: 281
AUTORES: Filipe, L; Campos, SRR; Machuqueiro, M; Darbre, T; Baptista, AM;
PUBLICAÇÃO: 2014, FONTE: FEBS EMBO 2014 Conference in FEBS JOURNAL, VOLUME: 281
INDEXADO EM: WOS
WOS14
TÃTULO: Unraveling the Conformational Determinants of Peptide Dendrimers Using Molecular Dynamics Simulations Full Text
AUTORES: Luis C S Filipe; Miguel Machuqueiro; Tamis Darbre; Antonio M Baptista;
PUBLICAÇÃO: 2013, FONTE: MACROMOLECULES, VOLUME: 46, NÚMERO: 23
AUTORES: Luis C S Filipe; Miguel Machuqueiro; Tamis Darbre; Antonio M Baptista;
PUBLICAÇÃO: 2013, FONTE: MACROMOLECULES, VOLUME: 46, NÚMERO: 23
15
TÃTULO: Conformational determinants of peptidic tree-like molecules: insights from MD simulations Full Text
AUTORES: Filipe, LCS; Machuqueiro, M; Darbre, T; Baptista, AM;
PUBLICAÇÃO: 2013, FONTE: 9th European-Biophysical-Societies-Association Congress in EUROPEAN BIOPHYSICS JOURNAL WITH BIOPHYSICS LETTERS, VOLUME: 42
AUTORES: Filipe, LCS; Machuqueiro, M; Darbre, T; Baptista, AM;
PUBLICAÇÃO: 2013, FONTE: 9th European-Biophysical-Societies-Association Congress in EUROPEAN BIOPHYSICS JOURNAL WITH BIOPHYSICS LETTERS, VOLUME: 42
INDEXADO EM: WOS
WOS16
TÃTULO: Design of a passive tag for indoor localization
AUTORES: Cruz, CC; Jorge R. Costa ; Fernandes, CA ;
PUBLICAÇÃO: 2012, FONTE: 6th European Conference on Antennas and Propagation, EuCAP 2012 in Proceedings of 6th European Conference on Antennas and Propagation, EuCAP 2012
AUTORES: Cruz, CC; Jorge R. Costa ; Fernandes, CA ;
PUBLICAÇÃO: 2012, FONTE: 6th European Conference on Antennas and Propagation, EuCAP 2012 in Proceedings of 6th European Conference on Antennas and Propagation, EuCAP 2012
17
TÃTULO: Unfolding the Conformational Behavior of Peptide Dendrimers: Insights from Molecular Dynamics Simulations Full Text
AUTORES: Luis C S Filipe; Miguel Machuqueiro ; Antonio M Baptista ;
PUBLICAÇÃO: 2011, FONTE: JOURNAL OF THE AMERICAN CHEMICAL SOCIETY, VOLUME: 133, NÚMERO: 13
AUTORES: Luis C S Filipe; Miguel Machuqueiro ; Antonio M Baptista ;
PUBLICAÇÃO: 2011, FONTE: JOURNAL OF THE AMERICAN CHEMICAL SOCIETY, VOLUME: 133, NÚMERO: 13
18
TÃTULO: Behavioural theory at work: Program transformations in a service-centired calculus
AUTORES: Luis Cruz Filipe; Ivan Lanese; Francisco Martins ; Antonio Ravara ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2008, FONTE: 10th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems in FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, VOLUME: 5051
AUTORES: Luis Cruz Filipe; Ivan Lanese; Francisco Martins ; Antonio Ravara ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2008, FONTE: 10th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems in FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, VOLUME: 5051
