Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Peter
    Last name: Lee
    DBLP: l/PeterLee
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 86  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Sara Dutta, Martin J. Bishop, Pras Pathmanathan, Peter Lee, Peter Kohl, T. Alexander Quinn, Blanca Rodríguez.
    Interpreting Optical Mapping Recordings in the Ischemic Heart: A Combined Experimental and Computational Investigation.
    Functional Imaging and Modeling of the Heart - 6th International Conference, FIMH 2011, New York City, NY, USA, May 25-27, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Michael DeRosa, Seth Copen Goldstein, Peter Lee, Jason Campbell, Padmanabhan Pillai.
    Detecting Locally Distributed Predicates.
    TAAS 2011, Volume 6 (0) 2011
    Conference paper
    Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay.
    Automatic numeric abstractions for heap-manipulating programs.
    Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010 2010 (0) 2010
    Journal article
    Seth Copen Goldstein, Todd C. Mowry, Jason Campbell, Michael P. Ashley-Rollman, Michael DeRosa, Stanislav Funiak, James F. Hoburg, Mustafa Emre Karagozler, Brian T. Kirby, Peter Lee, Padmanabhan Pillai, James Robert Reid, Daniel D. Stancil, Michael Philetus Weller.
    Beyond Audio and Video: Using Claytronics to Enable Pario.
    AI Magazine 2009, Volume 30 (0) 2009
    Conference paper
    Michael P. Ashley-Rollman, Peter Lee, Seth Copen Goldstein, Padmanabhan Pillai, Jason Campbell.
    A Language for Large Ensembles of Independently Executing Nodes.
    Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Michael DeRosa, Seth Copen Goldstein, Peter Lee, Padmanabhan Pillai, Jason Campbell.
    A tale of two planners: Modular robotic planning with LDP.
    2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA 2009 (0) 2009
    Conference paper
    Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay.
    THOR: A Tool for Reasoning about Shape and Arithmetic.
    Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings 2008 (0) 2008
    Conference paper
    Jean-Jacques Vandenbussche, Peter Lee, Joan Peuteman.
    Analysis of Time and Frequency Domain Performance of MFIR Filters.
    Proceedings of the 2008 International Conference on Embedded Systems Applications, USA 2008, July 14-17, 2008, Las Vegas, Nevada, USA 2008 (0) 2008
    Conference paper
    Michael DeRosa, Seth Copen Goldstein, Peter Lee, Padmanabhan Pillai, Jason Campbell.
    Programming modular robots with locally distributed predicates.
    2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA 2008 (0) 2008
    Conference paper
    Michael DeRosa, Seth Copen Goldstein, Peter Lee, Jason Campbell, Padmanabhan Pillai.
    Distributed Watchpoints: Debugging Large Modular Robot Systems.
    I. J. Robotic Res. 2008, Volume 27 (0) 2008
    Show item 1 to 10 of 86  

    Your query returned 86 matches in the database.