Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Bożena Woźna

A Logic for Knowledge, Correctness, and Real Time

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

A Translator of Java Programs to TADDs

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

Related publications

Quadratic Correctness Criterion for Non-Commutative Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Proof Automation for Functional Correctness in Separation Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2014English

A Formal Specification of the Correctness Criteria for Concurrent Executions of a Transaction System in Real Time Databases.

Journal of Computer Science and Cybernetics
2012English

Common Knowledge Logic and Game Logic

Journal of Symbolic Logic
PhilosophyLogic
1999English

Fuzzy Logic Based Real Time Go to Goal Controller for Mobile Robot

International Journal of Computer Applications
2020English

Real-Time Fuzzy Logic Control of Switched Reluctance Motor

International Journal of Intelligent Systems and Applications in Engineering
2017English

Fuzzy Logic Applications for Knowledge Discovery: A Survey

International Journal of Advancements in Computing Technology
2011English

A Logic for Knowledge Flow in Social Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Epistemic Logic: A Survey of the Logic of Knowledge

Principia
PhilosophyPhilosophy of ScienceHistory
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy