Nuno Carvalho

Publication Activity (10 Years)

Years Active: 2005-2018
Publications (10 Years): 3

Top Topics

Formal Verification

Vehicle Routing

Top Venues

J. Comput. Syst. Sci.

Int. J. Technol. Hum. Interact.

Publications

Nuno Carvalho, Rui Pedro Lourenço
E-Rulemaking: Lessons from the Literature. Int. J. Technol. Hum. Interact. 14 (2) (2018)
Nuno Carvalho, Isabel Gomes
Knowledge Sharing between Enterprises of the Same Group. Int. J. Knowl. Manag. 13 (1) (2017)
Noélia Correia, Nuno Carvalho, Gabriela Schütz
Planning of Vehicle Routing with Backup Provisioning Using Wireless Sensor Technologies. Inf. 8 (3) (2017)
Nuno Carvalho, Cristiano da Silva Sousa, Jorge Sousa Pinto, Aaron Tomb
Formal Verification of kLIBC with the WP Frama-C Plug-in. NASA Formal Methods (2014)
Hiromichi Kobashi, Nuno Carvalho, Bo Hu, Toshiaki Saeki
Cerise: an RDF store with adaptive data reallocation. ARM@Middleware (2014)
Nuno Carvalho, Gabriela Schütz, Noélia Correia
Vehicle routing with backup provisioning using wireless sensor infrastructure. ICCVE (2014)
Paolo Romano, Roberto Palmieri, Francesco Quaglia, Nuno Carvalho, Luís E. T. Rodrigues
On speculative replication of transactional systems. J. Comput. Syst. Sci. 80 (1) (2014)
Bo Hu, Nuno Carvalho, Takahide Matsutsuka
Towards Big Linked Data: A Large-Scale, Distributed Semantic Data Storage. Int. J. Data Warehous. Min. 9 (4) (2013)
Bo Hu, Nuno Carvalho, Loredana Laera, Takahide Matsutsuka
Towards big linked data: a large-scale, distributed semantic data storage. iiWAS (2012)
Bo Hu, Nuno Carvalho, Loredana Laera, Vivian Lee, Takahide Matsutsuka, Roger Menday, Aisha Naseer
Applying Semantic Technologies to Public Sector: A Case Study in Fraud Detection. JIST (2012)
Nuno Carvalho, Paolo Romano, Luís E. T. Rodrigues
A Generic Framework for Replicated Software Transactional Memories. NCA (2011)
Nuno Carvalho, Paolo Romano, Luís E. T. Rodrigues
SCert: Speculative certification in replicated software transactional memories. SYSTOR (2011)
Paolo Romano, Luís E. T. Rodrigues, Nuno Carvalho, João P. Cachopo
Cloud-TM: harnessing the cloud with distributed transactional memories. ACM SIGOPS Oper. Syst. Rev. 44 (2) (2010)
Paolo Romano, Roberto Palmieri, Francesco Quaglia, Nuno Carvalho, Luís E. T. Rodrigues
An Optimal Speculative Transactional Replication Protocol. ISPA (2010)
Alfrânio Correia Jr., José Pereira, Luís E. T. Rodrigues, Nuno Carvalho, Rui Carlos Oliveira
Practical Database Replication. Replication (2010)
Nuno Carvalho, Paolo Romano, Luís E. T. Rodrigues
Asynchronous Lease-Based Replication of Software Transactional Memory. Middleware (2010)
Paolo Romano, Roberto Palmieri, Francesco Quaglia, Nuno Carvalho, Luís E. T. Rodrigues
Brief announcement: on speculative replication of transactional systems. SPAA (2010)
Roberto Palmieri, Francesco Quaglia, Paolo Romano, Nuno Carvalho
Evaluating database-oriented replication schemes in Software Transactional Memory systems. IPDPS Workshops (2010)
Nuno Carvalho
Generic replication of software transactional memory. Middleware Doctoral Symposium (2010)
Júlio Costa, Nuno Carvalho, Filomena O. Soares, José Machado
The FINS Protocol for Complex Industrial Applicattions - A Case Study. ICINCO-RA (2009)
Maria Couceiro, Paolo Romano, Nuno Carvalho, Luís E. T. Rodrigues
D2STM: Dependable Distributed Software Transactional Memory. PRDC (2009)
Paolo Romano, Luís E. T. Rodrigues, Nuno Carvalho
The Weak Mutual Exclusion problem. IPDPS (2009)
Paolo Romano, Nuno Carvalho, Maria Couceiro, Luís E. T. Rodrigues, João P. Cachopo
Towards the Integration of Distributed Transactional Memories in Application Servers' Clusters. QSHINE (2009)
Nuno Carvalho, José Pedro Oliveira, José Pereira
Evaluating Throughput Stability of Protocols for Distributed Middleware. OTM Conferences (1) (2009)
Nuno Carvalho, João P. Cachopo, Luís E. T. Rodrigues, António Rito Silva
Versioned transactional shared memory for the FénixEDU web application. WDDDM@EuroSys (2008)
Paolo Romano, Nuno Carvalho, Luís E. T. Rodrigues
Towards distributed software transactional memory systems. LADIS (2008)
Luís E. T. Rodrigues, Nuno Carvalho, Emili Miedes
Supporting Linearizable Semantics in Replicated Databases. NCA (2008)
Nuno Carvalho, Alfrânio Correia Jr., José Pereira, Luís E. T. Rodrigues, Rui Carlos Oliveira, Susana Guedes
On the Use of a Reflective Architecture to Augment Database Management Systems. J. Univers. Comput. Sci. 13 (8) (2007)
Alfrânio Correia Jr., José Pereira, Luís E. T. Rodrigues, Nuno Carvalho, Ricardo Vilaça, Rui Carlos Oliveira, Susana Guedes
GORDA: An Open Architecture for Database Replication. NCA (2007)
Nuno Carvalho, José Pereira, Rui Carlos Oliveira, Luís E. T. Rodrigues
Emergent Structure in Unstructured Epidemic Multicast. DSN (2007)
Nuno Carvalho, Filipe Araújo, Luís E. T. Rodrigues
Reducing Latency in Rendezvous-Based Publish-Subscribe Systems for Wireless Ad Hoc Networks. ICDCS Workshops (2006)
Luís E. T. Rodrigues, José Mocito, Nuno Carvalho
From spontaneous total order to uniform total order: different degrees of optimistic delivery. SAC (2006)
Nuno Carvalho, José Pereira, Luís E. T. Rodrigues
Towards a Generic Group Communication Service. OTM Conferences (2) (2006)
Nuno Carvalho, Filipe Araújo, Luís E. T. Rodrigues
Scalable QoS-Based Event Routing in Publish-Subscribe Systems. NCA (2005)