|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 136 occurrences of 108 keywords
|
|
|
|
|
Results
Found 996 publication records. Showing 996 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 127 | Takaaki Mizuki, Taro Otagiri, Hideaki Sone |
Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions.  |
TAMC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 109 | Seok-Bum Ko |
Area Minimization of Exclusive-OR Intensive Circuits in FPGAs. |
J. Electron. Test. |
2004 |
DBLP DOI BibTeX RDF |
FPGA, XOR, ESOP |
| 102 | Yibin Ye, Kaushik Roy 0001 |
A Graph-Based Synthesis Algorithm for AND/XOR Networks. |
DAC |
1997 |
DBLP DOI BibTeX RDF |
|
| 73 | Stergios Stergiou, Konstantinos Daskalakis, George K. Papakonstantinou |
A fast and efficient heuristic ESOP minimization algorithm. |
ACM Great Lakes Symposium on VLSI |
2004 |
DBLP DOI BibTeX RDF |
heuristic minimization, XOR, ESOP |
| 66 | Hafizur Rahaman 0001, Debesh K. Das, Bhargab B. Bhattacharya |
Easily Testable Realization of GRM and ESOP Networks for Detecting Stuck-at and Bridging Faults. |
VLSI Design |
2004 |
DBLP DOI BibTeX RDF |
|
| 66 | P. Zhongliang |
Testable Realizations for ESOP Expressions of Logic Functions. |
Asian Test Symposium |
2002 |
DBLP DOI BibTeX RDF |
|
| 61 | Ryoji Ishikawa, Tomonori Igarashi, Takashi Hirayama, Kensuke Shimizu |
Pseudocube-based expressions to enhance testability. |
APCCAS (2) |
2002 |
DBLP DOI BibTeX RDF |
|
| 60 | Robert Paige |
Symbolic Finite Differencing - Part I. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
| 52 | Yasaman Sanaee, Gerhard W. Dueck |
ESOP-Based Toffoli Network Generation with Transformations. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
Toffoli Gates, Logic Design, Reversible Logic, ESOP |
| 48 | Marios Kalathas, Dimitrios Voudouris, George K. Papakonstantinou |
A heuristic algorithm to minimize ESOPs for multiple-output incompletely specified functions. |
ACM Great Lakes Symposium on VLSI |
2006 |
DBLP DOI BibTeX RDF |
exact minimization, heuristic minimization, multiple-valued logic, incompletely specified functions, ESOP |
| 41 | Takaaki Mizuki, Hitoshi Tsubata, Takao Nishizeki |
Minimizing AND-EXOR Expressions for Multiple-Valued Two-Input Logic Functions. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 41 | Takashi Hirayama, Masatoshi Takahashi, Yasuaki Nishitani |
Simplification of Exclusive-or Sum-of-Products Expressions Through Function Transformation. |
APCCAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 41 | Pan Zhongliang |
Bridging Fault Detections for Testable Realizations of Logic Functions. |
VLSI Design |
2003 |
DBLP DOI BibTeX RDF |
|
| 41 | Ugur Kalay, Douglas V. Hall, Marek A. Perkowski |
A Minimal Universal Test Set for Self-Test of EXOR-Sum-of-Products Circuits. |
IEEE Trans. Computers |
2000 |
DBLP DOI BibTeX RDF |
AND-EXOR realizations, Reed-Muller expressions, single stuck-at fault model, easily testable combinational networks, self-testable circuits, Built-in Self-Test (BIST), test pattern generation, Design for Testing (DFT), Universal test set |
| 39 | Stephanie Weirich (eds.) |
Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I |
ESOP (1) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Stephanie Weirich (eds.) |
Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II |
ESOP (2) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Théo Laurent, Meven Lennon-Bertrand, Kenji Maillard |
Artifact Description - Definitional Functoriality for Dependent (Sub)Types. |
ESOP (1) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Loïc Pujet, Nicolas Tabareau |
Observational Equality Meets CIC. |
ESOP (1) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Théo Laurent, Meven Lennon-Bertrand, Kenji Maillard |
Definitional Functoriality for Dependent (Sub)Types. |
ESOP (1) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Luís Caires, Bernardo Toninho |
The Session Abstract Machine. |
ESOP (1) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Cyril Cohen, Enzo Crance, Assia Mahboubi |
Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence. |
ESOP (1) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni |
Monadic Intersection Types, Relationally. |
ESOP (1) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang |
Scoped Effects as Parameterized Algebraic Theories. |
ESOP (1) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Elaine Li, Felix Stutz, Thomas Wies |
Deciding Subtyping for Asynchronous Multiparty Sessions. |
ESOP (1) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Cyril Cohen, Enzo Crance, Assia Mahboubi |
Trocq: Proof Transfer for Free, With or Without Univalence. |
ESOP (1) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Liang-Ting Chen 0001, Hsiang-Shang Ko |
A Formal Treatment of Bidirectional Typing. |
ESOP (1) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Jason Z. S. Hu, Brigitte Pientka |
Layered Modal Type Theory - Where Meta-programming Meets Intensional Analysis. |
ESOP (1) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Thiago Felicissimo |
Generic bidirectional typing for dependent type theories. |
ESOP (1) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Jack Hughes 0002, Dominic Orchard |
Program Synthesis from Graded Types. |
ESOP (1) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Thiago Felicissimo |
Artifact report: Generic bidirectional typing for dependent type theories. |
ESOP (1) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini |
A Modular Soundness Theory for the Blackboard Analysis Architecture. |
ESOP (2) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Anders Ågren Thuné, Kazutaka Matsuda, Meng Wang 0002 |
Reconciling Partial and Local Invertibility. |
ESOP (2) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Léo Stefanesco, Azalea Raad, Viktor Vafeiadis |
Specifying and Verifying Persistent Libraries. |
ESOP (2) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Liye Guo, Cynthia Kop |
Higher-Order LCTRSs and Their Termination. |
ESOP (2) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Shachar Itzhaky, Sharon Shoham, Yakir Vizel |
Hyperproperty Verification as CHC Satisfiability. |
ESOP (2) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Daniel Lundén, Lars Hummelgren, Jan Kudlicka, Oscar Eriksson, David Broman |
Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages. |
ESOP (2) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix |
On the Hardness of Analyzing Quantum Programs Quantitatively. |
ESOP (2) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Hrutvik Kanabar, Kacper Korban, Magnus O. Myreen |
Verified Inlining and Specialisation for PureCake. |
ESOP (2) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Sumanth Prabhu 0001, Grigory Fedyukovich, Deepak D'Souza |
Maximal Quantified Precondition Synthesis for Linear Array Loops. |
ESOP (2) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Raphaël Monat, Aymeric Fromherz, Denis Merigoux |
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law. |
ESOP (2) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Azalea Raad, Ori Lahav 0001, John Wickerson, Piotr Balcer, Brijesh Dongol |
Intel PMDK Transactions: Specification, Validation and Concurrency. |
ESOP (2) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Pierre Lermusiaux, Benoît Montagu |
Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation. |
ESOP (2) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Hiroya Fujinami, Ichiro Hasuo |
Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping. |
ESOP (2) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Yotam Dvir, Ohad Kammar, Ori Lahav 0001 |
A Denotational Approach to Release/Acquire Concurrency. |
ESOP (2) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Azalea Raad, Ori Lahav 0001, John Wickerson, Piotr Balcer, Brijesh Dongol |
Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency. |
ESOP (2) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Andrea Colledan, Ugo Dal Lago |
Circuit Width Estimation via Effect Typing and Linear Dependency. |
ESOP (2) |
2024 |
DBLP DOI BibTeX RDF |
|
| 39 | Thomas Wies (eds.) |
Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 39 | Soline Ducousso, Sébastien Bardin, Marie-Laure Potet |
Adversarial Reachability for Program-level Security Analysis. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 39 | Daniel Lundén, Gizem Çaylak, Fredrik Ronquist, David Broman |
Automatic Alignment in Higher-Order Probabilistic Programming Languages. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 39 | june wunder, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi |
Bunched Fuzz: Sensitivity for Vector Metrics. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 39 | Su-Hyeon Kim, Youngwook Kim, Yo-Sub Han, Hyeonseung Im, Sang-Ki Ko |
Automated Grading of Regular Expressions. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 39 | Wenjia Ye, Bruno C. d. S. Oliveira |
Pragmatic Gradual Polymorphism with References. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 39 | Yuito Murase, Yuichi Nishiwaki, Atsushi Igarashi |
Contextual Modal Type Theory with Polymorphic Contexts. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 39 | Diogo Poças, Diana Costa 0001, Andreia Mordido, Vasco T. Vasconcelos |
System Fμ ømega with Context-free Session Types. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 39 | Flavio Ascari, Roberto Bruni, Roberta Gori |
Logics for Extensional, Locally Complete Analysis via Domain Refinements. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 39 | Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev |
Type-safe Quantum Programming in Idris. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 39 | Pedro Rocha, Luís Caires |
Safe Session-Based Concurrency with Shared Linear State. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 39 | Berk Çirisci, Constantin Enea, Suha Orhun Mutluergil |
Quorum Tree Abstractions of Consensus Protocols. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 39 | Basim Khajwal, C.-H. Luke Ong, Dominik Wagner |
Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 39 | Todd Schmid, Tobias Kappé, Alexandra Silva 0001 |
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 39 | Michael Schwarz 0007, Simmo Saan, Helmut Seidl, Julian Erhard, Vesal Vojdani |
Clustered Relational Thread-Modular Abstract Interpretation with Local Traces. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 39 | Alexander Knapp, Heribert Mühlberger, Bernhard Reus |
Interpreting Knowledge-based Programs. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 39 | Momoko Hattori, Naoki Kobayashi 0001, Ryosuke Sato 0001 |
Gradual Tensor Shape Checking. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 39 | Paulo Emílio de Vilhena, François Pottier |
A Type System for Effect Handlers and Dynamic Labels. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 39 | Guillaume Allais |
Builtin Types Viewed as Inductive Families. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 39 | Matthew Alan Le Brun, Ornela Dardha |
MAGπ: Types for Failure-Prone Communication. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 39 | Farzaneh Derakhshan, Myra Dotzel, Milijana Surbatovich, Limin Jia 0001 |
Modal Crash Types for Intermittent Computing. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 39 | Ilya Sergey (eds.) |
Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 39 | Geoffrey S. H. Cruttwell, Bruno Gavranovic, Neil Ghani, Paul W. Wilson 0002, Fabio Zanasi |
Categorical Foundations of Gradient-Based Learning. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 39 | Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning |
Polarized Subtyping. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 39 | Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers |
Structured Handling of Scoped Effects. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 39 | Daniel Lundén, Joey Öhman, Jan Kudlicka, Viktor Senderov, Fredrik Ronquist, David Broman |
Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 39 | Sung-Shik Jongmans, Petra van den Bos |
A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 39 | Daniel Marshall 0001, Michael Vollmer 0003, Dominic Orchard |
Linearity and Uniqueness: An Entente Cordiale. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 39 | Varsha P. Suresh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza, Sujit Kumar Chakrabarti |
Static Race Detection for Periodic Programs. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 39 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, S. Krishna 0004 |
Probabilistic Total Store Ordering. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 39 | Rob van Glabbeek |
Comparing the expressiveness of the π-calculus and CCS. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 39 | Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva 0001 |
Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 39 | Artem Khyzha, Ori Lahav 0001 |
Abstraction for Crash-Resilient Objects. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 39 | Thomas Bauereiss, Brian Campbell 0001, Thomas Sewell, Alasdair Armstrong, Lawrence Esswood, Ian Stark, Graeme Barnes, Robert N. M. Watson, Peter Sewell |
Verified Security for the Morello Capability-enhanced Prototype Arm Architecture. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 39 | Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav 0001, Azalea Raad, John Wickerson |
View-Based Owicki-Gries Reasoning for Persistent x86-TSO. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 39 | David Monniaux, Sylvain Boulmé |
The Trusted Computing Base of the CompCert Verified Compiler. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 39 | Cláudio Belo Lourenço, Jorge Sousa Pinto |
Why3-do: The Way of Harmonious Distributed System Proofs. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 39 | Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann |
Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 39 | Ulrich Berger 0001, Hideki Tsuiki |
Extracting total Amb programs from proofs. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 39 | Pritam Choudhury, Harley Eades III, Stephanie Weirich |
A Dependent Dependency Calculus. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 39 | Ben Simner, Alasdair Armstrong, Jean Pichon-Pharabod, Christopher Pulte, Richard Grisenthwaite, Peter Sewell |
Relaxed virtual memory in Armv8-A. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 39 | James Wood, Robert Atkey |
A Framework for Substructural Type Systems. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 39 | Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll 0001 |
Foundations for Entailment Checking in Quantitative Separation Logic. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 39 | Nobuko Yoshida (eds.) |
Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 39 | Alex C. Keizer, Henning Basold, Jorge A. Pérez 0001 |
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 39 | Wilmer Ricciotti, James Cheney |
Query Lifting - Language-integrated query for heterogeneous nested collections. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 39 | Carol Mak, C.-H. Luke Ong, Hugo Paquet, Dominik Wagner |
Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 39 | Lennart Beringer |
Verified Software Units. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 39 | Matthijs Vákár |
Reverse AD at Higher Types: Pure, Principled and Denotationally Correct. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 39 | Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham |
Run-time Complexity Bounds Using Squeezers. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 39 | Harrison Goldstein, John Hughes 0001, Leonidas Lampropoulos, Benjamin C. Pierce |
Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 39 | Daniel Lundén, Johannes Borgström, David Broman |
Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 39 | Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron |
An Automated Deductive Verification Framework for Circuit-building Quantum Programs. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 39 | Gian Pietro Farina, Stephen Chong, Marco Gaboardi |
Coupled Relational Symbolic Execution for Differential Privacy. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 996 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license