We stand with Ukraine  

Bodil Biering

Orcid: 0009-0000-0830-2968

Affiliations:
  • IT University of Copenhagen, Denmark


According to our database1, Bodil Biering authored at least 5 papers between 2005 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
No Silver Bullet: Towards Demonstrating Secure Software Development for Danish Small and Medium Enterprises in a Business-to-Business Model.
[BibTeX]
[DOI]
Raha Asadi
,
Bodil Biering
,
Vincent van Dijk
,
Oksana Kulyk
,
Elda Paja
CoRR, March, 2025

No Silver Bullet: Towards Demonstrating Secure Software Development for Small and Medium Enterprises in a Business-to-Business Model.
[BibTeX]
[DOI]
Raha Asadi
,
Bodil Biering
,
Vincent van Dijk
,
Oksana Kulyk
,
Elda Paja
Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems, 2025

2008
Cartesian closed Dialectica categories.
[BibTeX]
[DOI]
Bodil Biering
Ann. Pure Appl. Log., 2008

2007
BI-hyperdoctrines, higher-order separation logic, and abstraction.
[BibTeX]
[DOI]
Bodil Biering
,
Lars Birkedal
,
Noah Torp-Smith
ACM Trans. Program. Lang. Syst., 2007

2005
BI Hyperdoctrines and Higher-Order Separation Logic.
[BibTeX]
[DOI]
Bodil Biering
,
Lars Birkedal
,
Noah Torp-Smith
Proceedings of the Programming Languages and Systems, 2005


  Loading...