Luís Calhorda Cruz-Filipe
AuthID: R-000-9CK
11
TITLE: The Finitistic Consistency of Heck's Predicative Fregean System
AUTHORS: Luis Cruz Filipe; Fernando Ferreira;
PUBLISHED: 2015, SOURCE: NOTRE DAME JOURNAL OF FORMAL LOGIC, VOLUME: 56, ISSUE: 1
AUTHORS: Luis Cruz Filipe; Fernando Ferreira;
PUBLISHED: 2015, SOURCE: NOTRE DAME JOURNAL OF FORMAL LOGIC, VOLUME: 56, ISSUE: 1
INDEXED IN: 
Scopus 
WOS
Scopus WOS12
TITLE: The Finitistic Consistency of Heck’s Predicative Fregean System
AUTHORS: Luís Cruz-Filipe; Fernando Ferreira;
PUBLISHED: 2015, SOURCE: Notre Dame J. Formal Logic - Notre Dame Journal of Formal Logic, VOLUME: 56, ISSUE: 1
AUTHORS: Luís Cruz-Filipe; Fernando Ferreira;
PUBLISHED: 2015, SOURCE: Notre Dame J. Formal Logic - Notre Dame Journal of Formal Logic, VOLUME: 56, ISSUE: 1
13
TITLE: How do peptidic tree-like molecules fold? Full Text
AUTHORS: Filipe, L; Campos, SRR; Machuqueiro, M; Darbre, T; Baptista, AM;
PUBLISHED: 2014, SOURCE: FEBS EMBO 2014 Conference in FEBS JOURNAL, VOLUME: 281
AUTHORS: Filipe, L; Campos, SRR; Machuqueiro, M; Darbre, T; Baptista, AM;
PUBLISHED: 2014, SOURCE: FEBS EMBO 2014 Conference in FEBS JOURNAL, VOLUME: 281
INDEXED IN: WOS
WOS14
TITLE: Unraveling the Conformational Determinants of Peptide Dendrimers Using Molecular Dynamics Simulations Full Text
AUTHORS: Luis C S Filipe; Miguel Machuqueiro; Tamis Darbre; Antonio M Baptista;
PUBLISHED: 2013, SOURCE: MACROMOLECULES, VOLUME: 46, ISSUE: 23
AUTHORS: Luis C S Filipe; Miguel Machuqueiro; Tamis Darbre; Antonio M Baptista;
PUBLISHED: 2013, SOURCE: MACROMOLECULES, VOLUME: 46, ISSUE: 23
15
TITLE: Conformational determinants of peptidic tree-like molecules: insights from MD simulations Full Text
AUTHORS: Filipe, LCS; Machuqueiro, M; Darbre, T; Baptista, AM;
PUBLISHED: 2013, SOURCE: 9th European-Biophysical-Societies-Association Congress in EUROPEAN BIOPHYSICS JOURNAL WITH BIOPHYSICS LETTERS, VOLUME: 42
AUTHORS: Filipe, LCS; Machuqueiro, M; Darbre, T; Baptista, AM;
PUBLISHED: 2013, SOURCE: 9th European-Biophysical-Societies-Association Congress in EUROPEAN BIOPHYSICS JOURNAL WITH BIOPHYSICS LETTERS, VOLUME: 42
INDEXED IN: WOS
WOS16
TITLE: Design of a passive tag for indoor localization
AUTHORS: Cruz, CC; Jorge R. Costa ; Fernandes, CA ;
PUBLISHED: 2012, SOURCE: 6th European Conference on Antennas and Propagation, EuCAP 2012 in Proceedings of 6th European Conference on Antennas and Propagation, EuCAP 2012
AUTHORS: Cruz, CC; Jorge R. Costa ; Fernandes, CA ;
PUBLISHED: 2012, SOURCE: 6th European Conference on Antennas and Propagation, EuCAP 2012 in Proceedings of 6th European Conference on Antennas and Propagation, EuCAP 2012
17
TITLE: Unfolding the Conformational Behavior of Peptide Dendrimers: Insights from Molecular Dynamics Simulations Full Text
AUTHORS: Luis C S Filipe; Miguel Machuqueiro ; Antonio M Baptista ;
PUBLISHED: 2011, SOURCE: JOURNAL OF THE AMERICAN CHEMICAL SOCIETY, VOLUME: 133, ISSUE: 13
AUTHORS: Luis C S Filipe; Miguel Machuqueiro ; Antonio M Baptista ;
PUBLISHED: 2011, SOURCE: JOURNAL OF THE AMERICAN CHEMICAL SOCIETY, VOLUME: 133, ISSUE: 13
18
TITLE: Behavioural theory at work: Program transformations in a service-centired calculus
AUTHORS: Luis Cruz Filipe; Ivan Lanese; Francisco Martins ; Antonio Ravara ; Vasco T Vasconcelos ;
PUBLISHED: 2008, SOURCE: 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
AUTHORS: Luis Cruz Filipe; Ivan Lanese; Francisco Martins ; Antonio Ravara ; Vasco T Vasconcelos ;
PUBLISHED: 2008, SOURCE: 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
