João Fernandes Abreu Pinto
AuthID: R-000-6YG
111
TITLE: Specifying and composing interaction protocols for service-oriented system modelling
AUTHORS: Abreu, J; Bocchi, L; Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2007, SOURCE: 27th International Conference on Formal Techniques for Networked and Distributed Systems in FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2007, VOLUME: 4574
AUTHORS: Abreu, J; Bocchi, L; Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2007, SOURCE: 27th International Conference on Formal Techniques for Networked and Distributed Systems in FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2007, VOLUME: 4574
INDEXED IN: 
Scopus 
WOS
Scopus WOS112
TITLE: Compressed matrix core tablet as a quick/slow dual-component delivery system containing ibuprofen.
AUTHORS: Lopes, CM ; Lobo, JM; Pinto, JF; Costa, PC ;
PUBLISHED: 2007, SOURCE: AAPS PharmSciTech, VOLUME: 8, ISSUE: 3
AUTHORS: Lopes, CM ; Lobo, JM; Pinto, JF; Costa, PC ;
PUBLISHED: 2007, SOURCE: AAPS PharmSciTech, VOLUME: 8, ISSUE: 3
INDEXED IN: Scopus
Scopus IN MY: 
ORCID
ORCID113
TITLE: Checking the conformance of Java classes against algebraic specifications
AUTHORS: Isabel Nunes; Antonia Lopes ; Vasco Vasconcelos ; Joao Abreu; Luis S Reis;
PUBLISHED: 2006, SOURCE: 8th International Conference on Formal Engineering Methods (ICFEM 2006) in Formal Methods and Software Engineering, Proceedings, VOLUME: 4260
AUTHORS: Isabel Nunes; Antonia Lopes ; Vasco Vasconcelos ; Joao Abreu; Luis S Reis;
PUBLISHED: 2006, SOURCE: 8th International Conference on Formal Engineering Methods (ICFEM 2006) in Formal Methods and Software Engineering, Proceedings, VOLUME: 4260
114
TITLE: Evaluation of the potential use of poly(ethylene oxide) as tablet- and extrudate-forming material Full Text
AUTHORS: Pinto, JF; Wunder, KF; Okoloekwe, A;
PUBLISHED: 2004, SOURCE: AAPS Journal, VOLUME: 6, ISSUE: 2
AUTHORS: Pinto, JF; Wunder, KF; Okoloekwe, A;
PUBLISHED: 2004, SOURCE: AAPS Journal, VOLUME: 6, ISSUE: 2
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID115
TITLE: The Use of Statistical Moment Analysis to Elucidate the Mechanism of Release of a Model Drug from Pellets Produced by Extrusion and Spheronisation.
AUTHORS: Joao Fernandes PINTO; Fridrun PODCZECK; John Michael NEWTON;
PUBLISHED: 1997, SOURCE: Chemical and Pharmaceutical Bulletin, VOLUME: 45, ISSUE: 1
AUTHORS: Joao Fernandes PINTO; Fridrun PODCZECK; John Michael NEWTON;
PUBLISHED: 1997, SOURCE: Chemical and Pharmaceutical Bulletin, VOLUME: 45, ISSUE: 1
