Nuno Carvalho

According to our database, Nuno Carvalho authored at least 35 papers between 2005 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

E-Rulemaking: Lessons from the Literature.

Nuno Carvalho, Rui Pedro Lourenço

Int. J. Technol. Hum. Interact., 2018

2017

Planning of Vehicle Routing with Backup Provisioning Using Wireless Sensor Technologies.

Noélia Correia, Nuno Carvalho, Gabriela Schütz

Inf., 2017

Knowledge Sharing between Enterprises of the Same Group.

Nuno Carvalho, Isabel Gomes

Int. J. Knowl. Manag., 2017

2015

An ontology toolkit for problem domain concept location in program comprehension

Nuno Carvalho

PhD thesis, 2015

2014

On speculative replication of transactional systems.

Paolo Romano, Roberto Palmieri, Francesco Quaglia, Nuno Carvalho, Luís E. T. Rodrigues

J. Comput. Syst. Sci., 2014

Formal Verification of kLIBC with the WP Frama-C Plug-in.

Nuno Carvalho, Cristiano da Silva Sousa, Jorge Sousa Pinto, Aaron Tomb

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Cerise: an RDF store with adaptive data reallocation.

Hiromichi Kobashi, Nuno Carvalho, Bo Hu, Toshiaki Saeki

Proceedings of the 13th Workshop on Adaptive and Reflective Middleware, 2014

Vehicle routing with backup provisioning using wireless sensor infrastructure.

Nuno Carvalho, Gabriela Schütz, Noélia Correia

Proceedings of the International Conference on Connected Vehicles and Expo, 2014

2013

Towards Big Linked Data: A Large-Scale, Distributed Semantic Data Storage.

Bo Hu, Nuno Carvalho, Takahide Matsutsuka

Int. J. Data Warehous. Min., 2013

2012

Towards big linked data: a large-scale, distributed semantic data storage.

Bo Hu, Nuno Carvalho, Loredana Laera, Takahide Matsutsuka

Proceedings of the 14th International Conference on Information Integration and Web-based Applications & Services, IIWAS '12, Bali, Indonesia, 2012

Applying Semantic Technologies to Public Sector: A Case Study in Fraud Detection.

Bo Hu, Nuno Carvalho, Loredana Laera, Vivian Lee, Takahide Matsutsuka, Roger Menday, Aisha Naseer

Proceedings of the Semantic Technology, Second Joint International Conference, 2012

2011

SCert: Speculative certification in replicated software transactional memories.

Nuno Carvalho, Paolo Romano, Luís E. T. Rodrigues

Proceedings of of SYSTOR 2011: The 4th Annual Haifa Experimental Systems Conference, Haifa, Israel, May 30, 2011

A Generic Framework for Replicated Software Transactional Memories.

Nuno Carvalho, Paolo Romano, Luís E. T. Rodrigues

Proceedings of The Tenth IEEE International Symposium on Networking Computing and Applications, 2011

2010

Cloud-TM: harnessing the cloud with distributed transactional memories.

Paolo Romano, Luís E. T. Rodrigues, Nuno Carvalho, João P. Cachopo

ACM SIGOPS Oper. Syst. Rev., 2010

Brief announcement: on speculative replication of transactional systems.

Paolo Romano, Roberto Palmieri, Francesco Quaglia, Nuno Carvalho, Luís E. T. Rodrigues

Proceedings of the SPAA 2010: Proceedings of the 22nd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2010

Practical Database Replication.

Alfrânio Correia Jr., José Pereira, Luís E. T. Rodrigues, Nuno Carvalho, Rui Oliveira

Proceedings of the Replication: Theory and Practice, 2010

Asynchronous Lease-Based Replication of Software Transactional Memory.

Nuno Carvalho, Paolo Romano, Luís E. T. Rodrigues

Proceedings of the Middleware 2010 - ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29, 2010

Generic replication of software transactional memory.

Nuno Carvalho

Proceedings of the 7th Middleware Doctoral Symposium, Bangalore, India, 30 November 2010, 2010

An Optimal Speculative Transactional Replication Protocol.

Paolo Romano, Roberto Palmieri, Francesco Quaglia, Nuno Carvalho, Luís E. T. Rodrigues

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2010

Evaluating database-oriented replication schemes in Software Transactional Memory systems.

Roberto Palmieri, Francesco Quaglia, Paolo Romano, Nuno Carvalho

Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

2009

Towards the Integration of Distributed Transactional Memories in Application Servers' Clusters.

Paolo Romano, Nuno Carvalho, Maria Couceiro, Luís E. T. Rodrigues, João P. Cachopo

Proceedings of the Quality of Service in Heterogeneous Networks, 2009

D2STM: Dependable Distributed Software Transactional Memory.

Maria Couceiro, Paolo Romano, Nuno Carvalho, Luís E. T. Rodrigues

Proceedings of the 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, 2009

Evaluating Throughput Stability of Protocols for Distributed Middleware.

Nuno Carvalho, José Pedro Oliveira, José Pereira

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009, 2009

The Weak Mutual Exclusion problem.

Paolo Romano, Luís E. T. Rodrigues, Nuno Carvalho

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

The FINS Protocol for Complex Industrial Applicattions - A Case Study.

Júlio Costa, Nuno Carvalho, Filomena O. Soares, José Machado

Proceedings of the ICINCO 2009, 2009

2008

Supporting Linearizable Semantics in Replicated Databases.

Luís E. T. Rodrigues, Nuno Carvalho, Emili Miedes

Proceedings of The Seventh IEEE International Symposium on Networking Computing and Applications, 2008

Towards distributed software transactional memory systems.

Paolo Romano, Nuno Carvalho, Luís E. T. Rodrigues

Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware, 2008

Versioned transactional shared memory for the FénixEDU web application.

Nuno Carvalho, João P. Cachopo, Luís E. T. Rodrigues, António Rito Silva

Proceedings of the 2nd workshop on Dependable distributed data management, 2008

2007

On the Use of a Reflective Architecture to Augment Database Management Systems.

Nuno Carvalho, Alfrânio Correia Jr., José Pereira, Luís E. T. Rodrigues, Rui Oliveira, Susana Guedes

J. Univers. Comput. Sci., 2007

GORDA: An Open Architecture for Database Replication.

Alfrânio Correia Jr., José Pereira, Luís E. T. Rodrigues, Nuno Carvalho, Ricardo Vilaça, Rui Oliveira, Susana Guedes

Proceedings of the Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12, 2007

Emergent Structure in Unstructured Epidemic Multicast.

Nuno Carvalho, José Pereira, Rui Oliveira, Luís E. T. Rodrigues

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2006

From spontaneous total order to uniform total order: different degrees of optimistic delivery.

Luís E. T. Rodrigues, José Mocito, Nuno Carvalho

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Towards a Generic Group Communication Service.

Nuno Carvalho, José Pereira, Luís E. T. Rodrigues

Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Reducing Latency in Rendezvous-Based Publish-Subscribe Systems for Wireless Ad Hoc Networks.

Nuno Carvalho, Filipe Araújo, Luís E. T. Rodrigues

Proceedings of the 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 2006

2005

Scalable QoS-Based Event Routing in Publish-Subscribe Systems.

Nuno Carvalho, Filipe Araújo, Luís E. T. Rodrigues

Proceedings of the Fourth IEEE International Symposium on Network Computing and Applications (NCA 2005), 2005