Bas Spitters

Publikation

Publikationer pr. år 2006 2016 2018 2020 2021 2024

• 17 Konferencebidrag i proceedings
• 10 Tidsskriftartikel
• 7 Udgivelser på nettet - Net-publikation
• 4 Konferenceabstrakt til konference
• 13 Mere
  • 4 Working paper
  • 3 Preprint
  • 2 Bidrag til bog/antologi
  • 2 Paper
  • 2 Konferenceartikel

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2024

  Modernizing FIPS for safe languages and verified libraries

  Protzenko, J. & Spitters, B., 2024.

  Publikation: Konferencebidrag › Paper › Forskning

  Fil
  5 Downloads (Pure)

• The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography

  Haselwarter, P. G., Hvass, B. S., Hansen, L. L., Winterhalter, T., Hriţcu, C. & Spitters, B., jan. 2024, CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs. Timany, A., Traytel, D., Pientka, B. & Blazy, S. (red.). Association for Computing Machinery, s. 30-44 15 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  • Specification Language 100%
  • Encryption Scheme 100%
  • Operational Semantics 100%
  • Formal Verification 100%
  • hardware acceleration 100%
• 2023

  Faster constant-time evaluation of the Kronecker symbol with application to elliptic curve hashing

  Aranha, D. F., Hvass, B. S., Spitters, B. & Tibouchi, M., nov. 2023, CCS'23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. New York: Association for Computing Machinery, s. 3228-3238 11 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Constant Time 100%
  • Kronecker Symbol 100%
  • Hashing 100%
  • Elliptic Curves 100%
  • Elliptic Curve 100%
  2 Citationer (Scopus)

• Formalising Decentralised Exchanges in Coq

  Nielsen, E. H., Annenkov, D. & Spitters, B., jan. 2023, CPP '23: 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. Krebbers, R., Traytel, D., Pientka, B. & Zdancewic, S. (red.). New York: Association for Computing Machinery, s. 290-302 13 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  • Formalization 100%
  • Smart Contract 50%
  • Formal Verification 25%
  • Interaction Pattern 25%
  • Blockchain 25%
  5 Citationer (Scopus)

• High-assurance field inversion for curve-based cryptography

  Hvass, B. S., Aranha, D. F. & Spitters, B., 2023, 2023 IEEE 36th Computer Security Foundations Symposium (CSF) . IEEE, s. 552-567 16 s. (Proceedings of the IEEE Computer Security Foundations Symposium).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Little's Theorem 100%
  • side-channel 66%
  • Performance Penalty 50%
  • Cryptographic Operation 33%
  • Sensitive Informations 33%
  1 Citationer (Scopus)

• SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

  Haselwarter, P. G., Rivas, E., Van Muylder, A., Winterhalter, T., Abate, C., Sidorenco, N., Hriţcu, C., Maillard, K. & Spitters, B., jul. 2023, I: ACM Transactions on Programming Languages and Systems. 45, 3, s. 61 15.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  • Logic Programming 100%
  • Soundness 50%
  • public-key encryption scheme 50%
  • Data Encryption 50%
  • Case Study 50%
  4 Citationer (Scopus)
• 2022

  Extracting functional programs from Coq, in Coq

  Annenkov, D., Milo, M., Nielsen, J. B. & Spitters, B. A. S., aug. 2022, I: Journal of Functional Programming. 32, 5, 60 s., e11.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Functional Program 100%
  • Smart Contract 100%
  • Functional Languages 60%
  • Call by Value 20%
  • Target Language 20%
  2 Citationer (Scopus)

  23 Downloads (Pure)

• Finding Smart Contract Vulnerabilities with ConCert's Property-Based Testing Framework

  Milo, M., Nielsen, E. H., Annenkov, D. & Spitters, B., okt. 2022, 4th International Workshop on Formal Methods for Blockchains (FMBC 2022). Dargaye, Z. & Schneidewind, C. (red.). Dagstuhl Publishing, 13 s. (OpenAccess Series in Informatics, Bind 105).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  • Smart Contract 100%
  • Formal Verification 25%
  • Executable Model 25%
  • Case Study 25%
  • Model Specification 25%
  1 Citationer (Scopus)

