Jan Bækgaard Pedersen

发表

Jan Bækgaard Pedersen, Brian Kauke, J. Pedersen, 2009, CPA.

Jan Bækgaard Pedersen, Michael Quinn Jones, 2013, CPA.

Jan Bækgaard Pedersen, Alan S. Wagner, 1999, Euro-Par.

Jan Bækgaard Pedersen, Alan S. Wagner, 2001, HIPS.

Jan Bækgaard Pedersen, Alan S. Wagner, 2001, Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001.

Jan Bækgaard Pedersen, Matthew Sowders, J. Pedersen, 2011, CPA.

Jan Bækgaard Pedersen, Dmitry Brodsky, 2003, IEEE Symposium on Parallel and Large-Data Visualization and Graphics, 2003. PVG 2003..

Jan Bækgaard Pedersen, Kevin Chalmers, J. Pedersen, 2019, 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE).

Jan Bækgaard Pedersen, Peter H. Welch, J. Pedersen, 2010, TOPL.

Jan Bækgaard Pedersen, Alex Brodsky, Alan S. Wagner, 2005, J. Parallel Distributed Comput..

Jan Bækgaard Pedersen, Dmitry Brodsky, 2002, PDPTA.

Jan Bækgaard Pedersen, Peter H. Welch, 2008, CPA.

Jan Bækgaard Pedersen, Marc L. Smith, J. Pedersen, 2013, CPA.

Jan Bækgaard Pedersen, Peter H. Welch, Fred R. M. Barnes, 2013, CPA.

Jan Bækgaard Pedersen, Alex Brodsky, Jeffrey Sampson, 2008, J. Parallel Distributed Comput..

Jan Bækgaard Pedersen, George Oprean, J. Pedersen, 2008, CPA.

Neil Brown, Jan Bækgaard Pedersen, Peter H. Welch, 2011, CPA.

Jan Bækgaard Pedersen, Peter H. Welch, J. Pedersen, 2017, Formal Aspects of Computing.

Jan Bækgaard Pedersen, Matthew Sowders, J. Pedersen, 2011 .