Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Confirmed Publications: 87



61
TITLE: Fast Distributed Computation of Distances in Networks  Full Text
AUTHORS: Paulo Sergio Almeida ; Carlos Baquero ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: 51st IEEE Annual Conference on Decision and Control (CDC) in 2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC)
INDEXED IN: Scopus WOS DBLP CrossRef: 13
IN MY: ORCID | DBLP
62
TITLE: Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas
AUTHORS: Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: 5th International Conference on Theory and Practice of Model Transformations, ICMT 2012 in Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings, VOLUME: 7307
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP
63
TITLE: Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings, VOLUME: 7560
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
64
TITLE: Specifying UML Protocol State Machines in Alloy
AUTHORS: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2012, SOURCE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, VOLUME: 7321
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID | DBLP
65
TITLE: Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation)
AUTHORS: Iago Abal; Alcino Cunha ; Joe Hurd; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012 in Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, VOLUME: 7317
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
66
TITLE: Algebraic Specialization of Generic Functions for Recursive Types
AUTHORS: Alcino Cunha ; Hugo Pacheco ;
PUBLISHED: 2011, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 229, ISSUE: 5
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
67
TITLE: Calculating with lenses: optimising bidirectional transformations. optimising bidirectional transformations
AUTHORS: Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2011, SOURCE: 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM'11 in Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP
68
TITLE: Logic Training through Algorithmic Problem Solving
AUTHORS: Ferreira, JF ; Mendes, A ; Cunha, A ; Baquero, C ; Silva, P ; Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2011, SOURCE: 3rd International Congress on Tools for Teaching Logic (TICTTL) in TOOLS FOR TEACHING LOGIC, VOLUME: 6680
INDEXED IN: Scopus WOS DBLP CrossRef: 6 Handle
IN MY: ORCID | DBLP
69
TITLE: Transformation of structure-shy programs with application to XPath queries and strategic functions  Full Text
AUTHORS: Alcino Cunha ; Joost Visser;
PUBLISHED: 2011, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 76, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP
70
TITLE: Translating Alloy Specifications to UML Class Diagrams Annotated with OCL
AUTHORS: Ana Gabriela Garis; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2011, SOURCE: 9th International Conference on Software Engineering and Formal Methods, SEFM 2011 in Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, VOLUME: 7041
INDEXED IN: Scopus DBLP CrossRef: 6
IN MY: ORCID | DBLP
Page 7 of 9. Total results: 87.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service