Permissive Belief Revision. - Maria R. Cravo; João P. Cachopo; Ana C. Cachopo; João P. Martins (EPIA, 2001)

Separation of concerns through semantic annotations. - João P. Cachopo (OOPSLA Companion, 2002)

Supporting Evolution in Workflow Definition Languages. - Sergio Miguel Fernandes; João P. Cachopo; António Rito Silva (SOFSEM, 2004)

Combining software transactional memory with a domain modeling language to simplify web application development. - João P. Cachopo; António Rito Silva (ICWE, 2006)

Versioned boxes as the basis for memory transactions. - João P. Cachopo; António Rito Silva (Sci. Comput. Program., 2006)

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 (WDDDM@EuroSys, 2008)

Towards the Integration of Distributed Transactional Memories in Application Servers' Clusters. - Paolo Romano 002; Nuno Carvalho; Maria Couceiro; Luís E. T. Rodrigues; João P. Cachopo (QSHINE, 2009)

Predicting Data Access Patterns in Object-Oriented Applications Based on Markov Chains. - Stoyan Garbatov; João P. Cachopo (ICSEA, 2010)

Memoization of methods using software transactional memory to track internal state dependencies. - Hugo Rito; João P. Cachopo (PPPJ, 2010)

Cloud-TM: harnessing the cloud with distributed transactional memories. - Paolo Romano 002; Luís E. T. Rodrigues; Nuno Carvalho; João P. Cachopo (ACM SIGOPS Oper. Syst. Rev., 2010)

Lightweight Transactional Arrays for Read-Dominated Workloads. - Ivo Anjo; João P. Cachopo (ICA3PP (2), 2011)

STM with Transparent API Considered Harmful. - Fernando Miguel Carvalho; João P. Cachopo (ICA3PP (1), 2011)

Towards a Simple Programming Model in Cloud Computing Platforms. - Jorge Martins; João Pereira 002; Sergio Miguel Fernandes; João P. Cachopo (NCCA, 2011)

Strict serializability is harmless: a new architecture for enterprise applications. - Sergio Miguel Fernandes; João P. Cachopo (OOPSLA Companion, 2011)

Profiling and tuning the performance of an STM-based concurrent program. - Luís Pina; João P. Cachopo (SPLASH Workshops, 2011)

A lock-free cache invalidation protocol for the atom system. - Hugo Rito; João P. Cachopo (SPLASH Workshops, 2011)

Lock-free and scalable multi-version software transactional memory. - Sergio Miguel Fernandes; João P. Cachopo (PPoPP, 2011)

Decreasing Memory Footprints for Better Enterprise Java Application Performance. - Stoyan Garbatov; João P. Cachopo (DEXA (1), 2012)

Atomic Dynamic Upgrades using software transactional memory. - Luís Pina; João P. Cachopo (HotSWUp, 2012)

A Software-Based Method-Level Speculation Framework for the Java Platform. - Ivo Anjo; João P. Cachopo (LCPC, 2012)

FlashbackSTM: Improving STM Performance by Remembering the Past. - Hugo Rito; João P. Cachopo (LCPC, 2012)

Exploring Data Locality for Clustered Enterprise Applications. - Stoyan Garbatov; João P. Cachopo (DEXA (1), 2013)

Improving Continuation-Powered Method-Level Speculation for JVM Applications. - Ivo Anjo; João P. Cachopo (ICA3PP (1), 2013)

Lightweight Identification of Captured Memory for Software Transactional Memory. - Fernando Miguel Carvalho; João P. Cachopo (ICA3PP (1), 2013)

Runtime elision of transactional barriers for captured memory. - Fernando Miguel Carvalho; João P. Cachopo (PPoPP, 2013)

Practical Parallel Nesting for Software Transactional Memory. - Nuno Diegues; João P. Cachopo (DISC, 2013)

ProPS: A Progressively Pessimistic Scheduler for Software Transactional Memory. - Hugo Rito; João P. Cachopo (Euro-Par, 2014)

Adaptive transaction scheduling for mixed transactional workloads. - Hugo Rito; João P. Cachopo (Parallel Comput., 2015)

Design of a Method-Level Speculation framework for boosting irregular JVM applications. - Ivo Anjo; João P. Cachopo (J. Parallel Distributed Comput., 2016)

Optimizing memory transactions for large-scale programs. - Fernando Miguel Carvalho; João P. Cachopo (J. Parallel Distributed Comput., 2016)