Percorrer por autor 1917 Subscrever estatísticas do autor Autor

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 40-59 de um total de 79 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
1997Parallel neural network recognition - a multi-agent system approachCunha, A.; Biscaia, C.; Torres, M., et al.Artigo em ata de conferênciaAcesso aberto
2022Pardinus: a temporal relational model finderMacedo, Nuno; Brunel, Julien; Chemouil, David, et al.ArtigoAcesso aberto
2005Point-free program calculationCunha, AlcinoTese de doutoramentoAcesso aberto
2004Point-free program transformationCunha, Alcino; Pinto, Jorge SousaRelatórioAcesso aberto
2005Point-free program transformationCunha, Alcino; Pinto, Jorge SousaArtigoAcesso aberto
1-Jan-2015PrefaceCunha, Alcino; Kindler, EkkartEditorial em ata de conferênciaAcesso aberto
2018Property-based testing for the robot operating systemSantos, André; Cunha, Alcino; Macedo, NunoArtigo em ata de conferênciaAcesso aberto
2018Proposition of an action layer for electrumBrunel, Julien; Chemouil, David; Cunha, Alcino, et al.Artigo em ata de conferênciaAcesso aberto
2022Quantitative relational modelling with QAlloySilva, Pedro; Oliveira, José Nuno Fonseca; Macedo, Nuno, et al.Artigo em ata de conferênciaAcesso aberto
Mai-2005Recursion patterns and time-analysisBarbosa, Manuel; Cunha, Alcino; Pinto, Jorge SousaArtigoAcesso aberto
2012Relations as executable specifications: taming partiality and non-determinism using invariantsMacedo, Nuno; Pacheco, Hugo; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
1997Resource allocation on agent meta-societiesCunha, Alcino; Belo, OrlandoArtigo em ata de conferênciaAcesso aberto
2022Schema-guided testing of message-oriented systemsSantos, André; Cunha, Alcino; Macedo, NunoArtigo em ata de conferênciaAcesso aberto
2019Simplifying the analysis of software design variants with a colorful alloyLiu, Chong; Macedo, Nuno; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
2019Simulation under arbitrary temporal logic constraintsBrunel, Julien; Chemouil, David; Cunha, Alcino, et al.Artigo em ata de conferênciaAcesso aberto
2012Specifying UML protocol state machines in AlloyGaris, Ana; Paiva, Ana; Cunha, Alcino, et al.Artigo em ata de conferênciaAcesso aberto
Mar-2019Static-Time extraction and analysis of the ROS computation graphSantos, André Fernandes; Cunha, Alcino; Macedo, NunoArtigo em ata de conferênciaAcesso aberto
2007Strongly typed rewriting for coupled software transformationCunha, Alcino; Visser, JoostArtigoAcesso aberto
2014Target oriented relational model findingCunha, Alcino; Macedo, Nuno Filipe Moreira; Guimarães, Tiago Miguel MoreiraArtigo em ata de conferênciaAcesso aberto
2023Task model design and analysis with alloyCunha, Alcino; Macedo, Nuno; Kang, EunsukArtigo em ata de conferênciaAcesso aberto
Mostrar 40-59 de um total de 79 resultados. < anterior   próximo >