HASLab - Articles in International Journals : [124] Collection home page

Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Title in Ascending order): 1 to 19 of 124
Issue DateTitleAuthor(s)
2012AI for the Win: Improving Spectrum-based Fault LocalizationBirgit Hofer; Franz Wotawa; Rui Maranhão
2013Alloy Meets the Algebra of Programming: A Case StudyJosé Nuno Oliveira; Ferreira,MA
2014Analysing interactive devices based on information resource constraintsJosé Creissac Campos; Doherty,G; Michael Douglas Harrison
2012Assertion-based Slicing and Slice GraphsDaniela Cruz; José Bernardo Barros; Jorge Sousa Pinto; Pedro Rangel Henriques
2015The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumpsPaolo Masci; Ruksenas,Rimvydas; Oladimeji,Patrick; Cauchi,Abigail; Gimblett,Andy; Li,KarenYunqiu; Curzon,Paul; Thimbleby,HaroldW.
2012A Calculus for Generic, QoS-Aware Component CompositionLuís Soares Barbosa; Sun Meng
2014CAOVerif: An open-source deductive verification platform for cryptographic software implementationsJosé Bacelar Almeida; Manuel Barbosa; Filliatre,JC; Jorge Sousa Pinto; Vieira,B
2016CloudMdsQL: querying heterogeneous cloud data stores with a common languageKolev,B; Valduriez,P; Bondiombouy,C; Jimenez Peris,R; Pau,R; José Orlando Pereira
2012A coalgebraic perspective on linear weighted automataFilippo Bonchi; Alexandra Silva; Jan Rutten; Michele Boreale; Marcello Bonsangue
2013A Coalgebraic Perspective on Logical InterpretationsMartins,MA; Alexandre Castro Madeira; Luís Soares Barbosa
2013Composing Least-change LensesNuno Moreira Macedo; Hugo Pereira Pacheco; Alcino Cunha; Oliveira,JN
2016Concurrency Debugging with Differential Schedule ProjectionsNuno Almeida Machado; Quinta,Daniel; Lucia,Brandon; Rodrigues,LuisE.T.
2011Convergent and Commutative Replicated Data TypesNuno Preguiça; Carlos Baquero; Marek Zawirski; Marc Shapiro
2017CoopREP: Cooperative record and replay of concurrency bugsNuno Almeida Machado; Romano,P; Rodrigues,L
2015CumuloNimbo: A Cloud Scalable Multi-tier SQL DatabasePeris,RJ; Martínez,MP; Kemme,B; Brondino,I; José Orlando Pereira; Vilaça,R; Francisco Miguel Cruz; Rui Carlos Oliveira; Ahmad,MY
2018Delta state replicated data typesAlmeida,PS; Ali Shoker; Carlos Baquero
2018Delta State Replicated Data TypesPaulo Sérgio Almeida; Ali Shoker; Carlos Baquero; 5607; 6172; 5596
2018Delta State replicated data typesPaulo Sérgio Almeida; Ali Shoker; Carlos Baquero
2017Don't go in there! using the APEX framework in the design of ambient assisted living systemsJosé Creissac Campos; Abade,Tiago; Silva,JoseLuis; Harrison,MichaelD.
Collection's Items (Sorted by Title in Ascending order): 1 to 19 of 124