| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Neda Saeedloei, Gopal Gupta |
Coinductive Constraint Logic Programming.  |
FLOPS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak |
Infinite Computation, Co-induction and Computational Logic. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Neda Saeedloei, Gopal Gupta |
Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R). |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Neda Saeedloei, Gopal Gupta |
Timed Definite Clause Omega-Grammars. |
ICLP (Technical Communications) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ajay Bansal, Srividya Kona, M. Brian Blake, Gopal Gupta |
Weaving Functional and Non-Functional Attributes for Dynamic Web Service Composition. |
SEKE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ajay Bansal, Neda Saeedloei, Gopal Gupta |
Timed Planning. |
FLAIRS Conference |
2010 |
DBLP BibTeX RDF |
|
| 1 | Adnan Saeed, Miad Faezipour, Mehrdad Nourani, Subhash Banerjee, Gil Lee, Gopal Gupta, Lakshman Tamil |
A Scalable Wireless Body Area Network for Bio-Telemetry. |
JIPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Srividya Kona, Ajay Bansal, Luke Simon, Ajay Mallya, Gopal Gupta, Thomas D. Hite |
USDL: A Service-Semantics Description Language for Automatic Service Discovery and Composition. |
Int. J. Web Service Res. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Hai-Feng Guo, Gopal Gupta |
Dynamic reordering of alternatives for definite logic programs. |
Computer Languages, Systems & Structures |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian W. DeVries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, Meera Sridhar |
ActionScript bytecode verification with co-logic programming. |
PLAS |
2009 |
DBLP DOI BibTeX RDF |
ActionScript, coinductive logic programming, in-lined reference monitoring, model checking, verification |
| 1 | Richard Min, Ajay Bansal, Gopal Gupta |
Towards Predicate Answer Set Programming via Coinductive Logic Programming. |
AIAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Min, Gopal Gupta |
Coinductive Logic Programming and its Application to Boolean SAT. |
FLAIRS Conference |
2009 |
DBLP BibTeX RDF |
|
| 1 | Richard Min, Gopal Gupta |
Coinductive Logic Programming with Negation. |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai-Feng Guo, Gopal Gupta |
Simplifying dynamic programming via mode-directed tabling. |
Softw., Pract. Exper. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ajay Bansal, Srividya Kona, M. Brian Blake, Gopal Gupta |
An Agent-Based Approach for Composition of Semantic Web Services. |
WETICE |
2008 |
DBLP DOI BibTeX RDF |
Service-Oriented Architecture, Agents, Semantic Web Services, Web Service Composition |
| 1 | Srividya Kona, Ajay Bansal, M. Brian Blake, Gopal Gupta |
Towards a General Framework for Web Service Composition. |
IEEE SCC |
2008 |
DBLP DOI BibTeX RDF |
Web Services, Composition, Service-Oriented Computing |
| 1 | Srividya Kona, Ajay Bansal, M. Brian Blake, Gopal Gupta |
Generalized Semantics-Based Service Composition. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Siddharth Chitnis, Madhu Yennamani, Gopal Gupta |
ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta |
PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters. |
TPLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta |
Co-Logic Programming: Extending Logic Programming with Coinduction. |
ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya |
Coinductive Logic Programming and Its Applications. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Aanchal Jain, Gopal Gupta |
VoxBoox: A System for Automatic Generation of Interactive Talking Books. |
HCI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepa Gopal, Q. Wang, Gopal Gupta, Sachin V. Chitnis, Hai-Feng Guo, Arthur I. Karshmer |
Winsight: Towards Completely Automatic Backtranslation of Nemeth Code. |
HCI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Srividya Kona, Ajay Bansal, Gopal Gupta, Thomas D. Hite |
Semantics-basedWeb Service Composition engine. |
CEC/EEE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Srividya Kona, Ajay Bansal, Gopal Gupta |
Automatic Composition of SemanticWeb Services. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta |
Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms. |
J. Parallel Distrib. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta |
PALS: Efficient Or-Parallelism on Beowulf Clusters |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta |
Coinductive Logic Programming. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Srividya Kona, Ajay Bansal, Gopal Gupta, Thomas D. Hite |
Web Service Discovery and Composition using USDL. |
CEC/EEE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Aanchal Jain, Gopal Gupta |
VoxBoox: : a system for automatic generation of interactive talking books. |
ASSETS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Qian Wang, Gopal Gupta |
Provably Correct Code Generation: A Case Study. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Qian Wang, Gopal Gupta, Michael Leuschel |
Towards Provably Correct Code Generation via Horn Logical Continuation Semantics. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bailing Zhang, Yuan Miao, Gopal Gupta |
k-Nearest Neighbors Associative Memory Model for Face Recognition. |
Australian Conference on Artificial Intelligence |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurizio Gabbrielli, Gopal Gupta (eds.) |
Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings |
ICLP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Qian Wang, Gopal Gupta |
Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approach. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
horn logical semantics, semantics, domain specific languages, interpreter |
| 1 | Bailing Zhang, Gopal Gupta |
Kernel Auto-associator from Kernel Principal Component Autoregression with Application to Face Recognition. |
CIMCA/IAWTIC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu |
Optimization with mode-directed preferences. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
preference logic programming, tabled prolog, mode |
| 1 | Gopal Gupta |
Software Engineering Track Chair's Message. |
ICDCIT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luke Simon, Ajay Mallya, Gopal Gupta |
Design and Implementation of AT: A Real-Time Action Description Language. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ajay Bansal, Kunal Patel, Gopal Gupta, B. Raghavachari, E. D. Harris, James C. Staves |
Towards Intelligent Services: A Case Study in Chemical Emergency Response. |
ICWS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta, Thomas D. Hite |
A Universal Service Description Language. |
ICWS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai-Feng Guo, Gopal Gupta |
An Efficient and Flexible Engine for Computing Fixed Points |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Hai-Feng Guo, Gopal Gupta |
Simplifying Dynamic Programming via Tabling. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Narayan Annamalai, Gopal Gupta, B. Prabhakaran |
Accessing Documents via Audio: An Extensible Transcoder for HTML to VoiceXML Conversion. |
ICCHP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hemambaradara Reddy, Narayan Annamalai, Gopal Gupta |
Listener-Controlled Dynamic Navigation of VoiceXML Documents. |
ICCHP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Archambault, Donal Fitzpatrick, Gopal Gupta, Arthur I. Karshmer, Klaus Miesenberger, Enrico Pontelli |
Towards a Universal Maths Conversion Library. |
ICCHP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramakrishnan Venkitaraman, Gopal Gupta |
Static program analysis of embedded executable assembly code. |
CASES |
2004 |
DBLP DOI BibTeX RDF |
embedded software components, executable code, static analysis, abstract interpretation, assembly code |
| 1 | Ramakrishnan Venkitaraman, Gopal Gupta |
Framework for Safe Reuse of Software Binaries. |
ICDCIT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur I. Karshmer, Gopal Gupta, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stöger, B. Palmer, Hai-Feng Guo |
UMA: a system for universal mathematics accessibility. |
ASSETS |
2004 |
DBLP DOI BibTeX RDF |
math accessibility, visually impaired |
| 1 | Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta |
A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms. |
Euro-Par |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai-Feng Guo, Gopal Gupta |
A New Mode Declaration for Tabled Predicates. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta |
An Agent-based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology. |
DALT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kunal Patel, Gopal Gupta |
Semantic Processing of the Semantic Web. |
International Semantic Web Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Qian Wang, Gopal Gupta |
Continuation Semantics as Horn Clauses. |
LOPSTR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Harary, Gopal Gupta |
A constraint logic programming approach for generating all perfect matchings. |
Appl. Math. Lett. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli, Douglas J. Gillan, Gopal Gupta, Arthur I. Karshmer, Emad Saad, W. Xiong |
Intelligent non-visual navigation of complex HTML structures. |
Universal Access in the Information Society |
2002 |
DBLP DOI BibTeX RDF |
Non-visual Web, Domain-specific languages, Universal accessibility |
| 1 | Gopal Gupta, Hai-Feng Guo, Arthur I. Karshmer, Enrico Pontelli, Juan Raymundo Iglesias, Desh Ranjan, Brook Milligan, Nayana Datta, Omar El-Khatib, Mohammed Noamany, Xinhong Zhou |
Semantics-Based Filtering: Logic Programming's Killer App? |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta |
F-LOG: A Domain Specific Language for Solving Phylogenetic Inference Problems. |
CSB |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopal Gupta, Deepa Gopal |
Towards a Logic Programming Based Environment for Automatic Generation of Translators. |
WLPE |
2002 |
DBLP BibTeX RDF |
|
| 1 | Arthur I. Karshmer, Gopal Gupta, Douglas J. Gillan |
Architecting an Auditory Browser for Navigating Mathematical Expressions. |
ICCHP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopal Gupta, Enrico Pontelli |
Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach. |
Computational Logic: Logic Programming and Beyond |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli, Douglas J. Gillan, W. Xiong, Emad Saad, Gopal Gupta, Arthur I. Karshmer |
Navigation of HTML tables, frames, and XML fragments. |
ASSETS |
2002 |
DBLP DOI BibTeX RDF |
XML, HTML, Web Accessibility, visually impaired users |
| 1 | Gopal Gupta, Enrico Pontelli |
Optimization schemas for parallel implementation of non-deterministic languages and systems. |
Softw., Pract. Exper. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli, Gopal Gupta |
Backtracking in Independent And-Parallel Implementations of Logic Programming Languages. |
IEEE Trans. Parallel Distrib. Syst. |
2001 |
DBLP DOI BibTeX RDF |
logic programming, Backtracking, and-parallelism |
| 1 | Gopal Gupta, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo |
Parallel execution of prolog programs: a survey. |
ACM Trans. Program. Lang. Syst. |
2001 |
DBLP DOI BibTeX RDF |
parallelism, logic programming, prolog, constraint programming, Automatic parallelization |
| 1 | Juan Raymundo Iglesias, Gopal Gupta, Enrico Pontelli, Desh Ranjan, Brook Milligan |
Interoperability between Bioinformatics Tools: A Logic Programming Approach. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta |
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai-Feng Guo, Gopal Gupta |
A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Karen Villaverde, Hai-Feng Guo, Enrico Pontelli, Gopal Gupta |
Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems. (PDF / PS) |
ICPP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur I. Karshmer, Gopal Gupta, Klaus Miesenberger, Enrico Pontelli, Hai-Feng Guo |
The development of a tool to enhance communications between blind and sighted mathematicians, students and teachers: a global translation appliance. |
HCI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Desh Ranjan, Enrico Pontelli, Gopal Gupta |
Data structures for order-sensitive predicates in parallel nondeterministic systems. |
Acta Inf. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Desh Ranjan, Enrico Pontelli, Gopal Gupta, Luc Longpré |
The Temporal Precedence Problem. |
Algorithmica |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopal Gupta, Shameem F. Akhter |
Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli, W. Xiong, Gopal Gupta, Arthur I. Karshmer |
A domain specific language framework for non-visual browsing of complex HTML structures. |
ASSETS |
2000 |
DBLP DOI BibTeX RDF |
domain specific languages, HTML, HTML, Web browsers |
| 1 | Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk |
Preface. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli, Gopal Gupta |
Extended Dynamic Dependent And-Parallelism in ACE. |
Journal of Functional and Logic Programming |
1999 |
DBLP BibTeX RDF |
|
| 1 | Enrico Pontelli, Desh Ranjan, Gopal Gupta |
Complexity Analysis of Late Binding in Dynamic Object-Oriented Languages |
Journal of Functional and Logic Programming |
1999 |
DBLP BibTeX RDF |
|
| 1 | Desh Ranjan, Enrico Pontelli, Gopal Gupta |
On the Complexity of Or-Parallelism. |
New Generation Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopal Gupta, Enrico Pontelli |
Stack-splitting: Or-/And-parallelism on Distributed Memory Machines. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Gopal Gupta, Enrico Pontelli |
Efficient Techniques for Distributed Implementation of Search-Based AI Systems. (PDF / PS) |
ICPP |
1999 |
DBLP DOI BibTeX RDF |
Distributed Implementation, Or-parallelism, Parallel Search |
| 1 | Arthur I. Karshmer, Enrico Pontelli, Gopal Gupta |
Software technology and computer interfaces for the disabled: non-visual WWW browsing. |
HCI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Desh Ranjan, Enrico Pontelli, Gopal Gupta |
Efficient Algorithms for the Temporal Precedence Problem. |
Inf. Process. Lett. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopal Gupta (eds.) |
Practical Aspects of Declarative Languages, First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings |
PADL |
1998 |
DBLP BibTeX RDF |
|
| 1 | Gopal Gupta |
Horn Logic Denotations. |
IJCSLP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell |
Natural Language Multiprocessing: A Case Study. |
Implementation Technology for Programming Languages based on Logic |
1998 |
DBLP BibTeX RDF |
|
| 1 | Enrico Pontelli, Gopal Gupta |
Efficient Backtracking in And-Parallel Implementations of Non-deterministic Languages. (PDF / PS) |
ICPP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopal Gupta, Enrico Pontelli, Amado Lara-Rodríguez, Roberto Felix-Cardenas |
Automatic Generation of Provably Correct Parallelizing Compilers. (PDF / PS) |
ICPP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli, Desh Ranjan, Gopal Gupta |
The Complexity of Late-Binding in Dynamic Object-Oriented Languages. |
PLILP/ALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell |
Natural Language Multiprocessing: A Case Study. |
AAAI/IAAI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Arthur I. Karshmer, Gopal Gupta, S. Geiiger, C. Weaver |
Reading and Writing Mathematics: the MAVIS Project. |
International ACM Conference on Assistive Technologies |
1998 |
DBLP DOI BibTeX RDF |
Nemeth code, education, mathematics, LaTeX |
| 1 | Enrico Pontelli, Gopal Gupta |
Parallel Symbolic Computation in ACE. |
Ann. Math. Artif. Intell. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopal Gupta, Enrico Pontelli |
High Performance Parallel Logic Programming: The ACE Parallel Prolog System. |
APPIA-GULP-PRODE |
1997 |
DBLP BibTeX RDF |
|
| 1 | Gopal Gupta, Enrico Pontelli |
Extended dynamic dependent and-parallelism in ACE. |
PASCO |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Rick Vaupel, Enrico Pontelli, Gopal Gupta |
VACE: A Tool for Visualization of And-Or Parallel Execution. |
LPE |
1997 |
DBLP BibTeX RDF |
|
| 1 | Gopal Gupta, Enrico Pontelli |
Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems. (PDF / PS) |
IPPS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Rick Vaupel, Enrico Pontelli, Gopal Gupta |
Visualization of And/Or-Parallel Execution of Logic Programs. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Enrico Pontelli, Gopal Gupta, Francesco Pulvirenti, Alfredo Ferro |
Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Enrico Pontelli, Gopal Gupta |
Implementation Mechanisms for Dependent And-Parallelism. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Gopal Gupta, Enrico Pontelli |
A constraint-based approach for specification and verification of real-time systems. (PDF / PS) |
IEEE Real-Time Systems Symposium |
1997 |
DBLP DOI BibTeX RDF |
constraint based approach, real time systems specification, real time systems verification, general constraint logic programming, real time event ordering, grammar productions, Definite Clause Grammar, CLP program, DCG, timed push down automata, real-time systems, timed automata, constraint logic program, constraint automata |
| 1 | Enrico Pontelli, Gopal Gupta |
W-ACE: A Logic Language for Intelligent Internet Programming. (PDF / PS) |
ICTAI |
1997 |
DBLP DOI BibTeX RDF |
Internet Programming, World Wide Web, Logic Programming, Constraints |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")