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 86 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
    Conference paper
    Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula.
    Enforcing Resource Bounds via Static Verification of Dynamic Checks.
    Programming Languages and Systems, 14th European Symposium on Programming,ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Purvi Saraiya, Peter Lee, Chris North.
    Visualization of Graphs with Associated Timeseries Data.
    IEEE Symposium on Information Visualization (InfoVis 2005), 23-25 October 2005, Minneapolis, MN, USA 2005 (0) 2005
    Conference paper
    Peter Lee.
    An evaluation of a hybrid-logarithmic number system DCT/IDCT algorithm [image compression applications].
    International Symposium on Circuits and Systems (ISCAS 2005), 23-26 May 2005, Kobe, Japan 2005 (0) 2005
    Conference paper
    Burak Aksak, Preethi Srinivas Bhat, Jason Campbell, Michael DeRosa, Stanislav Funiak, Phillip B. Gibbons, Seth Copen Goldstein, Carlos Guestrin, Ashish Gupta, Casey Helfrich, James F. Hoburg, Brian T. Kirby, James J. Kuffner, Peter Lee, Todd C. Mowry, Padmanabhan Pillai, Ram Ravichandran, Benjamin D. Rister, Srinivasan Seshan, Metin Sitti, Haifeng Yu.
    Claytronics: highly scalable communications, sensing, and actuation networks.
    Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, SenSys 2005, San Diego, California, USA, November 2-4, 2005 2005 (0) 2005
    Conference paper
    Kamal Zuhairi Zamli, Peter Lee.
    Modeling and Enacting Software Processes Using VRPML.
    10th Asia-Pacific Software Engineering Conference (APSEC 2003), 10-12 December 2003, Chiang Mai, Thailand 2003 (0) 2003
    Conference paper
    Stavros Paschalakis, Peter Lee, Miroslaw Bober.
    An FPGA System for the High Speed Extraction, Normalization and Classification of Moment Descriptors.
    Field Programmable Logic and Application, 13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Stephanie McBader, Peter Lee.
    An FPGA Implementation of a Flexible, Parallel Image Processing Architecture Suitable for Embedded Vision Systems.
    17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings 2003 (0) 2003
    Conference paper
    Peter Lee.
    What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code.
    Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Christopher Colby, Karl Crary, Robert Harper, Peter Lee, Frank Pfenning.
    Automated techniques for provably safe mobile code.
    Theor. Comput. Sci. 2003, Volume 290 (0) 2003
    Conference paper
    Andrew Bernard, Peter Lee.
    Temporal Logic for Proof-Carrying Code.
    Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Stephanie McBader, Luca Clementel, Alvise Sartori, Andrea Boni, Peter Lee.
    SoftTOTEM: An FPGA Implementation of the TOTEM Parallel Processor.
    Field-Programmable Logic and Applications, Reconfigurable Computing Is Going Mainstream, 12th International Conference, FPL 2002, Montpellier, France, September 2-4, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Kamal Zuhairi Zamli, Peter Lee.
    Exploiting a Virtual Environment in a Visual PML.
    Product Focused Software Process Improvement, 4th International Conference, PROFES 2002, Rovaniemi, Finland, December 9-11, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Kamal Zuhairi Zamli, Peter Lee.
    Taxonomy of Process Modeling Languages.
    2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 26-29 June 2001, Beirut, Lebanon 2001 (0) 2001
    Conference paper
    Edoardo Biagioni, Robert Harper, Peter Lee.
    A Network Protocol Stack in Standard ML.
    Higher-Order and Symbolic Computation 2001, Volume 14 (0) 2001
    Conference paper
    George C. Necula, Peter Lee.
    Proof Generation in the Touchstone Theorem Prover.
    Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Christopher Colby, Peter Lee, George C. Necula.
    A Proof-Carrying Code Architecture for Java.
    Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Stavros Paschalakis, Peter Lee.
    Combined Geometric Transformation and Illumination Invariant Object Recognition in RGB Color Images.
    ICPR 2000 (0) 2000
    Conference paper
    Peter Lee.
    Production-Quality Proof-Carrying Code.
    Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings 2000 (0) 2000
    Conference paper
    Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline.
    A certifying compiler for Java.
    PLDI 2000 (0) 2000
    Conference paper
    Stavros Paschalakis, Peter Lee.
    Statistical Pattern Recognition Using the Normalized Complex Moment Components Vector.
    Advances in Pattern Recognition, Joint IAPR International Workshops SSPR 2000 and SPR 2000, [8th International Workshop on Structural and Syntactic Pattern Recognition, 3rd International Workshop on Statistical Techniques in Pattern Recognition], Alicante 2000 (0) 2000
    Conference paper
    Ali Zakerolhosseini, Peter Lee, Ed Horne.
    An FPFA Based Object Recognition Machine.
    Field-Programmable Logic and Applications, From FPGAs to Computing Paradigm, 8th International Workshop, FPL'98, Tallinn, Estonia, August 31 - September 3, 1998, Proceedings 1998 (0) 1998
    Conference paper
    George C. Necula, Peter Lee.
    Efficient Representation and Validation of Proofs.
    LICS 1998 (0) 1998
    Conference paper
    George C. Necula, Peter Lee.
    Safe, Untrusted Agents Using Proof-Carrying Code.
    Mobile Agents and Security 1998 (0) 1998
    Conference paper
    Perry Cheng, Robert Harper, Peter Lee.
    Generational Stack Collection and Profile-Driven Pretenuring.
    PLDI 1998 (0) 1998
    Conference paper
    George C. Necula, Peter Lee.
    The Design and Implementation of a Certifying Compiler.
    PLDI 1998 (0) 1998
    Conference paper
    George C. Necula, Peter Lee.
    The design and implementation of a certifying compiler (with retrospective)
    20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection 2004 (0) 1998
    Conference paper
    Philip Wickline, Peter Lee, Frank Pfenning.
    Run-time Code Generation and Modal-ML.
    PLDI 1998 (0) 1998
    Conference paper
    Peter Lee.
    Certifying, Optimizing Compilation (Abstract).
    Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings 1998 (0) 1998
    Conference paper
    Andrew Bernard, Robert Harper, Peter Lee.
    How Generic is a Generic Black End? Using MLRISC as a Black End for the TIL Compiler.
    Types in Compilation, Second International Workshop, TIC '98, Kyoto, Japan, March 25-27, 1998, Proceedings 1998 (0) 1998
    Conference paper
    Mark Leone, Peter Lee.
    Dynamic Specialization in the Fabius System.
    ACM Comput. Surv. 1998, Volume 30 (0) 1998
    Conference paper
    Philip Wickline, Peter Lee, Frank Pfenning, Rowan Davies.
    Modal Types as Staging Specifications for Run-Time Code Generation.
    ACM Comput. Surv. 1998, Volume 30 (0) 1998
    Conference paper
    Edoardo Biagioni, Kenneth Cline, Peter Lee, Chris Okasaki, Christopher A. Stone.
    Safe-for-Space Threads in Standard ML.
    Higher-Order and Symbolic Computation 1998, Volume 11 (0) 1998
    Conference paper
    Peter Lee.
    SIGPLAN Supports Your Professional Activities.
    SIGPLAN Notices 1998, Volume 33 (0) 1998
    Conference paper
    George C. Necula, Peter Lee.
    Research on Proof-Carrying Code for Untrusted-Code Security.
    1997 IEEE Symposium on Security and Privacy, May 4-7, 1997, Oakland, CA, USA 1997 (0) 1997
    Conference paper
    Peter Lee.
    Implementing Threads in Standard ML.
    Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial Text 1996 (0) 1996
    Conference paper
    George C. Necula, Peter Lee.
    Safe Kernel Extensions Without Run-Time Checking.
    OSDI 1996 (0) 1996
    Conference paper
    Peter Lee, Mark Leone.
    Optimizing ML with Run-Time Code Generation.
    PLDI 1996 (0) 1996
    Conference paper
    Peter Lee, Mark Leone.
    Optimizing ML with run-time code generation (with retrospective)
    20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection 2004 (0) 1996
    Conference paper
    David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee.
    TIL: A Type-Directed Optimizing Compiler for ML.
    PLDI 1996 (0) 1996
    Conference paper
    David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee.
    TIL: a type-directed, optimizing compiler for ML (with retrospective)
    20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection 2004 (0) 1996
    Conference paper
    Christopher Colby, Peter Lee.
    Trace-Based Program Analysis.
    POPL 1996 (0) 1996
    Conference paper
    Robert Harper, Peter Lee.
    Research in Programming Languages for Composability, Safety, and Performance.
    ACM Comput. Surv. 1996, Volume 28 (0) 1996
    Conference paper
    Pieter H. Hartel, Marc Feeley, Martin Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp, John H. G. van Groningen, Kevin Hammond, Bogumil Hausman, Melody Y. Ivory, Richard E. Jones, Jasper Kamperman, Peter Lee, Xavier Leroy, Rafael Dueire Lins, Sandra Loosemore, Niklas Röjemo, Manuel Serrano, Jean-Pierre Talpin, Jon Thackray, Stephen Thomas, Pum Walters, Pierre Weis, Peter Wentworth.
    Benchmarking Implementations of Functional Languages with `Pseudoknot', a Float-Intensive Benchmark.
    J. Funct. Program. 1996, Volume 6 (0) 1996
    Conference paper
    Peter Lee.
    An FPGA Prototype for a Multiplierless FIR Filter Built Using the Logarithmic Number System.
    Field-Programmable Logic and Applications, 5th International Workshop, FPL '95, Oxford, UK, August 29 - September 1, 1995, Proceedings 1995 (0) 1995
    Conference paper
    Roberto Battiti, Peter Lee, Alvise Sartori, Giampietro Tecchiolli.
    Special-purpose parallel architectures for high-performance machine learning.
    High-Performance Computing and Networking, International Conference and Exhibition, HPCN Europe 1995, Milan, Italy, May 3-5, 1995, Proceedings 1995 (0) 1995
    Conference paper
    Edoardo Biagioni, Robert Harper, Peter Lee, Brian Milnes.
    Signatures for a Network Protocol Stack: A Systems Application of Standard ML.
    LISP and Functional Programming 1994 (0) 1994
    Conference paper
    Mark Leone, Peter Lee.
    Lightweight Run-Time Code Generation.
    PEPM 1994 (0) 1994
    Conference paper
    Chris Okasaki, Peter Lee, David Tarditi.
    Call-by-Need and Continuation-Passing Style.
    Lisp and Symbolic Computation 1994, Volume 7 (0) 1994
    Conference paper
    David S. Touretzky, Peter Lee.
    Visualizing Evaluation in Applicative Languages.
    Commun. ACM 1992, Volume 35 (0) 1992
    Conference paper
    David Tarditi, Peter Lee, Anurag Acharya.
    No Assembly Required: Compiling Standard ML to C.
    LOPLAS 1992, Volume 1 (0) 1992
    Conference paper
    Philip Koopman, Peter Lee, Daniel P. Siewiorek.
    Cache Behavior of Combinator Graph Reduction.
    ACM Trans. Program. Lang. Syst. 1992, Volume 14 (0) 1992
    Conference paper
    Christopher Colby, Peter Lee.
    An Implementation of Parametrized Partial Evaluation.
    JTASPEFT/WSA 1991 (0) 1991
    Conference paper
    Frank Pfenning, Peter Lee.
    Metacircularity in the Polymorphic lambda-Calculus.
    Theor. Comput. Sci. 1991, Volume 89 (0) 1991
    Conference paper
    Philip Koopman, Peter Lee, Daniel P. Siewiorek.
    Cache Performance of Combinator Graph Reduction.
    1990 Internation Conference on Computer Languages, March 12-15 1990, New Orleans, Louisiana, USA 1990 (0) 1990
    Conference paper
    Philip Koopman, Peter Lee.
    A Fresh Look at Combinator Graph Reduction.
    PLDI 1989 (0) 1989
    Conference paper
    Frank Pfenning, Peter Lee.
    LEAP: A Language with Eval And Polymorphism.
    TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Is 1989 (0) 1989
    Conference paper
    Uwe F. Pleban, Peter Lee.
    An Automatically Generated, Realistic Compiler for an Imperative Programming Language.
    PLDI 1988 (0) 1988
    Conference paper
    Peter Lee, Frank Pfenning, Gene Rollins, William L. Scherlis.
    The Ergo Support System: An Integrated Set of Tools for Prototyping Integrated Environments.
    Software Development Environments (SDE) 1988 (0) 1988
    Conference paper
    Uwe F. Pleban, Peter Lee.
    High-Level Semantics: An Integrated Approach to Programming Language Semantics and the Specification of Implementations.
    Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings 1988 (0) 1987
    Conference paper
    Peter Lee, Uwe F. Pleban.
    A Realistic Compiler Generator Based on High-Level Semantics.
    POPL 1987 (0) 1987
    Conference paper
    Peter Lee, Uwe F. Pleban.
    On the Use of LISP in Implementing Denotational Semantics.
    LISP and Functional Programming 1986 (0) 1986
    Show item 1 to 86 of 86  

    Your query returned 86 matches in the database.