PVMbuilder - A Tool for Parallel Programming. - Jan Bækgaard Pedersen; Alan S. Wagner (Euro-Par, 1999)

Correcting Errors in Message Passing Systems. - Jan Bækgaard Pedersen; Alan S. Wagner (HIPS, 2001)

A class of risk neutral densities with heavy tails. - Niels Væver Hartvig; Jens Ledet Jensen; Jan Pedersen 001 (Finance Stochastics, 2001)

Parallel Model Simplification of Very Large Polygonal Meshes. - Dmitry Brodsky; Jan Bækgaard Pedersen (PDPTA, 2002)

A Deformable Template Model, with Special Reference to Elliptical Templates. - Asger Hobolth; Jan Pedersen 001; Eva Bjørn Vedel Jensen (J. Math. Imaging Vis., 2002)

A Parallel Framework for Simplification of Massive Meshes. - Dmitry Brodsky; Jan Bækgaard Pedersen (IEEE Symposium on Parallel and Large-Data Visualization and Graphics, 2003)

Millipede: A Multilevel Debugging Environment for Distributed Systems. - Erik Tribou; Jan Pedersen 001 (PDPTA, 2005)

On the complexity of buffer allocation in message passing systems. - Alex Brodsky; Jan Bækgaard Pedersen; Alan S. Wagner (J. Parallel Distributed Comput., 2005)

IDLI: An Interactive Message Debugger for Parallel Programs Using LAM-MPI. - Hoimonti Basu; Jan Pedersen 001 (PDPTA, 2006)

Classification of Programming Errors in Parallel Message Passing Systems. - Jan Bækgaard Pedersen (CPA, 2006)

Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques. - Jason Hurt; Jan Bækgaard Pedersen (CPA, 2008)

Asynchronous Active Objects in Java. - George Oprean; Jan Bækgaard Pedersen (CPA, 2008)

Santa Claus - with Mobile Reindeer and Elves. - Peter H. Welch; Jan Bækgaard Pedersen (CPA, 2008)

Approximating the buffer allocation problem using epochs. - Jan Bækgaard Pedersen; Alex Brodsky; Jeffrey Sampson (J. Parallel Distributed Comput., 2008)

Resumable Java Bytecode - Process Mobility for the JVM. - Jan Bækgaard Pedersen; Brian Kauke (CPA, 2009)

Santa Claus: Formal analysis of a process-oriented solution. - Peter H. Welch; Jan Bækgaard Pedersen (ACM Trans. Program. Lang. Syst., 2010)

Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces. - Jan Bækgaard Pedersen; Matthew Sowders (CPA, 2011)

Adding Formal Verification to occam-π. - Peter H. Welch; Jan Bækgaard Pedersen; Fred R. M. Barnes; Carl G. Ritson; Neil C. C. Brown (CPA, 2011)

Test suite prioritization by cost-based combinatorial interaction coverage. - Renée C. Bryce; Sreedevi Sampath; Jan B. Pedersen 001; Schuyler Manchester (Int. J. Syst. Assur. Eng. Manag., 2011)

The Distributed Application Debugger. - Michael Quinn Jones; Jan Bækgaard Pedersen (CPA, 2013)

ProcessJ: A Possible Future of Process-Oriented Design. - Jan Bækgaard Pedersen; Marc L. Smith (CPA, 2013)

Mutually Assured Destruction (or the Joy of Sync). - Peter H. Welch; Jan Bækgaard Pedersen; Frederick R. M. Barnes (CPA, 2013)

An empirical study on the impact of C++ lambdas and programmer experience. - Phillip Merlin Uesbeck; Andreas Stefik; Stefan Hanenberg; Jan Pedersen 001; Patrick Daleiden (ICSE, 2016)

The symbiosis of concurrency and verification: teaching and case studies. - Jan Bækgaard Pedersen; Peter H. Welch (Formal Aspects Comput., 2018)

Verifying channel communication correctness for a multi-core cooperatively scheduled runtime using CSP. - Jan Bækgaard Pedersen; Kevin Chalmers (FormaliSE@ICSE, 2019)

Analysis of a Randomized Controlled Trial of Student Performance in Parallel Programming using a New Measurement Technique. - Patrick Daleiden; Andreas Stefik; Phillip Merlin Uesbeck; Jan Pedersen 001 (ACM Trans. Comput. Educ., 2020)

Toward Verifying Cooperatively Scheduled Runtimes Using CSP. - Jan Bækgaard Pedersen; Kevin Chalmers (Formal Aspects Comput., 2023)