Małgorzata Biernacka

Author

Also Known As

Biernacka, Malgorzata, Biernacka, Małgorzata, Dariusz Biernacki, Kavvos, Georgios Alexandros, M Biernacka, M. J. Biernacka, Malgorzata Biernacka, Małgorzata Biernacka

Publications

511

Citations

H-Index

Concepts

All Affiliations

University of Wrocław Danish National Police National Research Foundation

About

Małgorzata Biernacka is an author at University of Wrocław specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	9	9	292
2	Computer Science	8	8	215
3	Language Studies	3	3	102
4	Linguistics	3	3	102
5	Chemical Engineering	1	1	77

Małgorzata Biernacka

Publications

363

Citations

H-Index

Page 1

	Year	Citations
A concrete framework for environment machines Małgorzata Biernacka, Olivier Danvy ACM Transactions on Computational Logic Artificial IntelligenceConcrete FrameworkEngineeringDynamic EnvironmentIntelligent Systems	2007	86
Radioactivity of building materials in Poland K. Mamont-Cieśla, B Gwiazdowski, Małgorzata Biernacka, Built EnvironmentEnvironmental RadiochemistryChemical EngineeringEngineeringRadiation Materials Science	1982	77
A syntactic correspondence between context-sensitive calculi and abstract machines Małgorzata Biernacka, Olivier Danvy Theoretical Computer Science Abstract MachineSyntaxSyntactic CorrespondenceAutomated ReasoningGrammatical Formalism	2007	59
An Operational Foundation for Delimited Continuations Małgorzata Biernacka, Dariusz Biernacki, Olivier Danvy BRICS Report Series EngineeringOperational FoundationFormal VerificationSyntaxOperational Semantics	2003	31
An Operational Foundation for Delimited Continuations in the CPS Hierarchy Małgorzata Biernacka, Dariusz Biernacki, Olivier Danvy BRICS Report Series EngineeringVerificationSoftware EngineeringSoftware AnalysisFormal Verification	2005	26
A Concrete Framework for Environment Machines Małgorzata Biernacka, Olivier Danvy BRICS Report Series Artificial IntelligenceConcrete FrameworkEngineeringDynamic EnvironmentIntelligent Systems	2006	19
Program Extraction From Proofs of Weak Head Normalization Małgorzata Biernacka, Olivier Danvy, Kristian Støvring Electronic Notes in Theoretical Computer Science Weak Head NormalizationProgramming Language TheoryEngineeringWeak HeadAutomated Reasoning	2006	18
Context-based proofs of termination for typed delimited-control operators Małgorzata Biernacka, Dariusz Biernacki EngineeringType TheoryVerificationLa DanvyAutomated Proof	2009	13
Generalized Refocusing: From Hybrid Strategies to Abstract Machines Małgorzata Biernacka, Witold Charatonik, Klara Zielinska DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)	2017	12
A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines Małgorzata Biernacka, Olivier Danvy BRICS Report Series Context-sensitive CalculiEngineeringSemanticsSyntaxComputational Linguistics	2005	12

Page 1