Ian Mackie
AuthID: R-00F-8S8
11
TÃTULO: Visual Programming with Interaction Nets
AUTORES: Abubakar Hassan; Ian Mackie; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2008, FONTE: 5th International Conference on Diagrammatic Representation and Inference in DIAGRAMMATIC REPRESENTATION AND INFERENCE, PROCEEDINGS, VOLUME: 5223
AUTORES: Abubakar Hassan; Ian Mackie; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2008, FONTE: 5th International Conference on Diagrammatic Representation and Inference in DIAGRAMMATIC REPRESENTATION AND INFERENCE, PROCEEDINGS, VOLUME: 5223
12
TÃTULO: Iterator types
AUTORES: Sandra Alves ; Maribel Fernndez; Mario Florido ; Ian Mackie;
PUBLICAÇÃO: 2007, FONTE: 10th International Conference on Fundamental Approaches to Software Engineering in Foundations of Software Science and Computational Structures, Proceedings, VOLUME: 4423
AUTORES: Sandra Alves ; Maribel Fernndez; Mario Florido ; Ian Mackie;
PUBLICAÇÃO: 2007, FONTE: 10th International Conference on Fundamental Approaches to Software Engineering in Foundations of Software Science and Computational Structures, Proceedings, VOLUME: 4423
13
TÃTULO: Linear recursive functions
AUTORES: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLICAÇÃO: 2007, FONTE: Festschrift held in Honor of Jean-Pierre Jouannauds 60th Birthday on Rewriting, Computation and Proof in Rewriting, Computation and Proof: ESSAYS DEDICATED TO JEAN-PIERRE JOUANNAUD ON THE OCCASION OF HIS 60TH BIRTHDAY, VOLUME: 4600
AUTORES: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLICAÇÃO: 2007, FONTE: Festschrift held in Honor of Jean-Pierre Jouannauds 60th Birthday on Rewriting, Computation and Proof in Rewriting, Computation and Proof: ESSAYS DEDICATED TO JEAN-PIERRE JOUANNAUD ON THE OCCASION OF HIS 60TH BIRTHDAY, VOLUME: 4600
14
TÃTULO: The Power of Closed Reduction Strategies
AUTORES: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLICAÇÃO: 2007, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 174, NÚMERO: 10 SPEC. ISS.
AUTORES: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLICAÇÃO: 2007, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 174, NÚMERO: 10 SPEC. ISS.
15
TÃTULO: A Higher-Order Calculus for Graph Transformation
AUTORES: Fernandez, M; Mackie, I; Pinto, JS ;
PUBLICAÇÃO: 2007, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 72, NÚMERO: 1 SPEC. ISS.
AUTORES: Fernandez, M; Mackie, I; Pinto, JS ;
PUBLICAÇÃO: 2007, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 72, NÚMERO: 1 SPEC. ISS.
16
TÃTULO: Visual Programming with Recursion Patterns in Interaction Nets Full Text
AUTORES: Ian Mackie; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLICAÇÃO: 2007, FONTE: ECEASST, VOLUME: 6
AUTORES: Ian Mackie; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLICAÇÃO: 2007, FONTE: ECEASST, VOLUME: 6
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP17
TÃTULO: Status of the world's smallest mammal, the bumble-bee bat Craseonycteris thonglongyai, in Myanmar Full Text
AUTORES: Maria Joao R Ramos Pereira ; Hugo Rebelo ; Emma C Teeling; Stephen J O'Brien; Iain Mackie; Si Si H Hla Bu; Khin Maung Swe; Khin Mie Mie; Paul J J Bates;
PUBLICAÇÃO: 2006, FONTE: ORYX, VOLUME: 40, NÚMERO: 4
AUTORES: Maria Joao R Ramos Pereira ; Hugo Rebelo ; Emma C Teeling; Stephen J O'Brien; Iain Mackie; Si Si H Hla Bu; Khin Maung Swe; Khin Mie Mie; Paul J J Bates;
PUBLICAÇÃO: 2006, FONTE: ORYX, VOLUME: 40, NÚMERO: 4
18
TÃTULO: The power of linear functions
AUTORES: Sandra Alves ; Maribel Fernandez; Mirio Florido ; Ian Mackie;
PUBLICAÇÃO: 2006, FONTE: 20th International Workshop on Computer Science Logic/15th Annual Conference of the European-Association-for-Computer-Science-Logic in COMPUTER SCIENCE LOGIC, PROCEEDINGS, VOLUME: 4207
AUTORES: Sandra Alves ; Maribel Fernandez; Mirio Florido ; Ian Mackie;
PUBLICAÇÃO: 2006, FONTE: 20th International Workshop on Computer Science Logic/15th Annual Conference of the European-Association-for-Computer-Science-Logic in COMPUTER SCIENCE LOGIC, PROCEEDINGS, VOLUME: 4207
