BibTeX Entries¶
Updated: 2025-11-15 05:49:51
Download BibTeX entries for all published ARTs to easily cite them in your LaTeX documents.
Download All Entries¶
You can download the complete BibTeX file or copy individual entries below.
All BibTeX Entries¶
@article{ art-2025-heterogeneous-broadcast-lean-4,
author = { Hart, Anthony },
title = { {Heterogeneous Broadcast in Lean 4} },
journal = { Anoma Research Topics },
month = { Nov },
year = { 2025 },
publisher = { Zenodo },
version = { November 14, 2025 },
doi = { 10.5281/zenodo.17611735 },
url = { https://doi.org/10.5281/zenodo.17611734 }
}
@article{ art-2025-optimising-shielded-state-synchronization,
author = { Larraia, Enrique and Khalniyazova, Yulia },
title = { {Optimising Shielded State Synchronization with FMD and TEEs} },
journal = { Anoma Research Topics },
month = { Apr },
year = { 2025 },
publisher = { Zenodo },
version = { April 10, 2025 },
doi = { 10.5281/zenodo.15186457 },
url = { https://doi.org/10.5281/zenodo.15186456 }
}
@article{ art-2025-dynamic-effective-timed-communication-systems,
author = { Heindel, Tobias and Prieto-Cubides, Jonathan and Hart, Anthony },
title = { {Dynamic Effective Timed Communication Systems} },
journal = { Anoma Research Topics },
month = { Mar },
year = { 2025 },
publisher = { Zenodo },
version = { March 06, 2025 },
doi = { 10.5281/zenodo.14984148 },
url = { https://doi.org/10.5281/zenodo.14984147 }
}
@article{ art-2024-nock-functional-programmers,
author = { Czajka, Lukasz },
title = { {Nock for Functional Programmers} },
journal = { Anoma Research Topics },
month = { Dec },
year = { 2024 },
publisher = { Zenodo },
version = { December 18, 2024 },
doi = { 10.5281/zenodo.14511714 },
url = { https://doi.org/10.5281/zenodo.14511713 }
}
@article{ art-2024-message-logic,
author = { Gabbay, Murdoch J. and Zarin, Naqib },
title = { {Message Logic} },
journal = { Anoma Research Topics },
month = { Dec },
year = { 2024 },
publisher = { Zenodo },
version = { December 04, 2024 },
doi = { 10.5281/zenodo.14251398 },
url = { https://doi.org/10.5281/zenodo.14251397 }
}
@article{ art-2024-anoma-state-architecture,
author = { Sheff, Isaac },
title = { {Anoma State Architecture} },
journal = { Anoma Research Topics },
month = { Dec },
year = { 2024 },
publisher = { Zenodo },
version = { December 04, 2024 },
doi = { 10.5281/zenodo.14265827 },
url = { https://doi.org/10.5281/zenodo.14265826 }
}
@article{ art-2024-heterogeneous-paxos-20-specs,
author = { Karbyshev, Aleksandr and Sheff, Isaac },
title = { {Heterogeneous Paxos 2.0: the Specs} },
journal = { Anoma Research Topics },
month = { Dec },
year = { 2024 },
publisher = { Zenodo },
version = { December 04, 2024 },
doi = { 10.5281/zenodo.14276903 },
url = { https://doi.org/10.5281/zenodo.12572557 }
}
@article{ art-2024-slow-games-policy-enforcement-under,
author = { Reusche, D and Goes, Christopher and Della Penna, Nicolas },
title = { {Slow Games: Policy Enforcement under Uncertainty} },
journal = { Anoma Research Topics },
month = { Sep },
year = { 2024 },
publisher = { Zenodo },
version = { September 15, 2024 },
doi = { 10.5281/zenodo.13765214 },
url = { https://doi.org/10.5281/zenodo.13765213 }
}
@article{ art-2024-compiling-juvix-cairo-assembly,
author = { Czajka, Łukasz },
title = { {Compiling Juvix to Cairo Assembly} },
journal = { Anoma Research Topics },
month = { Sep },
year = { 2024 },
publisher = { Zenodo },
version = { September 10, 2024 },
doi = { 10.5281/zenodo.13739344 },
url = { https://doi.org/10.5281/zenodo.13739343 }
}
@article{ art-2024-comparing-two-hash-functions,
author = { Yıldız, Burcu and Maller, Mary },
title = { {Comparing Two Hash Functions for Multi-Party Computation and Zero-Knowledge} },
journal = { Anoma Research Topics },
month = { Sep },
year = { 2024 },
publisher = { Zenodo },
version = { September 10, 2024 },
doi = { 10.5281/zenodo.13739511 },
url = { https://doi.org/10.5281/zenodo.13739510 }
}
@article{ art-2024-intentcentric-applications-anoma,
author = { Heuer, Michael and Reusche, D },
title = { {Intent-centric Applications for the Anoma Resource Machine} },
journal = { Anoma Research Topics },
month = { Aug },
year = { 2024 },
publisher = { Zenodo },
version = { August 26, 2024 },
doi = { 10.5281/zenodo.13340448 },
url = { https://doi.org/10.5281/zenodo.13340447 }
}
@article{ art-2024-heterogeneous-narwhal-paxos,
author = { Heindel, Tobias and Karbyshev, Aleksandr and Sheff, Isaac },
title = { {Heterogeneous Narwhal and Paxos} },
journal = { Anoma Research Topics },
month = { Jun },
year = { 2024 },
publisher = { Zenodo },
version = { June 27, 2024 },
doi = { 10.5281/zenodo.10498999 },
url = { https://doi.org/10.5281/zenodo.10498998 }
}
@article{ art-2024-crosschain-integrity-controller-labels,
author = { Isaac, Sheff },
title = { {Cross-Chain Integrity with Controller Labels and Endorsement} },
journal = { Anoma Research Topics },
month = { Jun },
year = { 2024 },
publisher = { Zenodo },
version = { June 25, 2024 },
doi = { 10.5281/zenodo.10498997 },
url = { https://doi.org/10.5281/zenodo.10498996 }
}
@article{ art-2024-anoma-resource-machine-specification,
author = { Khalniyazova, Yulia and Goes, Christopher },
title = { {Anoma Resource Machine Specification} },
journal = { Anoma Research Topics },
month = { Jun },
year = { 2024 },
publisher = { Zenodo },
version = { June 25, 2024 },
doi = { 10.5281/zenodo.10689620 },
url = { https://doi.org/10.5281/zenodo.10498990 }
}
@article{ art-2024-compiling-zkvms,
author = { Centelles, Alberto },
title = { {Compiling to ZKVMs} },
journal = { Anoma Research Topics },
month = { Apr },
year = { 2024 },
publisher = { Zenodo },
version = { April 19, 2024 },
doi = { 10.5281/zenodo.10998758 },
url = { https://doi.org/10.5281/zenodo.10498994 }
}
@article{ art-2024-intent-machines,
author = { Hart, Anthony and Reusche, D },
title = { {Intent Machines} },
journal = { Anoma Research Topics },
month = { Feb },
year = { 2024 },
publisher = { Zenodo },
version = { February 21, 2024 },
doi = { 10.5281/zenodo.10654543 },
url = { https://doi.org/10.5281/zenodo.10498992 }
}
@article{ art-2023-vampir-bestiary,
author = { Fitzgerald, Joshua and Centelles, Alberto },
title = { {VampIR Bestiary} },
journal = { Anoma Research Topics },
month = { Nov },
year = { 2023 },
publisher = { Zenodo },
version = { November 13, 2023 },
doi = { 10.5281/zenodo.10118865 },
url = { https://doi.org/10.5281/zenodo.10118864 }
}
@article{ art-2023-constraint-satisfaction-problems-survey,
author = { Hart, Anthony },
title = { {Constraint Satisfaction Problems: A Survey for Anoma} },
journal = { Anoma Research Topics },
month = { Oct },
year = { 2023 },
publisher = { Zenodo },
version = { October 18, 2023 },
doi = { 10.5281/zenodo.10019113 },
url = { https://doi.org/10.5281/zenodo.10019112 }
}
@article{ art-2023-exploring-cryptographic-approaches-enhance,
author = { Khalniyazova, Yulia },
title = { {Exploring Cryptographic Approaches to Enhance Privacy in Intent Solving} },
journal = { Anoma Research Topics },
month = { Oct },
year = { 2023 },
publisher = { Zenodo },
version = { October 02, 2023 },
doi = { 10.5281/zenodo.8321167 },
url = { https://doi.org/10.5281/zenodo.8321166 }
}
@article{ art-2023-core-language-juvix,
author = { Lukasz Czajka },
title = { {The Core language of Juvix} },
journal = { Anoma Research Topics },
month = { Aug },
year = { 2023 },
publisher = { Zenodo },
version = { August 29, 2023 },
doi = { 10.5281/zenodo.8268850 },
url = { https://doi.org/10.5281/zenodo.8268849 }
}
@article{ art-2023-rethinking-vampir,
author = { Anthony Hart },
title = { {Rethinking VampIR} },
journal = { Anoma Research Topics },
month = { Aug },
year = { 2023 },
publisher = { Zenodo },
version = { August 29, 2023 },
doi = { 10.5281/zenodo.8262815 },
url = { https://doi.org/10.5281/zenodo.8262814 }
}
@article{ art-2023-anoma-unified-architecture,
author = { Christopher Goes and Awa Sun Yin and Adrian Brink },
title = { {Anoma: a unified architecture for full-stack decentralised applications} },
journal = { Anoma Research Topics },
month = { Aug },
year = { 2023 },
publisher = { Zenodo },
version = { August 24, 2023 },
doi = { 10.5281/zenodo.8279842 },
url = { https://doi.org/10.5281/zenodo.8279841 }
}
@article{ art-2023-geb-pipeline,
author = { Artem Gureev and Jonathan Prieto-Cubides },
title = { {Geb Pipeline} },
journal = { Anoma Research Topics },
month = { Aug },
year = { 2023 },
publisher = { Zenodo },
version = { August 21, 2023 },
doi = { 10.5281/zenodo.8262747 },
url = { https://doi.org/10.5281/zenodo.8262746 }
}
@article{ art-2023-juvix-vampir-pipeline,
author = { Lukasz Czajka },
title = { {Juvix to VampIR Pipeline} },
journal = { Anoma Research Topics },
month = { Aug },
year = { 2023 },
publisher = { Zenodo },
version = { August 14, 2023 },
doi = { 10.5281/zenodo.8252903 },
url = { https://doi.org/10.5281/zenodo.8246535 }
}
Individual Entries by Paper¶
Heterogeneous Broadcast in Lean 4
Authors: Hart, Anthony Published: November 14, 2025 DOI: 10.5281/zenodo.17611735
@article{ art-2025-heterogeneous-broadcast-lean-4,
author = { Hart, Anthony },
title = { {Heterogeneous Broadcast in Lean 4} },
journal = { Anoma Research Topics },
month = { Nov },
year = { 2025 },
publisher = { Zenodo },
version = { November 14, 2025 },
doi = { 10.5281/zenodo.17611735 },
url = { https://doi.org/10.5281/zenodo.17611734 }
}
Optimising Shielded State Synchronization with FMD and TEEs
Authors: Larraia, Enrique, Khalniyazova, Yulia Published: April 10, 2025 DOI: 10.5281/zenodo.15186457
@article{ art-2025-optimising-shielded-state-synchronization,
author = { Larraia, Enrique and Khalniyazova, Yulia },
title = { {Optimising Shielded State Synchronization with FMD and TEEs} },
journal = { Anoma Research Topics },
month = { Apr },
year = { 2025 },
publisher = { Zenodo },
version = { April 10, 2025 },
doi = { 10.5281/zenodo.15186457 },
url = { https://doi.org/10.5281/zenodo.15186456 }
}
Dynamic Effective Timed Communication Systems
Authors: Heindel, Tobias, Prieto-Cubides, Jonathan, Hart, Anthony Published: March 06, 2025 DOI: 10.5281/zenodo.14984148
@article{ art-2025-dynamic-effective-timed-communication-systems,
author = { Heindel, Tobias and Prieto-Cubides, Jonathan and Hart, Anthony },
title = { {Dynamic Effective Timed Communication Systems} },
journal = { Anoma Research Topics },
month = { Mar },
year = { 2025 },
publisher = { Zenodo },
version = { March 06, 2025 },
doi = { 10.5281/zenodo.14984148 },
url = { https://doi.org/10.5281/zenodo.14984147 }
}
Nock for Functional Programmers
Authors: Czajka, Lukasz Published: December 18, 2024 DOI: 10.5281/zenodo.14511714
@article{ art-2024-nock-functional-programmers,
author = { Czajka, Lukasz },
title = { {Nock for Functional Programmers} },
journal = { Anoma Research Topics },
month = { Dec },
year = { 2024 },
publisher = { Zenodo },
version = { December 18, 2024 },
doi = { 10.5281/zenodo.14511714 },
url = { https://doi.org/10.5281/zenodo.14511713 }
}
Message Logic
Authors: Gabbay, Murdoch J., Zarin, Naqib Published: December 04, 2024 DOI: 10.5281/zenodo.14251398
@article{ art-2024-message-logic,
author = { Gabbay, Murdoch J. and Zarin, Naqib },
title = { {Message Logic} },
journal = { Anoma Research Topics },
month = { Dec },
year = { 2024 },
publisher = { Zenodo },
version = { December 04, 2024 },
doi = { 10.5281/zenodo.14251398 },
url = { https://doi.org/10.5281/zenodo.14251397 }
}
Anoma State Architecture
Authors: Sheff, Isaac Published: December 04, 2024 DOI: 10.5281/zenodo.14265827
@article{ art-2024-anoma-state-architecture,
author = { Sheff, Isaac },
title = { {Anoma State Architecture} },
journal = { Anoma Research Topics },
month = { Dec },
year = { 2024 },
publisher = { Zenodo },
version = { December 04, 2024 },
doi = { 10.5281/zenodo.14265827 },
url = { https://doi.org/10.5281/zenodo.14265826 }
}
Heterogeneous Paxos 2.0: the Specs
Authors: Karbyshev, Aleksandr, Sheff, Isaac Published: December 04, 2024 DOI: 10.5281/zenodo.14276903
@article{ art-2024-heterogeneous-paxos-20-specs,
author = { Karbyshev, Aleksandr and Sheff, Isaac },
title = { {Heterogeneous Paxos 2.0: the Specs} },
journal = { Anoma Research Topics },
month = { Dec },
year = { 2024 },
publisher = { Zenodo },
version = { December 04, 2024 },
doi = { 10.5281/zenodo.14276903 },
url = { https://doi.org/10.5281/zenodo.12572557 }
}
Slow Games: Policy Enforcement under Uncertainty
Authors: Reusche, D, Goes, Christopher, Della Penna, Nicolas Published: September 15, 2024 DOI: 10.5281/zenodo.13765214
@article{ art-2024-slow-games-policy-enforcement-under,
author = { Reusche, D and Goes, Christopher and Della Penna, Nicolas },
title = { {Slow Games: Policy Enforcement under Uncertainty} },
journal = { Anoma Research Topics },
month = { Sep },
year = { 2024 },
publisher = { Zenodo },
version = { September 15, 2024 },
doi = { 10.5281/zenodo.13765214 },
url = { https://doi.org/10.5281/zenodo.13765213 }
}
Compiling Juvix to Cairo Assembly
Authors: Czajka, Łukasz Published: September 10, 2024 DOI: 10.5281/zenodo.13739344
@article{ art-2024-compiling-juvix-cairo-assembly,
author = { Czajka, Łukasz },
title = { {Compiling Juvix to Cairo Assembly} },
journal = { Anoma Research Topics },
month = { Sep },
year = { 2024 },
publisher = { Zenodo },
version = { September 10, 2024 },
doi = { 10.5281/zenodo.13739344 },
url = { https://doi.org/10.5281/zenodo.13739343 }
}
Comparing Two Hash Functions for Multi-Party Computation and Zero-Knowledge
Authors: Yıldız, Burcu, Maller, Mary Published: September 10, 2024 DOI: 10.5281/zenodo.13739511
@article{ art-2024-comparing-two-hash-functions,
author = { Yıldız, Burcu and Maller, Mary },
title = { {Comparing Two Hash Functions for Multi-Party Computation and Zero-Knowledge} },
journal = { Anoma Research Topics },
month = { Sep },
year = { 2024 },
publisher = { Zenodo },
version = { September 10, 2024 },
doi = { 10.5281/zenodo.13739511 },
url = { https://doi.org/10.5281/zenodo.13739510 }
}
Intent-centric Applications for the Anoma Resource Machine
Authors: Heuer, Michael, Reusche, D Published: August 26, 2024 DOI: 10.5281/zenodo.13340448
@article{ art-2024-intentcentric-applications-anoma,
author = { Heuer, Michael and Reusche, D },
title = { {Intent-centric Applications for the Anoma Resource Machine} },
journal = { Anoma Research Topics },
month = { Aug },
year = { 2024 },
publisher = { Zenodo },
version = { August 26, 2024 },
doi = { 10.5281/zenodo.13340448 },
url = { https://doi.org/10.5281/zenodo.13340447 }
}
Heterogeneous Narwhal and Paxos
Authors: Heindel, Tobias, Karbyshev, Aleksandr, Sheff, Isaac Published: June 27, 2024 DOI: 10.5281/zenodo.10498999
@article{ art-2024-heterogeneous-narwhal-paxos,
author = { Heindel, Tobias and Karbyshev, Aleksandr and Sheff, Isaac },
title = { {Heterogeneous Narwhal and Paxos} },
journal = { Anoma Research Topics },
month = { Jun },
year = { 2024 },
publisher = { Zenodo },
version = { June 27, 2024 },
doi = { 10.5281/zenodo.10498999 },
url = { https://doi.org/10.5281/zenodo.10498998 }
}
Cross-Chain Integrity with Controller Labels and Endorsement
Authors: Isaac, Sheff Published: June 25, 2024 DOI: 10.5281/zenodo.10498997
@article{ art-2024-crosschain-integrity-controller-labels,
author = { Isaac, Sheff },
title = { {Cross-Chain Integrity with Controller Labels and Endorsement} },
journal = { Anoma Research Topics },
month = { Jun },
year = { 2024 },
publisher = { Zenodo },
version = { June 25, 2024 },
doi = { 10.5281/zenodo.10498997 },
url = { https://doi.org/10.5281/zenodo.10498996 }
}
Anoma Resource Machine Specification
Authors: Khalniyazova, Yulia, Goes, Christopher Published: June 25, 2024 DOI: 10.5281/zenodo.10689620
@article{ art-2024-anoma-resource-machine-specification,
author = { Khalniyazova, Yulia and Goes, Christopher },
title = { {Anoma Resource Machine Specification} },
journal = { Anoma Research Topics },
month = { Jun },
year = { 2024 },
publisher = { Zenodo },
version = { June 25, 2024 },
doi = { 10.5281/zenodo.10689620 },
url = { https://doi.org/10.5281/zenodo.10498990 }
}
Compiling to ZKVMs
Authors: Centelles, Alberto Published: April 19, 2024 DOI: 10.5281/zenodo.10998758
@article{ art-2024-compiling-zkvms,
author = { Centelles, Alberto },
title = { {Compiling to ZKVMs} },
journal = { Anoma Research Topics },
month = { Apr },
year = { 2024 },
publisher = { Zenodo },
version = { April 19, 2024 },
doi = { 10.5281/zenodo.10998758 },
url = { https://doi.org/10.5281/zenodo.10498994 }
}
Intent Machines
Authors: Hart, Anthony, Reusche, D Published: February 21, 2024 DOI: 10.5281/zenodo.10654543
@article{ art-2024-intent-machines,
author = { Hart, Anthony and Reusche, D },
title = { {Intent Machines} },
journal = { Anoma Research Topics },
month = { Feb },
year = { 2024 },
publisher = { Zenodo },
version = { February 21, 2024 },
doi = { 10.5281/zenodo.10654543 },
url = { https://doi.org/10.5281/zenodo.10498992 }
}
VampIR Bestiary
Authors: Fitzgerald, Joshua, Centelles, Alberto Published: November 13, 2023 DOI: 10.5281/zenodo.10118865
@article{ art-2023-vampir-bestiary,
author = { Fitzgerald, Joshua and Centelles, Alberto },
title = { {VampIR Bestiary} },
journal = { Anoma Research Topics },
month = { Nov },
year = { 2023 },
publisher = { Zenodo },
version = { November 13, 2023 },
doi = { 10.5281/zenodo.10118865 },
url = { https://doi.org/10.5281/zenodo.10118864 }
}
Constraint Satisfaction Problems: A Survey for Anoma
Authors: Hart, Anthony Published: October 18, 2023 DOI: 10.5281/zenodo.10019113
@article{ art-2023-constraint-satisfaction-problems-survey,
author = { Hart, Anthony },
title = { {Constraint Satisfaction Problems: A Survey for Anoma} },
journal = { Anoma Research Topics },
month = { Oct },
year = { 2023 },
publisher = { Zenodo },
version = { October 18, 2023 },
doi = { 10.5281/zenodo.10019113 },
url = { https://doi.org/10.5281/zenodo.10019112 }
}
Exploring Cryptographic Approaches to Enhance Privacy in Intent Solving
Authors: Khalniyazova, Yulia Published: October 02, 2023 DOI: 10.5281/zenodo.8321167
@article{ art-2023-exploring-cryptographic-approaches-enhance,
author = { Khalniyazova, Yulia },
title = { {Exploring Cryptographic Approaches to Enhance Privacy in Intent Solving} },
journal = { Anoma Research Topics },
month = { Oct },
year = { 2023 },
publisher = { Zenodo },
version = { October 02, 2023 },
doi = { 10.5281/zenodo.8321167 },
url = { https://doi.org/10.5281/zenodo.8321166 }
}
The Core language of Juvix
Authors: Lukasz Czajka Published: August 29, 2023 DOI: 10.5281/zenodo.8268850
@article{ art-2023-core-language-juvix,
author = { Lukasz Czajka },
title = { {The Core language of Juvix} },
journal = { Anoma Research Topics },
month = { Aug },
year = { 2023 },
publisher = { Zenodo },
version = { August 29, 2023 },
doi = { 10.5281/zenodo.8268850 },
url = { https://doi.org/10.5281/zenodo.8268849 }
}
Rethinking VampIR
Authors: Anthony Hart Published: August 29, 2023 DOI: 10.5281/zenodo.8262815
@article{ art-2023-rethinking-vampir,
author = { Anthony Hart },
title = { {Rethinking VampIR} },
journal = { Anoma Research Topics },
month = { Aug },
year = { 2023 },
publisher = { Zenodo },
version = { August 29, 2023 },
doi = { 10.5281/zenodo.8262815 },
url = { https://doi.org/10.5281/zenodo.8262814 }
}
Anoma: a unified architecture for full-stack decentralised applications
Authors: Christopher Goes, Awa Sun Yin, Adrian Brink Published: August 24, 2023 DOI: 10.5281/zenodo.8279842
@article{ art-2023-anoma-unified-architecture,
author = { Christopher Goes and Awa Sun Yin and Adrian Brink },
title = { {Anoma: a unified architecture for full-stack decentralised applications} },
journal = { Anoma Research Topics },
month = { Aug },
year = { 2023 },
publisher = { Zenodo },
version = { August 24, 2023 },
doi = { 10.5281/zenodo.8279842 },
url = { https://doi.org/10.5281/zenodo.8279841 }
}
Geb Pipeline
Authors: Artem Gureev, Jonathan Prieto-Cubides Published: August 21, 2023 DOI: 10.5281/zenodo.8262747
@article{ art-2023-geb-pipeline,
author = { Artem Gureev and Jonathan Prieto-Cubides },
title = { {Geb Pipeline} },
journal = { Anoma Research Topics },
month = { Aug },
year = { 2023 },
publisher = { Zenodo },
version = { August 21, 2023 },
doi = { 10.5281/zenodo.8262747 },
url = { https://doi.org/10.5281/zenodo.8262746 }
}
Juvix to VampIR Pipeline
Authors: Lukasz Czajka Published: August 14, 2023 DOI: 10.5281/zenodo.8252903
@article{ art-2023-juvix-vampir-pipeline,
author = { Lukasz Czajka },
title = { {Juvix to VampIR Pipeline} },
journal = { Anoma Research Topics },
month = { Aug },
year = { 2023 },
publisher = { Zenodo },
version = { August 14, 2023 },
doi = { 10.5281/zenodo.8252903 },
url = { https://doi.org/10.5281/zenodo.8246535 }
}
Citation Tips
- Use the root DOI to cite the paper in general (all versions)
- Use a specific version DOI when reproducibility of the exact version is important
- The BibTeX entries use the format:
art-{year}-{title-slug} - All entries are formatted for LaTeX/BibTeX compatibility