|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 23 occurrences of 21 keywords
|
|
|
Results
Found 56 publication records. Showing 56 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
57 | 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 |
55 | Michelina Savino |
Non-finality and pre-finality in bari Italian intonation: a preliminary account. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERSPEECH ![In: EUROSPEECH 2001 Scandinavia, 7th European Conference on Speech Communication and Technology, 2nd INTERSPEECH Event, Aalborg, Denmark, September 3-7, 2001, pp. 943-946, 2001, ISCA. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Sergii Grybniak, Yevhen Leonchyk, Igor Mazurok, Oleksandr Nashyvan, Ruslan Shanin |
Waterfall: Gozalandia. Distributed protocol with fast finality and proven safety and liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Blockchain ![In: IET Blockchain 3(4), pp. 182-193, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Sasikumar Asaithambi, Logesh Ravi, Ketan Kotecha, Ajith Abraham, Malathi Devarajan, Subramaniyaswamy Vairavasundaram |
A Secure Big Data Storage Framework Based on Blockchain Consensus Mechanism With Flexible Finality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 56712-56725, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Francesco D'Amato, Luca Zanolini |
A Simple Single Slot Finality Protocol For Ethereum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.12745, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Joachim Neu, Ertem Nusret Tas, David Tse |
Accountable Safety Implies Finality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.16902, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Mario Larangeira, Maxim Jourenko |
Maravedí: A Secure and Practical Protocol to Trade Risk for Instantaneous Finality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 183, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
27 | Joachim Neu, Ertem Nusret Tas, David Tse |
Accountable Safety Implies Finality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1301, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
27 | Francesco D'Amato, Luca Zanolini |
A Simple Single Slot Finality Protocol For Ethereum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 280, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
27 | Sergii Grybniak, Yevhen Leonchyk, Igor Mazurok, Alisa Vorokhta, Oleksandr Nashyvan, Ruslan Shanin |
Probabilistic Optimization of Optimistic Finality for the Waterfall Consensus Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BLOCKCHAIN ![In: Blockchain and Applications, 5th International Congress, BLOCKCHAIN 2023, Guimaraes, Portugal, 12-14 July 2023., pp. 307-316, 2023, Springer, 978-3-031-45154-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Francesco D'Amato, Luca Zanolini |
A Simple Single Slot Finality Protocol for Ethereum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS Workshops (1) ![In: Computer Security. ESORICS 2023 International Workshops - CyberICS, DPM, CBT, and SECPRE, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part I, pp. 376-393, 2023, Springer, 978-3-031-54203-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Mario Larangeira, Maxim Jourenko |
Maravedí: A Secure and Practical Protocol to Trade Risk for Instantaneous Finality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFRICACRYPT ![In: Progress in Cryptology - AFRICACRYPT 2023 - 14th International Conference on Cryptology in Africa, Sousse, Tunisia, July 19-21, 2023, Proceedings, pp. 285-313, 2023, Springer, 978-3-031-37678-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Can Umut Ileri, Nikita Polyanskii |
Dynamic Availability and Definite Finality in IOTA 2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BlockSys ![In: Proceedings of the Fifth ACM International Workshop on Blockchain-enabled Networked Sensor Systems, BlockSys 2023, Istanbul, Turkiye, 12 November 2023, pp. 1, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Bennet Yee, Dawn Song, Patrick McCorry, Chris Buckland |
Shades of Finality and Layer 2 Scaling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.07920, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
27 | Simon Holmgaard Kamp, Jesper Buus Nielsen, Søren Eller Thomsen, Daniel Tschudi |
Enig: Player Replaceable Finality Layers with Optimal Validity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 201, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
27 | Daniel Kane 0001, Andreas Fackler, Adam Gagol, Damian Straszak |
Highway: Efficient Consensus with Flexible Finality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.02159, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
27 | Suryanarayana Sankagiri, Xuechao Wang, Sreeram Kannan, Pramod Viswanath |
Blockchain CAP Theorem Allows User-Dependent Adaptivity and Finality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Financial Cryptography (2) ![In: Financial Cryptography and Data Security - 25th International Conference, FC 2021, Virtual Event, March 1-5, 2021, Revised Selected Papers, Part II, pp. 84-103, 2021, Springer, 978-3-662-64330-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Yeda Pan, Bingfeng Pi, Jun Sun 0004 |
Plume: Fast Finality Blockchain without Single Failure Point. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASSE ![In: ASSE 2021: 2nd Asia Service Sciences and Software Engineering Conference, Macau, 24-26 February, 2021., pp. 18-27, 2021, ACM, 978-1-4503-8908-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Yahya Hassanzadeh-Nazarabadi, Sanaz Taheri Boshrooyeh |
A Consensus Protocol With Deterministic Finality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM Workshops ![In: 2021 IEEE Conference on Computer Communications Workshops, INFOCOM Workshops 2021, Vancouver, BC, Canada, May 10-13, 2021, pp. 1-2, 2021, IEEE, 978-1-6654-0443-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Emmanuelle Anceaume, Antonella Del Pozzo, Thibault Rieutord, Sara Tucci Piergiovanni |
On Finality in Blockchains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: 25th International Conference on Principles of Distributed Systems, OPODIS 2021, December 13-15, 2021, Strasbourg, France., pp. 6:1-6:19, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-219-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Joachim Neu, Ertem Nusret Tas, David Tse |
Ebb-and-Flow Protocols: A Resolution of the Availability-Finality Dilemma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP ![In: 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021, pp. 446-465, 2021, IEEE, 978-1-7281-8935-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Alistair Stewart, Eleftherios Kokoris-Kogia |
GRANDPA: a Byzantine Finality Gadget. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.01560, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
27 | Emmanuelle Anceaume, Antonella Del Pozzo, Thibault Rieutord, Sara Tucci Piergiovanni |
On Finality in Blockchains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.10172, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
27 | Joachim Neu, Ertem Nusret Tas, David Tse |
Ebb-and-Flow Protocols: A Resolution of the Availability-Finality Dilemma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.04987, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
27 | Suryanarayana Sankagiri, Xuechao Wang, Sreeram Kannan, Pramod Viswanath |
The Checkpointed Longest Chain: User-dependent Adaptivity and Finality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.13711, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
27 | Joachim Neu, Ertem Nusret Tas, David Tse |
Ebb-and-Flow Protocols: A Resolution of the Availability-Finality Dilemma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2020, pp. 1091, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
27 | Florian Jacob, Luca Becker, Jan Grashöfer, Hannes Hartenstein |
Matrix Decomposition: Analysis of an Access Control Approach on Transaction-based DAGs without Finality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: Proceedings of the 25th ACM Symposium on Access Control Models and Technologies, SACMAT 2020, Barcelona, Spain, June 10-12, 2020., pp. 81-92, 2020, ACM, 978-1-4503-7568-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Thomas Dinsdale-Young, Bernardo Magri, Christian Matt 0002, Jesper Buus Nielsen, Daniel Tschudi |
Afgjort: A Partially Synchronous Finality Layer for Blockchains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCN ![In: Security and Cryptography for Networks - 12th International Conference, SCN 2020, Amalfi, Italy, September 14-16, 2020, Proceedings, pp. 24-44, 2020, Springer, 978-3-030-57989-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Patrik Keller, Rainer Böhme |
HotPoW: Finality from Proof-of-Work Quorums. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.13531, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
27 | Bernardo Magri, Christian Matt 0002, Jesper Buus Nielsen, Daniel Tschudi |
Afgjort - A Semi-Synchronous Finality Layer for Blockchains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2019, pp. 504, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
27 | Alistair Stewart |
Poster: GRANDPA Finality Gadget. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019., pp. 2649-2651, 2019, ACM, 978-1-4503-6747-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Ratul Antik Das, Md. Muhaimin Shah Pahalovi, Muhammad Nur Yanhaona |
Transaction Finality through Ledger Checkpoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 25th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2019, Tianjin, China, December 4-6, 2019, pp. 183-192, 2019, IEEE, 978-1-7281-2583-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | David S. Oderberg |
Finality revived: powers and intentionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 194(7), pp. 2387-2425, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Vitalik Buterin, Virgil Griffith |
Casper the Friendly Finality Gadget. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1710.09437, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
27 | Jurriaan Rot |
Coalgebraic Minimization of Automata by Initiality and Finality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: The Thirty-second Conference on the Mathematical Foundations of Programming Semantics, MFPS 2016, Carnegie Mellon University, Pittsburgh, PA, USA, May 23-26, 2016, pp. 253-276, 2016, Elsevier. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Gordon D. Plotkin |
Partial Recursive Functions and Finality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computation, Logic, Games, and Quantum Foundations ![In: Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday, pp. 311-326, 2013, Springer, 978-3-642-38163-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Elisabete Freire, Luís Monteiro |
Defining Behaviours by Quasi-finality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers, pp. 290-305, 2009, Springer, 978-3-642-10451-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Giovanna D'Agostino, Albert Visser |
Finality regained: A coalgebraic study of Scott-sets and multisets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 41(3), pp. 267-298, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Natalia Smirnova |
Whole tunes, nuclear and pre-nuclear patterns and prosodic features in the perception of interrogativity and non-finality in dutch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSPEECH ![In: Sixth European Conference on Speech Communication and Technology, EUROSPEECH 1999, Budapest, Hungary, September 5-9, 1999, pp. 739-742, 1999, ISCA. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Marc Swerts, René Collier, Jacques M. B. Terken |
Prosodic predictors of discourse finality in spontaneous monologues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Speech Communication ![In: Speech Communication 15(1-2), pp. 79-90, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Bart Jacobs 0001, Ana Sokolova |
Traces, Executions and Schedulers, Coalgebraically. ![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. 206-220, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Andrei Popescu 0001 |
Weak Bisimilarity Coalgebraically. ![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. 157-172, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Ian Rogers, Jisheng Zhao, Chris C. Kirkham, Ian Watson |
Constraint based optimization of stationary fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, PPPJ 2008, Modena, Italy, September 9-11, 2008, pp. 95-104, 2008, ACM, 978-1-60558-223-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Bart Jacobs 0001 |
A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Essays Dedicated to Joseph A. Goguen ![In: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, pp. 375-404, 2006, Springer, 3-540-35462-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Lucas Francisco Wanner, Arliones Stevert Hoeller, Augusto Born de Oliveira, Antônio Augusto Fröhlich |
Operating System Support for Data Acquisition in Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2006, September 20-22, 2006, Diplomat Hotel Prague, Czech Republic, pp. 582-585, 2006, IEEE, 0-7803-9758-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Khalifa Djemal |
Speckle reduction in ultrasound images by minimization of total variation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (3) ![In: Proceedings of the 2005 International Conference on Image Processing, ICIP 2005, Genoa, Italy, September 11-14, 2005, pp. 357-360, 2005, IEEE, 0-7803-9134-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Ichiro Hasuo, Bart Jacobs 0001 |
Context-Free Languages via Coalgebraic Trace Semantics. ![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. 213-231, 2005, Springer, 3-540-28620-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Gilles Vaucher |
A Complex-Valued Spiking Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN ![In: Artificial Neural Networks and Neural Information Processing - ICANN/ICONIP 2003, Joint International Conference ICANN/ICONIP 2003, Istanbul, Turkey, June 26-29, 2003, Proceedings, pp. 967-976, 2003, Springer, 3-540-40408-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Parthasarathi Banerjee, Krishna K. Bhardwaj |
Constructivist Management of Knowledge, Communication and Enterprise Innovation: Lessons from Indian Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 16(1), pp. 49-72, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Constructivist management, Indian enterprise, Innovation, Instructional design, Communicative acts |
20 | Maria Manuel Clementino, Eraldo Giuli, Walter Tholen |
What is a Quotient Map with Respect to a Closure Operator? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(2), pp. 139-151, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
c-initial morphism, c-final morphism, c-quotient, Whitehead's Theorem, closure operator |
20 | 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 |
|
20 | Jana Klecková |
Storing Prosody Attributes of Spontaneous Speech. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TSD ![In: Text, Speech and Dialogue - Second International Workshop, TSD'99, Plzen, Czech Republic, September 1999, Proceedings, pp. 268-273, 1999, Springer, 3-540-66494-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
20 | Jan J. M. M. Rutten, Daniele Turi |
On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings, pp. 477-530, 1992, Springer, 3-540-56596-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
final semantics, non-well-founded sets, non-standard set theory, (F-)bisimulation, ordered F-bisimulation, concurrency, partial orders, metric spaces, fixed point, category, coalgebra, functor, domain equation |
20 | Ugo Montanari, Vladimiro Sassone |
CCS Dynamic Bisimulation is Progressing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings, pp. 346-356, 1991, Springer, 3-540-54345-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
20 | R. D. Gordon, Maurice H. Halstead |
An experiment comparing Fortran programming times with the software physics hypothesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1976 National Computer Conference, 7-10 June 1976, New York, NY, USA, pp. 935-937, 1976, AFIPS Press, 978-1-4503-7917-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #56 of 56 (100 per page; Change: )
|
|