default search action
Jan Pedersen 0001
Person information
- affiliation: University of Nevada Las Vegas, NV, USA
Other persons with the same name
- Jan Pedersen — disambiguation page
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j9]Jan Bækgaard Pedersen, Kevin Chalmers:
Toward Verifying Cooperatively Scheduled Runtimes Using CSP. Formal Aspects Comput. 35(4): 22:1-22:45 (2023) - 2020
- [j8]Patrick Daleiden, Andreas Stefik, Phillip Merlin Uesbeck, Jan Pedersen:
Analysis of a Randomized Controlled Trial of Student Performance in Parallel Programming using a New Measurement Technique. ACM Trans. Comput. Educ. 20(3): 21:1-21:28 (2020)
2010 – 2019
- 2019
- [c19]Jan Bækgaard Pedersen, Kevin Chalmers:
Verifying channel communication correctness for a multi-core cooperatively scheduled runtime using CSP. FormaliSE@ICSE 2019: 65-74 - 2018
- [j7]Jan Bækgaard Pedersen, Peter H. Welch:
The symbiosis of concurrency and verification: teaching and case studies. Formal Aspects Comput. 30(2): 239-277 (2018) - 2016
- [c18]Phillip Merlin Uesbeck, Andreas Stefik, Stefan Hanenberg, Jan Pedersen, Patrick Daleiden:
An empirical study on the impact of C++ lambdas and programmer experience. ICSE 2016: 760-771 - 2013
- [c17]Jan Bækgaard Pedersen, Marc L. Smith:
ProcessJ: A Possible Future of Process-Oriented Design. CPA 2013: 133-156 - [c16]Michael Quinn Jones, Jan Bækgaard Pedersen:
The Distributed Application Debugger. CPA 2013: 217-232 - [c15]Peter H. Welch, Jan Bækgaard Pedersen, Frederick R. M. Barnes:
Mutually Assured Destruction (or the Joy of Sync). CPA 2013: 319-320 - [e3]Peter H. Welch, Frederick R. M. Barnes, Jan F. Broenink, Kevin Chalmers, Jan Bækgaard Pedersen, Adam T. Sampson:
35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013. Open Channel Publishing Ltd. 2013, ISBN 978-0-9565409-7-3 [contents] - 2012
- [e2]Peter H. Welch, Frederick R. M. Barnes, Kevin Chalmers, Jan Bækgaard Pedersen, Adam T. Sampson:
34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012. Open Channel Publishing Ltd. 2012, ISBN 978-0-9565409-5-9 [contents] - 2011
- [j6]Renée C. Bryce, Sreedevi Sampath, Jan B. Pedersen, Schuyler Manchester:
Test suite prioritization by cost-based combinatorial interaction coverage. Int. J. Syst. Assur. Eng. Manag. 2(2): 126-134 (2011) - [c14]Jan Bækgaard Pedersen, Matthew Sowders:
Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces. CPA 2011: 71-85 - [c13]Peter H. Welch, Jan Bækgaard Pedersen, Fred R. M. Barnes, Carl G. Ritson, Neil C. C. Brown:
Adding Formal Verification to occam-π. CPA 2011: 379 - [e1]Peter H. Welch, Adam T. Sampson, Jan Bækgaard Pedersen, Jon M. Kerridge, Jan F. Broenink, Frederick R. M. Barnes:
33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011. Concurrent Systems Engineering Series 68, IOS Press 2011, ISBN 978-1-60750-773-4 [contents] - 2010
- [j5]Peter H. Welch, Jan Bækgaard Pedersen:
Santa Claus: Formal analysis of a process-oriented solution. ACM Trans. Program. Lang. Syst. 32(4): 14:1-14:37 (2010)
2000 – 2009
- 2009
- [c12]Jan Bækgaard Pedersen, Brian Kauke:
Resumable Java Bytecode - Process Mobility for the JVM. CPA 2009: 159-172 - 2008
- [j4]Jan Bækgaard Pedersen, Alex Brodsky, Jeffrey Sampson:
Approximating the buffer allocation problem using epochs. J. Parallel Distributed Comput. 68(9): 1263-1282 (2008) - [c11]George Oprean, Jan Bækgaard Pedersen:
Asynchronous Active Objects in Java. CPA 2008: 237-254 - [c10]Jason Hurt, Jan Bækgaard Pedersen:
Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques. CPA 2008: 381-396 - [c9]Peter H. Welch, Jan Bækgaard Pedersen:
Santa Claus - with Mobile Reindeer and Elves. CPA 2008: 455 - 2006
- [c8]Hoimonti Basu, Jan Pedersen:
IDLI: An Interactive Message Debugger for Parallel Programs Using LAM-MPI. PDPTA 2006: 513-520 - [c7]Jan Bækgaard Pedersen:
Classification of Programming Errors in Parallel Message Passing Systems. CPA 2006: 363-376 - 2005
- [j3]Alex Brodsky, Jan Bækgaard Pedersen, Alan S. Wagner:
On the complexity of buffer allocation in message passing systems. J. Parallel Distributed Comput. 65(6): 692-713 (2005) - [c6]Erik Tribou, Jan Pedersen:
Millipede: A Multilevel Debugging Environment for Distributed Systems. PDPTA 2005: 187-193 - 2003
- [c5]Dmitry Brodsky, Jan Bækgaard Pedersen:
A Parallel Framework for Simplification of Massive Meshes. IEEE Symposium on Parallel and Large-Data Visualization and Graphics 2003: 17-24 - [i1]Alex Brodsky, Jan Bækgaard Pedersen, Alan S. Wagner:
On the Complexity of Buffer Allocation in Message Passing Systems. CoRR cs.DC/0301035 (2003) - 2002
- [j2]Asger Hobolth, Jan Pedersen, Eva Bjørn Vedel Jensen:
A Deformable Template Model, with Special Reference to Elliptical Templates. J. Math. Imaging Vis. 17(2): 131-137 (2002) - [c4]Dmitry Brodsky, Jan Bækgaard Pedersen:
Parallel Model Simplification of Very Large Polygonal Meshes. PDPTA 2002: 1207-1215 - 2001
- [j1]Niels Væver Hartvig, Jens Ledet Jensen, Jan Pedersen:
A class of risk neutral densities with heavy tails. Finance Stochastics 5(1): 115-128 (2001) - [c3]Jan Bækgaard Pedersen, Alan S. Wagner:
Correcting Errors in Message Passing Systems. HIPS 2001: 122-138 - [c2]Jan Bækgaard Pedersen, Alan S. Wagner:
Correcting Errors in Message Passing Systems. IPDPS 2001: 106
1990 – 1999
- 1999
- [c1]Jan Bækgaard Pedersen, Alan S. Wagner:
PVMbuilder - A Tool for Parallel Programming. Euro-Par 1999: 108-112
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-05 21:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint