Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
108 | Dexter Kozen, Nicholas Ruozzi |
Applications of Metric Coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings, pp. 327-341, 2007, Springer, 978-3-540-73857-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
91 | Dorel Lucanu, Grigore Rosu |
Circular Coinduction with Special Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, pp. 639-659, 2009, Springer, 978-3-642-10372-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
91 | Daniel Hausmann 0001, Till Mossakowski, Lutz Schröder |
Iterative Circular Coinduction for CoCasl in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 341-356, 2005, Springer, 3-540-25420-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
82 | Marina Lenisa |
Final Semantics for a Higher Order Concurrent Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: Trees in Algebra and Programming - CAAP'96, 21st International Colloquium, Linköping, Sweden, April, 22-24, 1996, Proceedings, pp. 102-118, 1996, Springer, 3-540-61064-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
second order assignment, F-coalgebra, F-bisimulation, final semantics, hyperset, complete metric space, mixed induction-coinduction, operational semantics, coinduction |
81 | Davide Sangiorgi |
Origins of bisimulation and coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Topics in Bisimulation and Coinduction ![In: Advanced Topics in Bisimulation and Coinduction., pp. 1-37, 2012, Cambridge University Press, 978-1-10-700497-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
74 | Grigore Rosu, Dorel Lucanu |
Circular Coinduction: A Proof Theoretical Foundation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 127-144, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
63 | Davide Sangiorgi |
On the origins of bisimulation and coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 31(4), pp. 15:1-15:41, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
greatest fixed points, Bisimulation, history, fixed points, coinduction |
63 | Jan Komenda, Jan H. van Schuppen |
Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 15(3), pp. 257-315, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
bisimulation, supervisory control, coalgebra, coinduction, partial observations |
58 | Andrew M. Pitts |
Howe's method for higher-order languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Topics in Bisimulation and Coinduction ![In: Advanced Topics in Bisimulation and Coinduction., pp. 197-232, 2012, Cambridge University Press, 978-1-10-700497-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
58 | Damien Pous, Davide Sangiorgi |
Enhancements of the bisimulation proof method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Topics in Bisimulation and Coinduction ![In: Advanced Topics in Bisimulation and Coinduction., pp. 233-289, 2012, Cambridge University Press, 978-1-10-700497-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
58 | Bart Jacobs 0001, Jan Rutten |
An introduction to (co)algebra and (co)induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Topics in Bisimulation and Coinduction ![In: Advanced Topics in Bisimulation and Coinduction., pp. 38-99, 2012, Cambridge University Press, 978-1-10-700497-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
58 | Colin Stirling |
Bisimulation and logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Topics in Bisimulation and Coinduction ![In: Advanced Topics in Bisimulation and Coinduction., pp. 173-196, 2012, Cambridge University Press, 978-1-10-700497-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
58 | Luca Aceto, Anna Ingólfsdóttir, Jirí Srba |
The algorithmics of bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Topics in Bisimulation and Coinduction ![In: Advanced Topics in Bisimulation and Coinduction., pp. 100-172, 2012, Cambridge University Press, 978-1-10-700497-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
58 | Prakash Panangaden |
Probabilistic bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Topics in Bisimulation and Coinduction ![In: Advanced Topics in Bisimulation and Coinduction., pp. 290-323, 2012, Cambridge University Press, 978-1-10-700497-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
58 | Michele Boreale, Fabio Gadducci |
Denotational Testing Semantics in Coinductive Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2003, 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings, pp. 279-289, 2003, Springer, 3-540-40671-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
testing equivalence, process calculi, coinduction, formal power series |
58 | Sorin Craciunescu |
Proving the Equivalence of CLP Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings, pp. 287-301, 2002, Springer, 3-540-43930-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
CLP(forall), logic programming, constraint, induction, proof system, reactive program, coinduction, CLP, Program equivalence |
51 | Gopal Gupta 0001, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya |
Coinductive Logic Programming and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings, pp. 27-44, 2007, Springer, 978-3-540-74608-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
46 | Ulrich Berger 0001, Tie Hou |
Coinduction for Exact Real Number Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 43(3-4), pp. 394-409, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Exact real number computation, Corecursion, Signed digit streams, Coinduction |
45 | Marina Lenisa |
From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: Coalgebraic Methods in Computer Science, CMCS 1999, Amsterdam, The Netherlands, March 20-21, 1999, pp. 2-22, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
41 | Ralf Hinze |
Functional pearl: streams and unique fixed points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008, pp. 189-200, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
finite calculus, unique fixed points, streams, generating functions, recurrences, coinduction |
41 | Sabine Glesner, Jan Olaf Blech |
Coalgebraic Semantics for Component Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Architecting Systems with Trustworthy Components ![In: Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, pp. 245-261, 2004, Springer, 3-540-35800-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
verification, semantics, Components, Isabelle/HOL, coinduction, component interaction |
40 | Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu |
CIRC: A Behavioral Verification Tool Based on Circular Coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 433-442, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
A Coinduction Rule for Entailment of Recursively Defined Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings, pp. 493-508, 2008, Springer, 978-3-540-85957-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Clemens Grabmayer |
Using Proofs by Coinduction to Find "Traditional" Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings, pp. 175-193, 2005, Springer, 3-540-28620-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Koushik Sen, Grigore Rosu, Gul Agha |
Generating Optimal Linear Temporal Logic Monitors by Coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings, pp. 260-275, 2003, Springer, 3-540-20632-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
40 | Jan J. M. M. Rutten |
Automata, Power Series, and Coinduction: Taking Input Derivatives Seriously. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings, pp. 645-654, 1999, Springer, 3-540-66224-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
40 | Jan J. M. M. Rutten |
Automata and Coinduction (An Exercise in Coalgebra). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings, pp. 194-218, 1998, Springer, 3-540-64896-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
34 | Ralf Hinze |
Exploiting Unique Fixed Points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings, pp. 1, 2008, Springer, 978-3-540-70593-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | César Sánchez 0001, Henny B. Sipma, Matteo Slanina, Zohar Manna |
Final Semantics for Event-Pattern Reactive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings, pp. 364-378, 2005, Springer, 3-540-28620-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Michele Basaldella, Kazushige Terui |
Infinitary Completeness in Ludics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom, pp. 294-303, 2010, IEEE Computer Society, 978-0-7695-4114-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
ludics, completeness, linear logic, recursive types, coinduction |
24 | Franco Barbanera, Ugo de'Liguoro |
Two notions of sub-behaviour for session-based client/server systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 155-164, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
behavioural semantics, client/server interaction, semantics of subtyping, sub-behaviour, coinduction, session types |
24 | Ulrich Berger 0001 |
From Coinductive Proofs to Exact Real Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings, pp. 132-146, 2009, Springer, 978-3-642-04026-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
program extraction, exact real number computation, Proof theory, coinduction |
24 | Milad Niqui |
Coalgebraic Reasoning in Coq: Bisimulation and the lambda-Coiteration Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers, pp. 272-288, 2008, Springer, 978-3-642-02443-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Coiteration, Bisimulation, Coalgebra, Coq, Coinduction |
24 | Jan J. M. M. Rutten, Daniele Turi |
Initial Algebra and Final Coalgebra Semantics for Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX School/Symposium ![In: A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings, pp. 530-582, 1993, Springer, 3-540-58043-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
bisimulation, Algebra, algebra, induction, initiality, labelled transition system, congruence, coalgebra, coinduction, finality |
22 | Harrison Grodin, Robert Harper 0001 |
Amortized Analysis via Coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.16048, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Harrison Grodin, Robert Harper 0001 |
Amortized Analysis via Coinduction (Early Ideas). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA, pp. 23:1-23:6, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-287-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Davide Sangiorgi |
From enhanced coinduction towards enhanced induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(POPL), pp. 1-29, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Lykourgos Mastorou, Nikolaos Papaspyrou, Niki Vazou |
Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022, pp. 1-12, 2022, ACM, 978-1-4503-9438-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva 0001 |
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.08286, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
22 | Jean-Marie Madiot, Damien Pous, Davide Sangiorgi |
Modular coinduction up-to for higher-order languages via first-order transition systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 17(3), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Francesco Dagnino |
Foundations of regular coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 17(4), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva 0001 |
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference)., pp. 142:1-142:14, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-195-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Liron Cohen 0001 |
Non-well-founded Deduction for Induction and Coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 3-24, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Luca Ciccone, Francesco Dagnino, Elena Zucca |
Flexible Coinduction in Agda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: 12th International Conference on Interactive Theorem Proving, ITP 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)., pp. 13:1-13:19, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-188-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Francesco Dagnino |
Flexible Coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
22 | Francesco Dagnino |
Foundations of regular coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.02887, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Yannick Zakowski, Paul He, Chung-Kil Hur, Steve Zdancewic |
An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.02659, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | François Bry |
Coinduction Plain and Simple. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.09909, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Luca Ciccone |
Flexible Coinduction in Agda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.06047, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Jean-Marie Madiot, Damien Pous, Davide Sangiorgi |
Modular coinduction up-to for higher-order languages via first-order transition systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.07063, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Liron Cohen 0001, Reuben N. S. Rowe |
Integrating Induction and Coinduction via Closure Operators and Proof Cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR (1) ![In: Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I, pp. 375-394, 2020, Springer, 978-3-030-51073-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Yannick Zakowski, Paul He, Chung-Kil Hur, Steve Zdancewic |
An equational theory for weak bisimulation via generalized parameterized coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20-21, 2020., pp. 71-84, 2020, ACM, 978-1-4503-7097-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Moez A. AbdelGawad |
Induction, Coinduction, and Fixed Points in PL Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1903.05126, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
22 | Moez A. AbdelGawad |
Induction, Coinduction, and Fixed Points: Intuitions and Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1903.05127, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
22 | Moez A. AbdelGawad |
Mutual Coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1903.06514, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
22 | Damien Pous, Davide Sangiorgi |
Bisimulation and Coinduction Enhancements: A Historical Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 31(6), pp. 733-749, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Henning Basold, Ekaterina Komendantskaya, Yue Li 0021 |
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 783-813, 2019, Springer, 978-3-030-17183-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Lukasz Czajka 0001 |
First-Order Guarded Coinduction in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: 10th International Conference on Interactive Theorem Proving, ITP 2019, September 9-12, 2019, Portland, OR, USA., pp. 14:1-14:18, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-122-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Damien Pous |
Coinduction: Automata, Formal Proof, Companions (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 4:1-4:4, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Henning Basold |
Coinduction in Flow: The Later Modality in Fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 8:1-8:22, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Yue Li 0021 |
A proof-theoretic approach to coinduction in Horn clause logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
22 | Henning Basold, Ekaterina Komendantskaya, Yue Li 0021 |
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1811.07644, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
22 | Moez A. AbdelGawad |
Fixed Points, Induction, and Coinduction in Order Theory, Set Theory, (PL) Type Theory, Category Theory, and Logic: A Concise Summary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1812.10026, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
22 | Brandon M. Moore, Lucas Peña, Grigore Rosu |
Program Verification by Coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, pp. 589-618, 2018, Springer, 978-3-319-89883-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Francesco Dagnino |
Flexible Coinduction for Infinite Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 17-23, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
22 | Decheng Miao, Jianqing Xi |
Indexed Coinduction in a Fibrational Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA3PP (Workshops) ![In: Algorithms and Architectures for Parallel Processing - ICA3PP 2018 International Workshops, Guangzhou, China, November 15-17, 2018, Proceedings, pp. 10-16, 2018, Springer, 978-3-030-05233-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Dorel Lucanu |
Proving Reachability Properties by Coinduction (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 6-7, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Ulrich Berger 0001, Olga Petrovska |
Optimized Program Extraction for Induction and Coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 70-80, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Sólrún Halla Einarsdóttir, Moa Johansson, Johannes Åman Pohjola |
Into the Infinite - Theory Exploration for Coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings, pp. 70-86, 2018, Springer, 978-3-319-99956-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Dexter Kozen, Alexandra Silva 0001 |
Practical coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 27(7), pp. 1132-1152, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot |
A general account of coinduction up-to. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 54(2), pp. 127-190, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Shin-ya Katsumata, Damien Pous, Jan Rutten |
Enhanced coinduction (NII Shonan Meeting 2017-17). ![Search on Bibsonomy](Pics/bibsonomy.png) |
NII Shonan Meet. Rep. ![In: NII Shonan Meet. Rep. 2017, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
22 | David Sprunger, Lawrence S. Moss |
Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 23:1-23:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Rodolphe Lepigre, Christophe Raffalli |
Subtyping-Based Type-Checking for System F with Induction and Coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1604.01990, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
22 | Alberto Ciaffaglione |
Towards Turing computability via coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 126, pp. 31-51, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Jurriaan Rot, Marcello M. Bonsangue, Jan Rutten |
Proving language inclusion and equivalence by coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 246, pp. 62-76, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Andreas Abel 0001 |
Compositional Coinduction with Sized Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: Coalgebraic Methods in Computer Science - 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers, pp. 5-10, 2016, Springer, 978-3-319-40369-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Damien Pous |
Coinduction All the Way Up. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016, pp. 307-316, 2016, ACM, 978-1-4503-4391-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Filippo Bonchi, Damien Pous |
Hacking nondeterminism with induction and coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 58(2), pp. 87-95, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Wee Liang Gan, Liping Li |
Coinduction functor in representation stability theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Lond. Math. Soc. ![In: J. Lond. Math. Soc. 92(3), pp. 689-711, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Richard Bubel, Crystal Chang Din, Reiner Hähnle, Keiko Nakata 0001 |
A Dynamic Logic with Traces and Coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings, pp. 307-322, 2015, Springer, 978-3-319-24311-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Yuxin Deng, Yuan Feng 0001, Ugo Dal Lago |
On Coinduction and Quantum Lambda Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 427-440, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot |
Coinduction up to in a fibrational setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.6675, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
22 | Andreas Abel 0001, James Chapman 0001 |
Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2014, Grenoble, France, 12 April 2014., pp. 51-67, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Theofrastos Mantadelis, Ricardo Rocha 0001, Paulo Moura |
Tabling, Rational Terms, and Coinduction Finally Together! ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1405.2794, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
22 | Theofrastos Mantadelis, Ricardo Rocha 0001, Paulo Moura |
Tabling, Rational Terms, and Coinduction Finally Together! ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 14(4-5), pp. 429-443, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Jos C. M. Baeten, Davide Sangiorgi |
Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic ![In: Computational Logic, pp. 399-442, 2014, Elsevier, 978-0-444-51624-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot |
Coinduction up-to in a fibrational setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL-LICS ![In: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, pp. 20:1-20:9, 2014, ACM, 978-1-4503-2886-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Ichiro Hasuo, Keiko Nakata 0001, Tarmo Uustalu |
Coinduction for Computation Structures and Programming Languages (NII Shonan Meeting 2013-11). ![Search on Bibsonomy](Pics/bibsonomy.png) |
NII Shonan Meet. Rep. ![In: NII Shonan Meet. Rep. 2013, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
22 | Yoshihiko Kakutani, Daisuke Kimura |
Induction by Coinduction and Control Operators in Call-by-Name. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COS ![In: Proceedings First Workshop on Control Operators and their Semantics, COS 2013, Eindhoven, The Netherlands, June 24-25, 2013., pp. 101-112, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Neil Ghani, Patricia Johann, Clément Fumex |
Indexed Induction and Coinduction, Fibrationally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 9(3), 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Jörg Endrullis, Dimitri Hendriks, Martin Bodin |
Circular Coinduction in Coq Using Bisimulation-Up-To Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings, pp. 354-369, 2013, Springer, 978-3-642-39633-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Pierre Lescanne, Matthieu Perrinel |
"Backward" coinduction, Nash equilibrium and the rationality of escalation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 49(3), pp. 117-137, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Ronald de Haan |
Functional Logic Programming with Generalized Circular Coinduction ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1203.0835, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
22 | Davide Sangiorgi, Jan J. M. M. Rutten (eds.) |
Advanced Topics in Bisimulation and Coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
DBLP BibTeX RDF |
|
22 | Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond |
Decentralized control of product (max+)-automata using coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODES ![In: 11th International Workshop on Discrete Event Systems, WODES 2012, Guadalajara, Mexico, October 3-5, 2012., pp. 122-127, 2012, International Federation of Automatic Control, 978-3-902823-28-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Clément Fumex |
Induction and coinduction schemes in category theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
22 | Milad Niqui, Jan J. M. M. Rutten |
A proof of Moessner's theorem by coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 24(3), pp. 191-206, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Razvan Diaconescu |
Coinduction for preordered algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 209(2), pp. 108-117, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Keiko Nakata 0001, Tarmo Uustalu, Marc Bezem |
A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 353-368, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|