• Finding smart contract vulnerabilities with ConCert's property-based testing framework

  Milo, M., Nielsen, E. H., Annenkov, D. & Spitters, B., aug. 2022, 13 s. (FMBC: Formal Methods for Blockchains).

  Publikation: Working paper/Preprint › Working paper › Forskning

  Åben adgang

  Fil

  • Vulnerabilities In Smart Contracts 100%
  43 Downloads (Pure)
• 2021

  Extracting functional programs from Coq, in Coq

  Annenkov, D., Milo, M., Nielsen, J. B. & Spitters, B., 6 aug. 2021.

  Publikation: Working paper/Preprint › Preprint

  Fil

  • Functional Program 100%
  • Smart Contract 100%
  • Functional Languages 60%
  • Call by Value 20%
  • Target Language 20%
  241 Downloads (Pure)

• Extracting smart contracts tested and verified in Coq

  Annenkov, D., Milo, M., Nielsen, J. B. & Spitters, B., jan. 2021, CPP 2021 - Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2021. Hritcu, C. & Popescu, A. (red.). Association for Computing Machinery, s. 105-121 17 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  • Smart Contract 100%
  • Decentralized Finance 100%
  • Functional Languages 50%
  • Call by Value 16%
  • Operational Semantics 16%
  10 Citationer (Scopus)

• Formalizing Nakamoto-Style Proof of Stake

  Thomsen, S. E. & Spitters, B., 2021, Proceedings - 2021 IEEE 34th Computer Security Foundations Symposium, CSF 2021. IEEE, 15 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Blockchain 100%
  • Distributed Systems 66%
  • Liveness 66%
  • Fault Tolerant 33%
  • Consensus Algorithm 33%
  13 Citationer (Scopus)

• Formal security analysis of MPC-in-the-head zero-knowledge protocols

  Sidorenco, N., Oechsner, S. & Spitters, B., 2021, Proceedings - 2021 IEEE 34th Computer Security Foundations Symposium, CSF 2021. IEEE, s. 607-620 14 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Security Analysis 100%
  • Knowledge Protocol 100%
  • Building-Blocks 20%
  • Knowledge Proof 20%
  • secure multiparty computation 20%
  11 Citationer (Scopus)

• SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

  Abate, C., Haselwarter, P. G., Rivas, E., Muylder, A. V., Winterhalter, T., Hritcu, C., Maillard, K. & Spitters, B., 2021, Cryptology ePrint Archive, s. 397, 1 s.

  Publikation: Working paper/Preprint › Preprint

• SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

  Abate, C., Haselwarter, P. G., Rivas, E., Muylder, A. V., Winterhalter, T., Hriţcu, C., Maillard, K. & Spitters, B., 2021, Proceedings - 2021 IEEE 34th Computer Security Foundations Symposium, CSF 2021. IEEE, 15 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Logic Programming 100%
  • Soundness 50%
  14 Citationer (Scopus)
• 2020

  Application ofComputable Distributions to the Semantics of Probabilistic Programs

  Huang, D., Morrisett, G. & Spitters, B., 1 jan. 2020, Foundations of Probabilistic Programming. Cambridge University Press, s. 75-120 46 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning › peer review

  Åben adgang

  • Probabilistic Programs 100%
  • Computability 100%
  • Continuous Distribution 100%
  • Computational Semantics 50%
  • Constructive Mathematics 50%
  5 Citationer (Scopus)

• Application of Computable Distributions to the Semantics of Probabilistic Programs

  Huang, D., Morrisett, G. & Spitters, B., 2020, Foundations of Probabilistic Programming. Barthe, G., Katoen, J.-P. & Silva, A. (red.). Cambridge University Press, s. 75-120 46 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning › peer review

  Åben adgang
  25 Citationer (Scopus)

