Publications
Search

Publications :: Search

Show author

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

    Author information
    First name: Gerardo
    Last name: Schneider
    DBLP: 01/1333
    Rating: (not rated yet)
    Bookmark:

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

    Show item 1 to 84 of 84  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Pablo Picazo-Sanchez, Raúl Pardo, Gerardo Schneider.
    Secure Photo Sharing in Social Networks.
    ICT Systems Security and Privacy Protection - 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings 2017 (0) 2017
    Conference paper
    Thibaud Antignac, Mukelabai Mukelabai, Gerardo Schneider.
    Specification, design, and verification of an accountability-aware surveillance protocol.
    Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017 2017 (0) 2017
    Conference paper
    Thibaud Antignac, David Sands, Gerardo Schneider.
    Data Minimisation: A Language-Based Approach.
    ICT Systems Security and Privacy Protection - 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings 2017 (0) 2017
    Journal article
    John J. Camilleri, Normunds Gruzitis, Gerardo Schneider.
    Extracting Formal Models from Normative Texts.
    CoRR 2017, Volume 0 (0) 2017
    Journal article
    Raúl Pardo, Musard Balliu, Gerardo Schneider.
    Formalising privacy policies in social networks.
    J. Log. Algebr. Meth. Program. 2017, Volume 90 (0) 2017
    Conference paper
    John J. Camilleri, Mohammad Reza Haghshenas, Gerardo Schneider.
    A Web-Based Tool for Analysing Normative Documents in English.
    CoRR 2017, Volume 0 (0) 2017
    Journal article
    Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider.
    Verifying data- and control-oriented properties combining static and runtime verification: theory and tools.
    Formal Methods in System Design 2017, Volume 51 (0) 2017
    Conference paper
    John J. Camilleri, Gerardo Schneider.
    Modelling and analysis of normative documents.
    J. Log. Algebr. Meth. Program. 2017, Volume 91 (0) 2017
    Conference paper
    Bjørnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider.
    Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL.
    Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings 2017 (0) 2017
    Conference paper
    Raúl Pardo, César Sánchez, Gerardo Schneider.
    Timed Epistemic Knowledge Bases for Social Networks (Extended Version).
    CoRR 2017, Volume 0 (0) 2017
    Journal article
    Raúl Pardo, Gerardo Schneider.
    Model Checking Social Network Models.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    John J. Camilleri, Normunds Gruzitis, Gerardo Schneider.
    Extracting Formal Models from Normative Texts.
    Natural Language Processing and Information Systems - 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedings 2016 (0) 2016
    Conference paper
    John J. Camilleri, Normunds Gruzitis, Gerardo Schneider.
    Extracting Formal Models from Normative Texts.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider.
    Contract automata - An operational view of contracts between interactive parties.
    Artif. Intell. Law 2016, Volume 24 (0) 2016
    Conference paper
    Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider.
    A Privacy-Aware Conceptual Model for Handling Personal Data.
    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I 2016 (0) 2016
    Conference paper
    Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider.
    StaRVOOrS - Episode II - Strengthen and Distribute the Force.
    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I 2016 (0) 2016
    Conference paper
    Gerardo Schneider.
    On the Specification and Enforcement of Privacy-Preserving Contractual Agreements.
    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II 2016 (0) 2016
    Conference paper
    Gordon J. Pace, Raúl Pardo, Gerardo Schneider.
    On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks.
    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II 2016 (0) 2016
    Conference paper
    Thibaud Antignac, David Sands, Gerardo Schneider.
    Data Minimisation: a Language-Based Approach (Long Version).
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Raúl Pardo, Ivana Kellyerova Cesar Sanchez, Gerardo Schneider.
    Specification of Evolving Privacy Policies for Online Social Networks.
    23rd International Symposium on Temporal Representation and Reasoning, TIME 2016, Kongens Lyngby, Denmark, October 17-19, 2016 2016 (0) 2016
    Conference paper
    Raúl Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider.
    An Automata-Based Approach to Evolving Privacy Policies for Social Networks.
    Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Hamid Ebadi, David Sands, Gerardo Schneider.
    Differential Privacy: Now it's Getting Personal.
    Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015 2015 (0) 2015
    Journal article
    Gilles Barthe, Alberto Pardo, Gerardo Schneider.
    SEFM: software engineering and formal methods.
    Software and System Modeling 2015, Volume 14 (0) 2015
    Conference paper
    Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider.
    A Specification Language for Static and Runtime Verification of Data and Control Properties.
    FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings 2015 (0) 2015
    Conference paper
    Jesús Mauricio Chimento, Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider.
    StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java.
    Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings 2015 (0) 2015
    Conference paper
    Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider.
    Conditional Permissions in Contracts.
    Legal Knowledge and Information Systems - JURIX 2015: The Twenty-Eighth Annual Conference, Braga, Portual, December 10-11, 2015 2015 (0) 2015
    Journal article
    John J. Camilleri, Gabriele Paganelli, Gerardo Schneider.
    A CNL for Contract-Oriented Diagrams.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    John J. Camilleri, Gabriele Paganelli, Gerardo Schneider.
    A CNL for Contract-Oriented Diagrams.
    Controlled Natural Language - 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Raúl Pardo, Gerardo Schneider.
    A Formal Privacy Policy Framework for Social Networks.
    Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Gregorio Díaz, María-Emilia Cambronero, Enrique Martínez, Gerardo Schneider.
    Specification and Verification of NormativeTexts Using C-O Diagrams.
    IEEE Trans. Software Eng. 2014, Volume 40 (0) 2014
    Conference paper
    Robert Nagy, Gerardo Schneider, Aram Timofeitchik.
    Automatic Testing of Real-Time Graphics Systems.
    Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Pavel Rabetski, Gerardo Schneider.
    Migration of an On-Premise Application to the Cloud: Experience Report.
    Service-Oriented and Cloud Computing - Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen.
    Reachability analysis of complex planar hybrid systems.
    Sci. Comput. Program. 2012, Volume 78 (0) 2013
    Conference paper
    Krasimir Angelov, John J. Camilleri, Gerardo Schneider.
    A framework for conflict analysis of normative texts written in controlled natural language.
    J. Log. Algebr. Program. 2013, Volume 82 (0) 2013
    Conference paper
    Gerardo Schneider.
    Guest Editors' Foreword.
    J. Log. Algebr. Program. 2012, Volume 81 (0) 2012
    Journal article
    Eugene Asarin, Venkatesh Mysore, Amir Pnueli, Gerardo Schneider.
    Low dimensional hybrid systems - decidable, undecidable, don't know.
    Inf. Comput. 2012, Volume 211 (0) 2012
    Conference paper
    Christian Johansen, Gerardo Schneider.
    A dynamic deontic logic for complex contracts.
    J. Log. Algebr. Program. 2012, Volume 81 (0) 2012
    Conference paper
    Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider.
    A Unified Approach for Static and Runtime Verification: Framework and Applications.
    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I 2012 (0) 2012
    Journal article
    Gordon J. Pace, Gerardo Schneider.
    Guest Editors' Foreword.
    J. Log. Algebr. Program. 2011, Volume 80 (0) 2011
    Conference paper
    Gordon J. Pace, Gerardo Schneider.
    Guest Editors' Foreword.
    J. Log. Algebr. Program. 2011, Volume 80 (0) 2011
    Journal article
    Seyed M. Montazeri, Nivir K. S. Roy, Gerardo Schneider.
    From Contracts in Structured English to CL Specifications
    Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2011, Málaga, Spain, 22nd and 23rd September 2011. 2011, Volume 68 (0) 2011
    Journal article
    Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Gerardo Schneider.
    Timed Automata Semantics for Visual e-Contracts
    Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2011, Málaga, Spain, 22nd and 23rd September 2011. 2011, Volume 68 (0) 2011
    Conference paper
    Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen.
    Reachability Analysis of Non-linear Planar Autonomous Systems.
    Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers 2012 (0) 2011
    Conference paper
    Enrique Martinez Martinez, Gregorio Díaz, María-Emilia Cambronero, Gerardo Schneider.
    A Model for Visual Specification of E-contracts.
    2010 IEEE International Conference on Services Computing, SCC 2010, Miami, Florida, USA, July 5-10, 2010 2010 (0) 2010
    Conference paper
    Enrique Martínez, Gerardo Schneider.
    Automated Analysis of Conflicts in Software Product Lines.
    Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools) 2010 (0) 2010
    Conference paper
    Hallstein Asheim Hansen, Gerardo Schneider.
    Reachability analysis of GSPDIs: theory, optimization, and implementation.
    Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010 2010 (0) 2010
    Conference paper
    Stephen Fenech, Gordon J. Pace, Gerardo Schneider.
    CLAN: A Tool for Contract Analysis and Conflict Discovery.
    Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Christian Colombo, Gordon J. Pace, Gerardo Schneider.
    Safe Runtime Verification of Real-Time Properties.
    Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Christian Johansen, Gerardo Schneider.
    Abstract specification of legal contracts.
    The 12th International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 8-12, 2009, Barcelona, Spain 2009 (0) 2009
    Conference paper
    Stephen Fenech, Gordon J. Pace, Gerardo Schneider.
    Automatic Conflict Detection on Contracts.
    Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Hallstein Asheim Hansen, Gerardo Schneider.
    GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems.
    Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Gordon J. Pace, Gerardo Schneider.
    Challenges in the Specification of Full Contracts.
    Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Christian Colombo, Gordon J. Pace, Gerardo Schneider.
    LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper).
    Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009 2009 (0) 2009
    Conference paper
    Christian Johansen, Gerardo Schneider.
    : An Action-Based Logic for Reasoning about Contracts.
    Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Olaf Owe, Gerardo Schneider.
    Wrap Your Objects Safely.
    Electr. Notes Theor. Comput. Sci. 2009, Volume 253 (0) 2009
    Conference paper
    Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider.
    On the Specification of Full Contracts.
    Electr. Notes Theor. Comput. Sci. 2009, Volume 253 (0) 2009
    Conference paper
    Olaf Owe, Gerardo Schneider.
    Guest Editors' Foreword.
    J. Log. Algebr. Program. 2009, Volume 78 (0) 2009
    Conference paper
    Einar Broch Johnsen, Olaf Owe, Gerardo Schneider.
    Guest Editors' Foreword.
    J. Log. Algebr. Program. 2009, Volume 78 (0) 2009
    Conference paper
    Olaf Owe, Gerardo Schneider.
    Formal languages and analysis of contract-oriented software.
    J. Log. Algebr. Program. 2009, Volume 78 (0) 2009
    Conference paper
    Marcel Kyas, Christian Johansen, Gerardo Schneider.
    Run-Time Monitoring of Electronic Contracts.
    Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Gordon J. Pace, Gerardo Schneider.
    Relaxing Goodness Is Still Good.
    Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Gerardo Schneider.
    Reachability analysis of generalized polygonal hybrid systems.
    Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008 2008 (0) 2008
    Conference paper
    Gordon J. Pace, Gerardo Schneider.
    Computation and Visualisation of Phase Portraits for Model Checking SPDIs.
    Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceed 2008 (0) 2008
    Conference paper
    Christian Colombo, Gordon J. Pace, Gerardo Schneider.
    Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties.
    Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers 2009 (0) 2008
    Conference paper
    Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine.
    Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools.
    Theor. Comput. Sci. 2008, Volume 390 (0) 2008
    Journal article
    Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider.
    Contract-Oriented Software Development for Internet Services.
    ERCIM News 2008, Volume 2008 (0) 2008
    Conference paper
    Gordon J. Pace, Christian Johansen, Gerardo Schneider.
    Model Checking Contracts - A Case Study.
    Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Christian Johansen, Gerardo Schneider.
    A Formal Language for Electronic Contracts.
    Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Olaf Owe, Gerardo Schneider, Martin Steffen.
    Components, objects, and contracts.
    Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, SAVCBS 2007, Dubrovnik, Croatia, September 3-4, 2007 2007 (0) 2007
    Conference paper
    Johs Hansen Hammer, Gerardo Schneider.
    On the Definition and Policies of Confidentiality.
    Proceedings of the Third International Symposium on Information Assurance and Security, IAS 2007, August 29-31, 2007, Manchester, United Kingdom 2007 (0) 2007
    Conference paper
    Eugene Asarin, Gerardo Schneider, Sergio Yovine.
    Algorithmic analysis of polygonal hybrid systems, part I: Reachability.
    Theor. Comput. Sci. 2007, Volume 379 (0) 2007
    Conference paper
    Gordon J. Pace, Gerardo Schneider.
    Static Analysis for State-Space Reduction of Polygonal Hybrid Systems.
    Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn.
    Language-based support for service oriented architectures: Future directions.
    ICSOFT 2006, First International Conference on Software and Data Technologies, Setúbal, Portugal, September 11-14, 2006 2006 (0) 2006
    Conference paper
    Gordon J. Pace, Gerardo Schneider.
    A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems.
    Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings 2006 (0) 2006
    Conference paper
    David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider.
    Certified Memory Usage Analysis.
    FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Gilles Barthe, Mariela Pavlova, Gerardo Schneider.
    Precise Analysis of Memory Consumption using Program Logics.
    Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Conference paper
    Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia.
    On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi.
    Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Gordon J. Pace, Gerardo Schneider.
    Model Checking Polygonal Differential Inclusions Using Invariance Kernels.
    Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Gerardo Schneider.
    Computing Invariance Kernels of Polygonal Hybrid Systems.
    Nord. J. Comput. 2004, Volume 11 (0) 2004
    Conference paper
    Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine.
    SPeeDI - A Verification Tool for Polygonal Hybrid Systems.
    Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Eugene Asarin, Gerardo Schneider.
    Widening the Boundary between Decidable and Undecidable Hybrid Systems.
    CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Eugene Asarin, Gerardo Schneider, Sergio Yovine.
    Towards Computing Phase Portraits of Polygonal Differential Inclusions.
    Hybrid Systems: Computation and Control, 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Eugene Asarin, Gerardo Schneider, Sergio Yovine.
    On the Decidability of the Reachability Problem for Planar Differential Inclusions.
    Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings 2001 (0) 2001
    Conference paper
    Gerardo Schneider, Qiwen Xu.
    Towards a Formal Semantics of Verilog Using Duration Calculus.
    Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings 1998 (0) 1998
    Show item 1 to 84 of 84  

    Your query returned 84 matches in the database.