Francisco Miguel Alves Campos de Sousa Dionísio
AuthID: R-000-5DP
1
TITLE: Bounded model checking distributed temporal logic
AUTHORS: Peres, Augusto; Ramos, Jaime; Dionisio, Francisco;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 33, ISSUE: 5
AUTHORS: Peres, Augusto; Ramos, Jaime; Dionisio, Francisco;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 33, ISSUE: 5
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Mechanisms of Energy Transduction by Charge Translocating Membrane Proteins Full Text
AUTHORS: Calisto, F; Sousa, FM; Sena, FV; Refojo, PN; Pereira, MM;
PUBLISHED: 2021, SOURCE: CHEMICAL REVIEWS, VOLUME: 121, ISSUE: 3
AUTHORS: Calisto, F; Sousa, FM; Sena, FV; Refojo, PN; Pereira, MM;
PUBLISHED: 2021, SOURCE: CHEMICAL REVIEWS, VOLUME: 121, ISSUE: 3
INDEXED IN: Scopus WOS
Scopus WOS3
TITLE: Colourings and the Alexander Polynomial Full Text
AUTHORS: Luis Camacho; Francisco Miguel Dionisio; Roger Picken;
PUBLISHED: 2016, SOURCE: KYUNGPOOK MATHEMATICAL JOURNAL, VOLUME: 56, ISSUE: 3
AUTHORS: Luis Camacho; Francisco Miguel Dionisio; Roger Picken;
PUBLISHED: 2016, SOURCE: KYUNGPOOK MATHEMATICAL JOURNAL, VOLUME: 56, ISSUE: 3
INDEXED IN: Scopus WOS
Scopus WOS4
TITLE: Simulation of surface fire fronts using fireLib and GPUs Full Text
AUTHORS: Sousa, FA; dos Reis, RJN; Pereira, JCF ;
PUBLISHED: 2012, SOURCE: ENVIRONMENTAL MODELLING & SOFTWARE, VOLUME: 38
AUTHORS: Sousa, FA; dos Reis, RJN; Pereira, JCF ;
PUBLISHED: 2012, SOURCE: ENVIRONMENTAL MODELLING & SOFTWARE, VOLUME: 38
5
TITLE: Faster Than Real Time Stochastic Fire Spread Simulations
AUTHORS: Ervilha, AR; Sousa, FA; Pereira, JMC ; Pereira, JCF ;
PUBLISHED: 2012, SOURCE: CMES-COMPUTER MODELING IN ENGINEERING & SCIENCES, VOLUME: 89, ISSUE: 5
AUTHORS: Ervilha, AR; Sousa, FA; Pereira, JMC ; Pereira, JCF ;
PUBLISHED: 2012, SOURCE: CMES-COMPUTER MODELING IN ENGINEERING & SCIENCES, VOLUME: 89, ISSUE: 5
INDEXED IN: Scopus WOS
Scopus WOS6
TITLE: Paternity analysis in excel Full Text
AUTHORS: Margarida Rocheta ; Miguel M Dionisio; Luis Fonseca; Ana M Pires ;
PUBLISHED: 2007, SOURCE: COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, VOLUME: 88, ISSUE: 3
AUTHORS: Margarida Rocheta ; Miguel M Dionisio; Luis Fonseca; Ana M Pires ;
PUBLISHED: 2007, SOURCE: COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, VOLUME: 88, ISSUE: 3
7
TITLE: SYSTEMS AND SIGNALS ONLINE QUESTIONS AND GRADING
AUTHORS: Sergio Costa; Carlos Cardeira ; Joao Pargana; Miguel Dionisio, FM; Pedro A Santos ;
PUBLISHED: 2005, SOURCE: 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, VOLUME: 2 2 OF 2 VOL
AUTHORS: Sergio Costa; Carlos Cardeira ; Joao Pargana; Miguel Dionisio, FM; Pedro A Santos ;
PUBLISHED: 2005, SOURCE: 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, VOLUME: 2 2 OF 2 VOL
INDEXED IN: Scopus WOS
Scopus WOS8
TITLE: Quandles at finite temperatures II Full Text
AUTHORS: Dionisio, FM; Lopes, P ;
PUBLISHED: 2003, SOURCE: JOURNAL OF KNOT THEORY AND ITS RAMIFICATIONS, VOLUME: 12, ISSUE: 8
AUTHORS: Dionisio, FM; Lopes, P ;
PUBLISHED: 2003, SOURCE: JOURNAL OF KNOT THEORY AND ITS RAMIFICATIONS, VOLUME: 12, ISSUE: 8
INDEXED IN: Scopus WOS
Scopus WOS9
TITLE: QUANDLES AT FINITE TEMPERATURES II Full Text
AUTHORS: MIGUEL M DIONÍSIO; PEDRO LOPES;
PUBLISHED: 2003, SOURCE: J. Knot Theory Ramifications - Journal of Knot Theory and Its Ramifications, VOLUME: 12, ISSUE: 08
AUTHORS: MIGUEL M DIONÍSIO; PEDRO LOPES;
PUBLISHED: 2003, SOURCE: J. Knot Theory Ramifications - Journal of Knot Theory and Its Ramifications, VOLUME: 12, ISSUE: 08
INDEXED IN: 
CrossRef
CrossRef10
TITLE: Specifying with defaults: Compositional semantics Full Text
AUTHORS: Dionisio, FM; Lipeck, UW;
PUBLISHED: 1998, SOURCE: 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 97) in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 1376
AUTHORS: Dionisio, FM; Lipeck, UW;
PUBLISHED: 1998, SOURCE: 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 97) in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 1376
INDEXED IN: WOS
WOS