FC-DI - Technical Reports : [209] Página principal da colecção



The report series seeks scientific reports by members of the Department of Informatics, and include pre-print versions of journal articles, full versions of conference articles, preliminary versions of submissions to conferences and journals, etc.
Collections of articles should be submitted as Workshop Proceedings and not as Technical Report (TR).

Browse
Active um alerta nesta colecção para receber notificações por correio electrónico de novos registos RSS Feed RSS Feed RSS Feed
Items da Coleção (Ordenados por Data de depósito em ordem descendente): 1 até 20 de 209
DataTítuloAutor(es)TipoAcesso
22-Nov-2016Exploring Key-Value Stores in Multi-Writer Byzantine-Resilient Register EmulationsTiago, Oliveira; Ricardo, Mendes; Alysson, BessaniarticleopenAccess
2016Exploratory Apprenticeship in the Digital Age with AI ToolsCoelho, Helder; Thompsen Primo, TiagoreportopenAccess
1-Set-2015CINTIL DependencyBank PREMIUM Handbook: Design options for the representation of grammatical dependenciesBranco, António; Silva, João; Querido, Andreia; Carvalho, RitareportopenAccess
Jul-2015Separating the WHEAT from the Chaff: An Empirical Design for Geo-Replicated State MachinesSousa, João; Bessani, AlyssonreportopenAccess
29-Out-2014Type-Based Verification of Message-Passing Parallel ProgramsVasconcelos, Vasco T.; Martins, Francisco; Marques, Eduardo R. B.; López, Hugo A.; Santos, César; Yoshida, NobukoreportOpen Access
23-Out-2014Protocol-based verification of MPI programsMarques, Eduardo R. B.; Martins, Francisco; Vasconcelos, Vasco T.; Santos, César; Ng, Nicholas; Yoshida, NobukoreportOpen Access
16-Set-2014Information Flow within Relational Multi-context SystemsGaspar, Graça; Nunes, Isabel; Cruz-Filipe, Luísreport-
12-Mai-2014Consistency Anchor Formalization and Correctness ProofsMiguel, Correia; Bessani, AlyssonreportopenAccess
8-Nov-2013State Machine Replication for the Masses with BFT-SMaRtSousa, João; Alchieri, Eduardo; Bessani, AlyssonreportopenAccess
27-Set-2013FCUL Rally Pro 2013Mariano, Pedro; Ramos, Fernando M. V.; Vieira, HugoreportopenAccess
18-Abr-2013Viewing dl-programs as multi-context systemsHenriques, Rita; Nunes, Isabel; Cruz-Filipe, LuísreportopenAccess
27-Fev-2013Automated Identification and Classification of Stereochemistry: Chirality and Double Bond StereoisomerismLeal, João P.; Falcao, Andre O.; Teixeira, Ana L.reportopenAccess
2-Fev-2013Benchmarking some Portuguese S&T system research units: 2nd EditionCouto, Francisco M; Faria, Daniel; Tavares, Bruno; Gonçalves, Pedro; Verissimo, PauloreportopenAccess
31-Jan-2013ThermInfo: Collecting, Retrieving, and Estimating Reliable Thermochemical DataTeixeira, Ana L.; Santos, Rui C.; Leal, João P.; Martinho Simões, José A.; Falcao, Andre OreportopenAccess
17-Jan-2013Characterization of Network Inaccessibility in IEEE 802.15.4 Wireless NetworksRufino, José; Souza, Jeferson Luiz RodriguesreportopenAccess
28-Dez-2012Towards Compositional Hierarchical Scheduling Frameworks on Uniform MultiprocessorsCraveiro, João Pedro; Rufino, Joséreport; workingPaperopenAccess
31-Out-2012Proof Nets as ProcessesMostrous, DimitrisreportopenAccess
30-Out-2012Patterns for Programming in the Semantic WebGaspar, Graça; Cruz-Filipe, Luis; Nunes, IsabelreportopenAccess
17-Set-2012Lightweight Dependable Adaptation for Wireless Sensor NetworksCasimiro, António; Marques, LuísreportopenAccess
12-Jul-2012Evaluating Lightweight Dependable Adaptation in 802.15.4 Wireless Sensor NetworksMarques, Luís; Casimiro, AntónioreportopenAccess
Items da Coleção (Ordenados por Data de depósito em ordem descendente): 1 até 20 de 209