• ConCert: A smart contract certification framework in Coq

  Annenkov, D., Botsch Nielsen, J. & Spitters, B., 2020, Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’20), January 20-21, 2020, New Orleans, LA, USA. New York: Association for Computing Machinery, s. 215-228 14 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  • Smart Contract 100%
  • Metatheory 33%
  • Functional Languages 33%
  • Soundness 33%
  • meta programming 33%
  28 Citationer (Scopus)

• Formalizing Nakamoto-Style Proof of Stake

  Thomsen, S. E. & Spitters, B., 23 jul. 2020.

  Publikation: Working paper/Preprint › Preprint

  Fil

  • Blockchain 100%
  • Distributed Systems 66%
  • Liveness 66%
  • Fault Tolerant 33%
  • Consensus Algorithm 33%
  71 Downloads (Pure)

• High-assurance field inversion for pairing-friendly primes

  Hvass, B. S., Aranha, D. F. & Spitters, B., 20 jul. 2020.

  Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › peer review

  Åben adgang

• High-assurance field inversion for pairing-friendly primes

  Hvass, B. S., Aranha, D. F. & Spitters, B., 6 jul. 2020.

  Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › peer review

  Åben adgang

• Modal dependent type theory and dependent right adjoints

  Birkedal, L., Clouston, R., Mannaa, B., Ejlers Møgelberg, R., Pitts, A. M. & Spitters, B., feb. 2020, I: Mathematical Structures in Computer Science. 30, 2, s. 118-138 21 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  • Type Theory 100%
  • Dependent Type 100%
  • Adjoints 100%
  • Calculus 14%
  23 Citationer (Scopus)

• Modalities in homotopy type theory

  Rijke, E., Shulman, M. & Spitters, B., 1 jan. 2020, I: Logical Methods in Computer Science. 16, 1, s. 2:1-2:79 79 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  • Type Theory 100%
  • Homotopy Type 100%
  • Factorization 66%
  • Mathematics 33%
  • Groupoid 33%
  26 Citationer (Scopus)

• Smart contract interactions in coq

  Nielsen, J. B. & Spitters, B., jan. 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (red.). Cham: Springer, s. 380-391 12 s. (Lecture Notes in Computer Science, Bind 12232).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  • Smart Contract 100%
  • Blockchain 50%
  • Functional Languages 25%
  • Partial Specification 25%
  • Executable Model 25%
  7 Citationer (Scopus)
• 2019

  ConCert: A Smart Contract Certification Framework in Coq

  Annenkov, D., Nielsen, J. B. & Spitters, B., 2019, arxiv.org, s. 215-228, 14 s.

  Publikation: Working paper/Preprint › Working paper › Forskning › peer review

  Åben adgang

  • Smart Contract 100%
  • Metatheory 33%
  • Functional Languages 33%
  • Soundness 33%
  • meta programming 33%

• Guarded Cubical Type Theory

  Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A., 2019, I: Journal of Automated Reasoning. 63, 2, s. 211-253 43 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  • Type Checking 100%
  • Extensionality 100%
  • Type Theory 100%
  • Small Category 50%
  • Computer Science 50%
  13 Citationer (Scopus)

• Smart Contract Interactions in Coq

  Nielsen, J. B. & Spitters, B., nov. 2019, 0 udg., ArXiv.

  Publikation: Working paper/Preprint › Working paper › Forskning › peer review

  Fil

  • Smart Contract 100%
  • Blockchain 50%
  • Functional Languages 25%
  • Partial Specification 25%
  • Executable Model 25%
  63 Downloads (Pure)

• Synthetic topology in Homotopy Type Theory for probabilistic programming

  Bidlingmaier, M. E., Faissole, F. & Spitters, B., dec. 2019, ArXiv.

  Publikation: Working paper/Preprint › Working paper › Forskning › peer review

  Fil

  • Riesz Theorem 100%
  155 Downloads (Pure)
