default search action
John Peterson
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c25]Matthias Scheutz
, Bradley Oosterveld
A Multi-Robot Architecture Framework for Effective Robot Teammates in Mixed-Initiative Teams. TAHRI 2024: 74-82 - 2022
- [j7]Anthony Wagner
Online Aerial 2.5D Terrain Mapping and Active Aerial Vehicle Exploration for Ground Robot Navigation. J. Intell. Robotic Syst. 106(3): 58 (2022) - 2020
- [c24]Hengying Shan, Nathan J. Conrad, Shabnam Ghotbi, John Peterson, Saeed Mohammadi:
Integrated Implantable Electrode Array and Amplifier Design for Single-chip Wireless Neural Recordings. ISQED 2020: 167-172
2010 – 2019
- 2019
- [j6]John Peterson
Experiments in unmanned aerial vehicle/unmanned ground vehicle radiation search. J. Field Robotics 36(4): 818-845 (2019) - [c23]John Peterson:
Data Center Cooling - Then, Now and the Future. IGSC 2019: 1 - 2018
- [j5]John Peterson, Haseeb Chaudhry, Karim Abdelatty, John Bird, Kevin Kochersberger:
Online Aerial Terrain Mapping for Ground Robot Navigation. Sensors 18(2): 630 (2018) - 2017
- [j4]Coleman Knabe, Robert J. Griffin, James Burton, Graham Cantor-Cooke, Lakshitha Dantanarayana, Graham Day, Oliver Ebeling-Koning, Eric Hahn, Michael A. Hopkins, Jordan Neal, Jackson Newton, Chris Nogales, Viktor L. Orekhov, John Peterson, Michael Rouleau, John Seminatore, Yoonchang Sung, Jacob Webb, Nikolaus Wittenstein, Jason Ziglar
Team VALOR's ESCHER: A Novel Electromechanical Biped for the DARPA Robotics Challenge. J. Field Robotics 34(5): 912-939 (2017) - [c22]Riley Konsella, Frank Chiarulli, John Peterson, John Rieffel:
A baseline-realistic objective open-ended kinematics simulator for evolutionary robotics. GECCO (Companion) 2017: 1113-1116 - [c21]John Peterson, Greg Haynes:
Integrating Computer Science into Music Education. SIGCSE 2017: 459-464 - 2015
- [c20]Alan M. Cleary
Reactive Game Engine Programming for STEM Outreach. SIGCSE 2015: 628-632 - 2010
- [j3]Matthew L. Nelson, John Peterson, Robert L. Rariden, Ravi Sen:
Transitioning to a business rule management service model: Case studies from the property and casualty insurance industry. Inf. Manag. 47(1): 30-41 (2010)
2000 – 2009
- 2007
- [c19]Henrik Nilsson, John Peterson, Paul Hudak:
Functional Hybrid Modeling from an Object-Oriented Perspective. EOOLT 2007: 71-87 - [c18]Liwen Huang, Paul Hudak, John Peterson:
HPorter: Using Arrows to Compose Parallel Processes. PADL 2007: 275-289 - [c17]Johan Steensland, John Peterson:
A Study of Dynamically Adaptive Partitioning for AMR. PDPTA 2007: 503-509 - 2005
- [c16]John Peterson:
Media centered languages for new computing experiences. Richard Tapia Celebration of Diversity in Computing Conference 2005: 23-25 - 2003
- [c15]Antony Courtney, Henrik Nilsson, John Peterson:
The Yampa arcade. Haskell 2003: 7-18 - [c14]Henrik Nilsson, John Peterson, Paul Hudak:
Functional Hybrid Modeling. PADL 2003: 376-390 - 2002
- [c13]Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson:
Arrows, Robots, and Functional Reactive Programming. Advanced Functional Programming 2002: 159-187 - [c12]Henrik Nilsson, Antony Courtney, John Peterson:
Functional reactive programming, continued. Haskell 2002: 51-64 - [c11]Xiangtian Dai, Gregory D. Hager, John Peterson:
Specifying Behavior in C++. ICRA 2002: 153-160 - 2001
- [c10]John Peterson, Gregory D. Hager, Andrei Serjantov:
Composable robot controllers. CIRA 2001: 149-154 - [c9]John Peterson, Paul Hudak, Alastair Reid
FVision: A Declarative Language for Visual Tracking. PADL 2001: 304-321 - 2000
- [c8]John Peterson, Valery Trifonov, Andrei Serjantov:
Parallel Functional Reactive Programming. PADL 2000: 16-31
1990 – 1999
- 1999
- [j2]John Peterson:
Microsoft and Yale Conclude Agreement to License Technology for Haskell. ACM SIGPLAN Notices 34(4): 35-36 (1999) - [c7]John Peterson, Gregory D. Hager:
Monadic robotics. DSL 1999: 95-108 - [c6]John Peterson, Gregory D. Hager, Paul Hudak:
A Language for Declarative Robotic Programming. ICRA 1999: 1144-1151 - [c5]Alastair Reid, John Peterson, Gregory D. Hager, Paul Hudak:
Prototyping Real-Time Vision Systems: An Experiment in DSL Design. ICSE 1999: 484-493 - [c4]John Peterson, Paul Hudak, Conal Elliott:
Lambda in Motion: Controlling Robots with Haskell. PADL 1999: 91-105 - 1993
- [c3]John Peterson, Mark P. Jones:
Implementing Type Classes. PLDI 1993: 227-236 - 1992
- [j1]Paul Hudak, Simon L. Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph H. Fasel, María M. Guzmán, Kevin Hammond
Report on the Programming Language Haskell, A Non-strict, Purely Functional Language. ACM SIGPLAN Notices 27(5): 1- (1992)
1980 – 1989
- 1989
- [c2]John Peterson:
Untagged Data in Tagged Environments: Choosing Optimal Representations at Compile Time. FPCA 1989: 89-99
1970 – 1979
- 1975
- [c1]John Peterson, William G. Bulgren:
Studies in Markov models of computer systems. ACM Annual Conference 1975: 102-107
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-05-19 00:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: