21
TITLE: A Logic for Robotics?  Full Text
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
TYPE: Proceedings Paper, PUBLISHED: 2015, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
INDEXED IN: Scopus WOS CrossRef: 1
22
TITLE: Completeness and Decidability Results for Hybrid(ised) Logics
AUTHORS: Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
TYPE: Proceedings Paper, PUBLISHED: 2015, SOURCE: 17th Brazilian Symposium on Formal Methods (SBMF) as part of 5th Brazilian Conference on Software - Theory and Practice (CBSoft) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2014, VOLUME: 8941
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: DBLP
23
TITLE: Paradigm integration in a specification course
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Luis Soares Barbosa ; Renato Neves ;
TYPE: Proceedings Paper, PUBLISHED: 2014, SOURCE: 15th IEEE International Conference on Information Reuse and Integration (IEEE IRI) / IRI-HI / FMI / DIM / EM-RITE / WICSOC / SocialSec / IICPC / NatSec in 2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI)
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: DBLP
24
TITLE: An Institution for Alloy and Its Translation to Second-Order Logic
AUTHORS: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
TYPE: Proceedings Paper, PUBLISHED: 2013, SOURCE: Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, San Francisco, CA, USA, August 2013], VOLUME: 263
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: DBLP
25
TITLE: Giving Alloy a family
AUTHORS: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
TYPE: Proceedings Paper, PUBLISHED: 2013, SOURCE: 2013 IEEE 14th International Conference on Information Reuse and Integration, IEEE IRI 2013 in IEEE 14th International Conference on Information Reuse & Integration, IRI 2013, San Francisco, CA, USA, August 14-16, 2013
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: DBLP
26
TITLE: Hybridisation at work
AUTHORS: Neves, R ; Madeira, A ; Martins, MA ; Barbosa, LS ;
TYPE: Proceedings Paper, PUBLISHED: 2013, SOURCE: 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8089 LNCS
INDEXED IN: Scopus DBLP
IN MY: DBLP
27
TITLE: When even the interface evolves ...
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
TYPE: Proceedings Paper, PUBLISHED: 2013, SOURCE: 7th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE)
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: DBLP
Page 3 of 3. Total results: 27.