• 2018

  An Application of Computable Distributions to the Semantics of Probabilistic Programs

  Huang, D., Morrisett, G. & Spitters, B., 20 jun. 2018, 46 s. Cornell University.

  Publikation: Andet › Udgivelser på nettet - Net-publikation › Forskning

  Fil

  • Continuous Distribution 100%
  76 Downloads (Pure)

• Computer-Aided Proofs for Multiparty Computation with Active Security

  Haagh, H., Karbyshev, A., Oechsner, S., Spitters, B. & Strub, P., 1 jul. 2018, Proceedings - IEEE 31st Computer Security Foundations Symposium, CSF 2018. Oxford: IEEE, Bind 2018. s. 119-131 13 s. 8429300. (Proceedings of the IEEE Computer Security Foundations Symposium; Nr. 31).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Correctness Proofs 100%
  • secure multiparty computation 100%
  • secret sharing scheme 100%
  • public-key encryption 100%
  • high-order logic 100%
  22 Citationer (Scopus)

• Computer-aided proofs for multiparty computation with active security

  Haagh, H., Karbyshev, A., Oechsner, S., Spitters, B. & Strub, P.-Y., 19 jun. 2018, 13 s. arxiv.org.

  Publikation: Andet › Udgivelser på nettet - Net-publikation › Forskning › peer review

  Åben adgang

  Fil

  • Cryptographic Property 100%
  178 Downloads (Pure)

• Internal Universes in Models of Homotopy Type Theory

  Licata, D. R., Orton, I., Pitts, A. M. & Spitters, B., 23 jan. 2018, 17 s. arxiv.org.

  Publikation: Andet › Udgivelser på nettet - Net-publikation › Forskning › peer review

  Åben adgang

  Fil

  • Homotopy Type Theory 100%
  • Type Theory 100%
  • Homotopy Type 100%
  • Internal Language 66%
  • Axiomatization 66%
  33 Citationer (Scopus)

  149 Downloads (Pure)

• Preuves constructives de programmes probabilistes

  Faissole, F. & Spitters, B., jan. 2018, Journées Francophones des Langages Applicatifs. (Journées Francophones des Langages Applicatifs (JFLA); Nr. 2018).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

• Un cadre pour la preuve de programmes probabilistes

  Faissole, F. & Spitters, B., 1 jan. 2018, s. 137-150. 14 s.

  Publikation: Konferencebidrag › Paper › Forskning › peer review
• 2017

  Modalities in homotopy type theory

  Rijke, E., Shulman, M. & Spitters, B., 27 jun. 2017

  Publikation: Andet › Udgivelser på nettet - Net-publikation › Forskning › peer review

  Åben adgang

• The HoTT Library: A Formalization of Homotopy Type Theory in Coq

  Bauer, A., Gross, J., Lumsdaine, P. L., Shulman, M., Sozeau, M. & Spitters, B., 16 jan. 2017, CPP 2017 - Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, co-located with POPL 2017: CPP 2017. Bertot, Y. & Vafeiadis, V. (red.). New York, NY, USA: Association for Computing Machinery, s. 164-172 9 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Type Theory 100%
  • Homotopy Type 100%
  • Formalization 100%
  • Inductive Type 50%
  • Category Theory 25%
  37 Citationer (Scopus)
• 2016

  Cubical sets and the topological topos

  Spitters, B., 17 okt. 2016

  Publikation: Andet › Udgivelser på nettet - Net-publikation › Forskning

  Åben adgang

  • Topos 100%
  • Type Theory 66%
  • Simplicial Set 66%
  • Morphism 33%
  • Model Set 33%

• Guarded Cubical Type Theory

  Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A., 2016

  Publikation: Andet › Udgivelser på nettet - Net-publikation › Forskning › peer review

  Åben adgang

  • Type Checking 100%
  • Extensionality 100%
  • Small Category 50%
  • Computer Science 50%
  • Logic Programming 50%
  16 Citationer (Scopus)

