Search results for "finality"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
57	Jan J. M. M. Rutten, Daniele Turi	Initial Algebra and Final Coalgebra Semantics for Concurrency.	REX School/Symposium	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.	INTERSPEECH	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.	IET Blockchain	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.	IEEE Access	2023	DBLP DOI BibTeX RDF
27	Francesco D'Amato, Luca Zanolini	A Simple Single Slot Finality Protocol For Ethereum.	CoRR	2023	DBLP DOI BibTeX RDF
27	Joachim Neu, Ertem Nusret Tas, David Tse	Accountable Safety Implies Finality.	CoRR	2023	DBLP DOI BibTeX RDF
27	Mario Larangeira, Maxim Jourenko	Maravedí: A Secure and Practical Protocol to Trade Risk for Instantaneous Finality.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
27	Joachim Neu, Ertem Nusret Tas, David Tse	Accountable Safety Implies Finality.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
27	Francesco D'Amato, Luca Zanolini	A Simple Single Slot Finality Protocol For Ethereum.	IACR Cryptol. ePrint Arch.	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.	BLOCKCHAIN	2023	DBLP DOI BibTeX RDF
27	Francesco D'Amato, Luca Zanolini	A Simple Single Slot Finality Protocol for Ethereum.	ESORICS Workshops (1)	2023	DBLP DOI BibTeX RDF
27	Mario Larangeira, Maxim Jourenko	Maravedí: A Secure and Practical Protocol to Trade Risk for Instantaneous Finality.	AFRICACRYPT	2023	DBLP DOI BibTeX RDF
27	Can Umut Ileri, Nikita Polyanskii	Dynamic Availability and Definite Finality in IOTA 2.0.	BlockSys	2023	DBLP DOI BibTeX RDF
27	Bennet Yee, Dawn Song, Patrick McCorry, Chris Buckland	Shades of Finality and Layer 2 Scaling.	CoRR	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.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
27	Daniel Kane 0001, Andreas Fackler, Adam Gagol, Damian Straszak	Highway: Efficient Consensus with Flexible Finality.	CoRR	2021	DBLP BibTeX RDF
27	Suryanarayana Sankagiri, Xuechao Wang, Sreeram Kannan, Pramod Viswanath	Blockchain CAP Theorem Allows User-Dependent Adaptivity and Finality.	Financial Cryptography (2)	2021	DBLP DOI BibTeX RDF
27	Yeda Pan, Bingfeng Pi, Jun Sun 0004	Plume: Fast Finality Blockchain without Single Failure Point.	ASSE	2021	DBLP DOI BibTeX RDF
27	Yahya Hassanzadeh-Nazarabadi, Sanaz Taheri Boshrooyeh	A Consensus Protocol With Deterministic Finality.	INFOCOM Workshops	2021	DBLP DOI BibTeX RDF
27	Emmanuelle Anceaume, Antonella Del Pozzo, Thibault Rieutord, Sara Tucci Piergiovanni	On Finality in Blockchains.	OPODIS	2021	DBLP DOI BibTeX RDF
27	Joachim Neu, Ertem Nusret Tas, David Tse	Ebb-and-Flow Protocols: A Resolution of the Availability-Finality Dilemma.	SP	2021	DBLP DOI BibTeX RDF
27	Alistair Stewart, Eleftherios Kokoris-Kogia	GRANDPA: a Byzantine Finality Gadget.	CoRR	2020	DBLP BibTeX RDF
27	Emmanuelle Anceaume, Antonella Del Pozzo, Thibault Rieutord, Sara Tucci Piergiovanni	On Finality in Blockchains.	CoRR	2020	DBLP BibTeX RDF
27	Joachim Neu, Ertem Nusret Tas, David Tse	Ebb-and-Flow Protocols: A Resolution of the Availability-Finality Dilemma.	CoRR	2020	DBLP BibTeX RDF
27	Suryanarayana Sankagiri, Xuechao Wang, Sreeram Kannan, Pramod Viswanath	The Checkpointed Longest Chain: User-dependent Adaptivity and Finality.	CoRR	2020	DBLP BibTeX RDF
27	Joachim Neu, Ertem Nusret Tas, David Tse	Ebb-and-Flow Protocols: A Resolution of the Availability-Finality Dilemma.	IACR Cryptol. ePrint Arch.	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.	SACMAT	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.	SCN	2020	DBLP DOI BibTeX RDF
27	Patrik Keller, Rainer Böhme	HotPoW: Finality from Proof-of-Work Quorums.	CoRR	2019	DBLP BibTeX RDF
27	Bernardo Magri, Christian Matt 0002, Jesper Buus Nielsen, Daniel Tschudi	Afgjort - A Semi-Synchronous Finality Layer for Blockchains.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
27	Alistair Stewart	Poster: GRANDPA Finality Gadget.	CCS	2019	DBLP DOI BibTeX RDF
27	Ratul Antik Das, Md. Muhaimin Shah Pahalovi, Muhammad Nur Yanhaona	Transaction Finality through Ledger Checkpoints.	ICPADS	2019	DBLP DOI BibTeX RDF
27	David S. Oderberg	Finality revived: powers and intentionality.	Synth.	2017	DBLP DOI BibTeX RDF
27	Vitalik Buterin, Virgil Griffith	Casper the Friendly Finality Gadget.	CoRR	2017	DBLP BibTeX RDF
27	Jurriaan Rot	Coalgebraic Minimization of Automata by Initiality and Finality.	MFPS	2016	DBLP DOI BibTeX RDF
27	Gordon D. Plotkin	Partial Recursive Functions and Finality.	Computation, Logic, Games, and Quantum Foundations	2013	DBLP DOI BibTeX RDF
27	Elisabete Freire, Luís Monteiro	Defining Behaviours by Quasi-finality.	SBMF	2009	DBLP DOI BibTeX RDF
27	Giovanna D'Agostino, Albert Visser	Finality regained: A coalgebraic study of Scott-sets and multisets.	Arch. Math. Log.	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.	EUROSPEECH	1999	DBLP DOI BibTeX RDF
27	Marc Swerts, René Collier, Jacques M. B. Terken	Prosodic predictors of discourse finality in spontaneous monologues.	Speech Communication	1994	DBLP DOI BibTeX RDF
20	Bart Jacobs 0001, Ana Sokolova	Traces, Executions and Schedulers, Coalgebraically.	CALCO	2009	DBLP DOI BibTeX RDF
20	Andrei Popescu 0001	Weak Bisimilarity Coalgebraically.	CALCO	2009	DBLP DOI BibTeX RDF
20	Ian Rogers, Jisheng Zhao, Chris C. Kirkham, Ian Watson	Constraint based optimization of stationary fields.	PPPJ	2008	DBLP DOI BibTeX RDF
20	Bart Jacobs 0001	A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages.	Essays Dedicated to Joseph A. Goguen	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.	ETFA	2006	DBLP DOI BibTeX RDF
20	Khalifa Djemal	Speckle reduction in ultrasound images by minimization of total variation.	ICIP (3)	2005	DBLP DOI BibTeX RDF
20	Ichiro Hasuo, Bart Jacobs 0001	Context-Free Languages via Coalgebraic Trace Semantics.	CALCO	2005	DBLP DOI BibTeX RDF
20	Gilles Vaucher	A Complex-Valued Spiking Machine.	ICANN	2003	DBLP DOI BibTeX RDF
20	Parthasarathi Banerjee, Krishna K. Bhardwaj	Constructivist Management of Knowledge, Communication and Enterprise Innovation: Lessons from Indian Experience.	AI Soc.	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?	Appl. Categorical Struct.	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.	ICALP	1999	DBLP DOI BibTeX RDF
20	Jana Klecková	Storing Prosody Attributes of Spontaneous Speech.	TSD	1999	DBLP DOI BibTeX RDF
20	Marina Lenisa	Final Semantics for a Higher Order Concurrent Language.	CAAP	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.	REX Workshop	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.	MFCS	1991	DBLP DOI BibTeX RDF
20	R. D. Gordon, Maurice H. Halstead	An experiment comparing Fortran programming times with the software physics hypothesis.	AFIPS National Computer Conference	1976	DBLP DOI BibTeX RDF