The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Germán Vidal" ( http://dblp.L3S.de/Authors/Germán_Vidal )

URL (Homepage):  http://www.dsic.upv.es/users/elp/gvidal.html  Author page on DBLP  Author page in RDF  Community of Germán Vidal in ASPL-2

Publication years (Num. hits)
1993-1998 (16) 1999-2001 (16) 2002-2004 (18) 2005-2007 (16) 2008-2010 (16) 2011-2015 (21) 2016-2018 (19) 2019 (5)
Publication types (Num. hits)
article(47) inproceedings(73) proceedings(7)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 24 occurrences of 17 keywords

Results
Found 128 publication records. Showing 127 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Bart Bogaerts 0001, Esra Erdem 0001, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, Germán Vidal, Alicia Villanueva, Marina De Vos, Fangkai Yang (eds.) Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019. Search on Bibsonomy ICLP Technical Communications The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Esra Erdem 0001, Andrea Formisano, Germán Vidal, Fangkai Yang Introduction to the 35th International Conference on Logic Programming Special Issue. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Esra Erdem 0001, Andrea Formisano, Germán Vidal, Fangkai Yang Introduction to the 35th International Conference on Logic Programming Special Issue. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Naoki Nishida 0001, Germán Vidal Characterizing Compatible View Updates in Syntactic Bidirectionalization. Search on Bibsonomy RC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ivan Lanese, Adrián Palacios, Germán Vidal Causal-Consistent Replay Debugging for Message Passing Programs. Search on Bibsonomy FORTE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ivan Lanese, Naoki Nishida 0001, Adrián Palacios, Germán Vidal A theory of reversibility for Erlang. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Naoki Nishida 0001, Adrián Palacios, Germán Vidal Reversible computation in term rewriting. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Temesghen Kahsai, Germán Vidal (eds.) Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2018, Oxford, UK, 13th July 2018. Search on Bibsonomy HCVS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ivan Lanese, Naoki Nishida 0001, Adrián Palacios, Germán Vidal A Theory of Reversibility for Erlang. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Germán Vidal Preface for SCP special issue on Principles and Practice of Declarative Programming. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Germán Vidal Introduction to the special issue on computational logic for verification. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Germán Vidal Specialization of Distributed Actors by Partial Evaluation. Search on Bibsonomy SMC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ivan Lanese, Naoki Nishida 0001, Adrián Palacios, Germán Vidal CauDEr: A Causal-Consistent Reversible Debugger for Erlang. Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Naoki Nishida 0001, Adrián Palacios, Germán Vidal Reversible Computation in Term Rewriting. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1José Iborra, Naoki Nishida 0001, Germán Vidal, Akihisa Yamada 0002 Relative Termination via Dependency Pairs. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fred Mesnard, Étienne Payet, Germán Vidal Selective unification in constraint logic programming. Search on Bibsonomy PPDP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ginés Moreno, Jaime Penabad, Germán Vidal Tuning Fuzzy Logic Programs with Symbolic Execution. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Fred Mesnard, Étienne Payet, Germán Vidal On the Completeness of Selective Unification in Concolic Testing of Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Naoki Nishida 0001, Adrián Palacios, Germán Vidal Towards Reversible Computation in Erlang. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1James Cheney, Germán Vidal (eds.) Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016 Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Naoki Nishida 0001, Adrián Palacios, Germán Vidal Reversible Term Rewriting. Search on Bibsonomy FSCD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fred Mesnard, Étienne Payet, Germán Vidal On the Completeness of Selective Unification in Concolic Testing of Logic Programs. Search on Bibsonomy LOPSTR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Naoki Nishida 0001, Adrián Palacios, Germán Vidal A Reversible Semantics for Erlang. Search on Bibsonomy LOPSTR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ginés Moreno, Jaime Penabad, José A. Riaza, Germán Vidal Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs. Search on Bibsonomy LOPSTR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Naoki Nishida 0001, Germán Vidal A framework for computing finite SLD trees. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fred Mesnard, Étienne Payet, Germán Vidal Concolic Testing in Logic Programming. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Germán Vidal Symbolic execution as a basis for termination analysis. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fred Mesnard, Étienne Payet, Germán Vidal Concolic testing in logic programming. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1José Iborra, Naoki Nishida 0001, Germán Vidal, Akihisa Yamada 0002 Reducing Relative Termination to Dependency Pair Problems. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Adrián Palacios, Germán Vidal Towards Modelling Actor-Based Concurrency in Term Rewriting. Search on Bibsonomy WPTE@RTA/TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Adrián Palacios, Germán Vidal Concolic Execution in Functional Programming by Program Instrumentation. Search on Bibsonomy LOPSTR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Naoki Nishida 0001, Germán Vidal Conversion to tail recursion in term rewriting. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Leuschel, Germán Vidal Fast offline partial evaluation of logic programs. Search on Bibsonomy Inf. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Germán Vidal Towards Symbolic Execution in Erlang. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Germán Vidal Concolic Execution and Test Case Generation in Prolog. Search on Bibsonomy LOPSTR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Germán Vidal Towards Erlang Verification by Term Rewriting. Search on Bibsonomy LOPSTR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Naoki Nishida 0001, Germán Vidal A Finite Representation of the Narrowing Space. Search on Bibsonomy LOPSTR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Matthias Blume, Germán Vidal Preface. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Germán Vidal Annotation of Logic Programs for Independent AND-Parallelism by Partial Evaluation Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Germán Vidal Annotation of logic programs for independent AND-parallelism by partial evaluation. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Germán Vidal Closed Symbolic Execution for Verifying Program Termination. Search on Bibsonomy SCAM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Germán Vidal (eds.) Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers Search on Bibsonomy LOPSTR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Naoki Nishida 0001, Germán Vidal Computing More Specific Versions of Conditional Rewriting Systems. Search on Bibsonomy LOPSTR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Julia L. Lawall, Germán Puebla, Germán Vidal Editorial. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Naoki Nishida 0001, Germán Vidal Program Inversion for Tail Recursive Functions. Search on Bibsonomy RTA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Naoki Nishida 0001, Germán Vidal Termination of narrowing via termination of rewriting. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Germán Vidal, Neng-Fa Zhou Proceedings of CICLOPS-WLPE 2010 Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Matthias Blume, Naoki Kobayashi 0001, Germán Vidal (eds.) Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Germán Vidal A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs. Search on Bibsonomy LOPSTR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Leuschel, Salvador Tamarit, Germán Vidal Improving Size-Change Analysis in Offline Partial Evaluation Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Germán Puebla, Germán Vidal (eds.) Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009 Search on Bibsonomy PEPM The full citation details ... 2009 DBLP  BibTeX  RDF
1Michael Leuschel, Salvador Tamarit, Germán Vidal Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation. Search on Bibsonomy WFLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Germán Vidal Towards Scalable Partial Evaluation of Declarative Programs. Search on Bibsonomy LOPSTR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1José Iborra, Naoki Nishida 0001, Germán Vidal Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing. Search on Bibsonomy LOPSTR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marisa Llorens, Javier Oliver 0001, Josep Silva, Salvador Tamarit, Germán Vidal Dynamic Slicing Techniques for Petri Nets. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Claudio Ochoa, Josep Silva, Germán Vidal Dynamic slicing of lazy functional programs based on redex trails. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Lazy functional programming, Redex trails, Debugging, Slicing
1Germán Vidal Trace Analysis for Predicting the Effectiveness of Partial Evaluation. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Germán Vidal Termination of Narrowing in Left-Linear Constructor Systems. Search on Bibsonomy FLOPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1María Alpuente, Germán Vidal (eds.) Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings Search on Bibsonomy SAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germán Vidal A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs. Search on Bibsonomy LOPSTR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michael Leuschel, Germán Vidal Fast Offline Partial Evaluation of Large Logic Programs. Search on Bibsonomy LOPSTR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Diego Cheda, Josep Silva, Germán Vidal Static Slicing of Rewrite Systems. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1J. Guadalupe Ramos, Josep Silva, Germán Vidal Ensuring the quasi-termination of needed narrowing computations. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Josep Silva, Germán Vidal Forward slicing of functional logic programs by partial evaluation. Search on Bibsonomy TPLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Germán Vidal Quasi-terminating logic programs for ensuring the termination of partial evaluation. Search on Bibsonomy PEPM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF quasi-termination, partial deduction
1Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal Lazy call-by-value evaluation. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF debugging techniques, laziness
1Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. Search on Bibsonomy LOPSTR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Josep Silva, Germán Vidal Forward slicing of functional logic programs by partial evaluation Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Jesús Manuel Almendros-Jiménez, Germán Vidal Automatic Partial Inversion of Inductively Sequential Functions. Search on Bibsonomy IFL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Claudio Ochoa, Josep Silva, Germán Vidal A Slicing Tool for Lazy Functional Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs. Search on Bibsonomy LOPSTR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver 0001, Germán Vidal Operational semantics for declarative multi-paradigm languages. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal Specialization of functional logic programs based on needed narrowing. Search on Bibsonomy TPLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Michael Leuschel, Germán Vidal Forward Slicing by Conjunctive Partial Deduction and Argument Filtering. Search on Bibsonomy ESOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1J. Guadalupe Ramos, Josep Silva, Germán Vidal Fast narrowing-driven partial evaluation for inductively sequential programs. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF offline partial evaluation, quasi-termination, narrowing
1J. Guadalupe Ramos, Josep Silva, Germán Vidal An offline partial evaluator for curry programs. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF offline partial evaluation, narrowing
1Claudio Ochoa, Josep Silva, Germán Vidal Lightweight program specialization via dynamic slicing. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF lazy functional logic programming, program specialization, dynamic slicing
1María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal Rules + strategies for transforming lazy functional logic programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal Specialization of Functional Logic Programs Based on Needed Narrowing Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Germán Vidal Cost-Augmented Partial Evaluation of Functional Logic Programs. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2004 DBLP  DOI  BibTeX  RDF partial evaluation, functional logic programming, computational costs
1Claudio Ochoa, Josep Silva, Germán Vidal Dynamic slicing based on redex trails. Search on Bibsonomy PEPM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF lazy functional logic programming, redex trails, slicing
1Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal A semantics for tracing declarative multi-paradigm programs. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF semantics, tracing, functional logic programming
1J. Guadalupe Ramos, Josep Silva, Germán Vidal An Embedded Language Approach to Router Specification in Curry. Search on Bibsonomy SOFSEM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Gustavo Arroyo, Claudio Ochoa, Josep Silva, Germán Vidal Towards CNC Programming Using Haskell. Search on Bibsonomy IBERAMIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal Run-Time Profiling of Functional Logic Programs. Search on Bibsonomy LOPSTR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Germán Vidal Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Michael Hanus, Germán Vidal A residualizing semantics for the partial evaluation of functional logic programs. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal Uniform Lazy Narrowing. Search on Bibsonomy J. Log. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Josep Silva, Germán Vidal Time Equations for Lazy Functional (Logic) Languages. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver 0001, Germán Vidal An Operational Semantics for Declarative Multi-Paradigm Languages. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver 0001, Germán Vidal Operational Semantics for Functional Logic Languages. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Michael Hanus, Germán Vidal A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages. Search on Bibsonomy Journal of Functional and Logic Programming The full citation details ... 2002 DBLP  BibTeX  RDF
1Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver 0001, Germán Vidal A Deterministic Operational Semantics for Functional Logic Programs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Germán Vidal Cost-augmented narrowing-driven specialization. Search on Bibsonomy PEPM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Germán Vidal Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation. Search on Bibsonomy LOPSTR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Germán Vidal The Narrowing-driven Approach to Functional Logic Program Specialization. Search on Bibsonomy New Generation Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Michael Hanus, Germán Vidal A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. Search on Bibsonomy FLOPS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Germán Vidal Symbolic Profiling for Multi-paradigm Declarative Languages. Search on Bibsonomy LOPSTR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Michael Hanus, Germán Vidal Using an Abstract Representation to Specialize Functional Logic Programs. Search on Bibsonomy LPAR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal Using PE to Automate Program Composition. Search on Bibsonomy WFLP The full citation details ... 2000 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 127 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license