• Guarded Cubical Type Theory: Path Equality for Guarded Recursion

  Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A., 2016, CSL 2016: 25th EACSL Annual Conference on Computer Science Logic. Talbot, J.-M. & Regnier, L. (red.). s. 1 - 17 17 s. (Leibniz International Proceedings in Informatics, Bind 62).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Extensionality 100%
  168 Downloads (Pure)

• Guarded cubical type theory

  Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A., 2016. 2 s.

  Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning

  Åben adgang

• Homotopy type theory and the formalization of mathematics

  Rijke, E. & Spitters, B., 2016, I: Nieuw Archief voor Wiskunde . 5/17, 3, s. 159 - 164 6 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning

  Åben adgang

• The HoTT Library: A formalization of homotopy type theory in Coq

  Bauer, A., Gross, J., Lumsdaine, P. L., Shulman, M., Sozeau, M. & Spitters, B., 2016

  Publikation: Andet › Udgivelser på nettet - Net-publikation › Forskning

  Åben adgang
• 2015

  Cubical sets as a classifying topos

  Spitters, B., 2015. 2 s.

  Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning

  Åben adgang

  Fil

  • Topos 100%
  • Type Theory 66%
  • Cube 33%
  • Model Set 33%
  • Inductive Type 33%
  203 Downloads (Pure)

• Sets in homotopy type theory

  Rijke, E. & Spitters, B., 30 jun. 2015, I: Mathematical Structures in Computer Science. 25, 5, s. 1172-1202 31 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  • Groupoid 100%
  • Type Theory 100%
  • Homotopy Type 100%
  • Topos 66%
  • Subobject 33%
  12 Citationer (Scopus)
• 2014

  Gelfand spectra in Grothendieck toposes using geometric mathematics

  Spitters, B., Vickers, S. & Wolters, S., 1 jan. 2014, I: Electronic Proceedings in Theoretical Computer Science, EPTCS. 158, s. 77-107 31 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Konferenceartikel › Forskning › peer review

  • Mathematics 100%
  • Grothendieck 100%
  • Topos 100%
  • C-Algebras 28%
  • Functor 14%
  3 Citationer (Scopus)
• 2013

  The Picard algorithm for ordinary differential equations in Coq

  Makarov, E. & Spitters, B., 28 aug. 2013, Interactive Theorem Proving - 4th International Conference, ITP 2013, Proceedings. s. 463-468 6 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 7998 LNCS).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Ordinary Differential Equation 100%
  • Mathematics 33%
  • Sufficient Condition 33%
  • Differential Equation 33%
  • Fundamental Theorem 33%
  24 Citationer (Scopus)

• Type classes for efficient exact real arithmetic in CoQ

  Krebbers, R. & Spitters, B., 25 feb. 2013, I: Logical Methods in Computer Science. 9, 1

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  • Dyadic Rational 100%
  • Cosine Function 100%
  • Error Estimate 100%
  22 Citationer (Scopus)
• 2012

  Bohrification of operator algebras and quantum logic

  Heunen, C., Landsman, N. P. & Spitters, B., 1 jun. 2012, I: Synthese. 186, 3, s. 719-752 34 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  • Lattices 100%
  • Operator Algebra 100%
  • Quantum Logic 100%
  • C-Algebras 50%
  • Subalgebra 50%
  21 Citationer (Scopus)

• The Space of Measurement Outcomes as a Spectral Invariant for Non-Commutative Algebras

  Spitters, B., 1 jul. 2012, I: Foundations of Physics. 42, 7, s. 896-908 13 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  • C-Algebras 100%
  • Noncommutative Algebra 100%
  • Spectral Invariant 100%
  • Coincides 20%
  • Commutativity 20%
  6 Citationer (Scopus)
• 2011

  Computer certified efficient exact reals in Coq

  Krebbers, R. & Spitters, B., 11 aug. 2011, Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011 and 10th International Conference, MKM 2011, Proceedings. s. 90-106 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 6824 LNAI).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Approximates 100%
  • Integer 100%
  • Power Series 100%
  • Basic Operation 100%
  • Error Estimate 100%
  10 Citationer (Scopus)