Malgorzata Biernacka
Orcid: 0000-0001-8094-0980
According to our database1,
Malgorzata Biernacka
authored at least 22 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Log. Methods Comput. Sci., 2024
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024
2022
Proc. ACM Program. Lang., 2022
Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022
Proceedings of the 33rd International Conference on Concurrency Theory, 2022
2021
Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021
2020
Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020
2019
Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019
2017
Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
2013
Proceedings of the Proceedings First Workshop on Control Operators and their Semantics, 2013
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013
2011
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011
2010
Automating Derivations of Abstract Machines from Reduction Semantics: - A Generic Formalization of Refocusing in Coq.
Proceedings of the Implementation and Application of Functional Languages, 2010
2009
Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines.
Proceedings of the Semantics and Algebraic Specification, 2009
2007
Theor. Comput. Sci., 2007
2005
Log. Methods Comput. Sci., 2005
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005