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 25 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
    Conference paper
    Michael Wisdom, Peter Lee.
    An Efficient Implementation of a 2D DWT on FPGA.
    FPL 2007, International Conference on Field Programmable Logic and Applications, Amsterdam, The Netherlands, 27-29 August 2007 2007 (0) 2007
    Conference paper
    Catriona Kennedy, Georgios K. Theodoropoulos, Volker Sorge, Edward Ferrari, Peter Lee, Chris Skelcher.
    AIMSS: An Architecture for Data Driven Simulations in the Social Sciences.
    Computational Science - ICCS 2007, 7th International Conference Beijing, China, May 27-30, 2007, Proceedings, Part I 2007 (0) 2007
    Conference paper
    Michael DeRosa, Jason Campbell, Padmanabhan Pillai, Seth Copen Goldstein, Peter Lee, Todd C. Mowry.
    Distributed Watchpoints: Debugging Large Multi-Robot Systems.
    2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy 2007 (0) 2007
    Conference paper
    Peter Lee, Esther Costa, Stephanie McBader, Luca Clementel, Alvise Sartori.
    LogTOTEM: A Logarithmic Neural Processor and its Implementation on an FPGA Fabric.
    Proceedings of the International Joint Conference on Neural Networks, IJCNN 2007, Celebrating 20 years of neural networks, Orlando, Florida, USA, August 12-17, 2007 2007 (0) 2007
    Conference paper
    Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger.
    Model-Driven Construction of Certified Binaries.
    Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings 2007 (0) 2007
    Conference paper
    James Weston, Peter Lee.
    Cellular Automata Based Binary Arithmetic for use on Self Repairing, Fault Tolerant Hardware.
    Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007), August 5-8, 2007, University of Edinburgh, Scotland, United Kingdom 2007 (0) 2007
    Conference paper
    Catriona Kennedy, Georgios K. Theodoropoulos, Edward Ferrari, Peter Lee, Chris Skelcher.
    Towards an Automated Approach to Dynamic Interpretation of Simulations.
    First Asia International Conference on Modelling and Simulation (AMS 2007), 27-30 March 2007, Phuket, Thailand 2007 (0) 2007
    Conference paper
    Michael P. Ashley-Rollman, Seth Copen Goldstein, Peter Lee, Todd C. Mowry, Padmanabhan Pillai.
    Meld: A declarative approach to programming ensembles.
    2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA 2007 (0) 2007
    Conference paper
    Serban Nacu, Rebecca Critchley-Thorne, Peter Lee, Susan Holmes.
    Gene expression network analysis and applications to immunology.
    Bioinformatics 2007, Volume 23 (0) 2007
    Conference paper
    Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula.
    Enforcing resource bounds via static verification of dynamic checks.
    ACM Trans. Program. Lang. Syst. 2007, Volume 29 (0) 2007
    Journal article
    Yong Yan, Lijun Xu, Peter Lee.
    Mass Flow Measurement of Fine Particles in a Pneumatic Suspension Using Electrostatic Sensing and Neural Network Techniques.
    IEEE T. Instrumentation and Measurement 2006, Volume 55 (0) 2006
    Journal article
    Robert M. Carter, Yong Yan, Peter Lee.
    On-line Nonintrusive Measurement of Particle Size Distribution Through Digital Imaging.
    IEEE T. Instrumentation and Measurement 2006, Volume 55 (0) 2006
    Conference paper
    Michael DeRosa, Seth Copen Goldstein, Peter Lee, Jason Campbell, Padmanabhan Pillai.
    Scalable Shape Sculpting via Hole Motion: Motion Planning in Lattice-constrained Modular Robots.
    Proceedings of the 2006 IEEE International Conference on Robotics and Automation, ICRA 2006, May 15-19, 2006, Orlando, Florida, USA 2006 (0) 2006
    Conference paper
    Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha.
    High-Confidence Medical Device Software and Systems.
    IEEE Computer 2006, Volume 39 (0) 2006
    Conference paper
    Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula.
    JVer: A Java Verifier.
    Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings 2005 (0) 2005
    Show item 1 to 25 of 86  

    Your query returned 86 matches in the database.