Andrzej Mizera

According to our database, Andrzej Mizera authored at least 31 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Deep Reinforcement Learning for Controlled Traversing of the Attractor Landscape of Boolean Models in the Context of Cellular Reprogramming.

Andrzej Mizera, Jakub Zarzycki

CoRR, 2024

2023

Anomaly Detection Using Deep Learning Respecting the Resources on Board a CubeSat.

Ross Horne, Sjouke Mauw, Andrzej Mizera, André Stemper, Jan Thoemel

J. Aerosp. Inf. Syst., 2023

2020

An Efficient Approach Towards the Source-Target Control of Boolean Networks.

Soumya Paul, Cui Su, Jun Pang, Andrzej Mizera

IEEE ACM Trans. Comput. Biol. Bioinform., 2020

2019

Taming Asynchrony for Attractor Detection in Large Boolean Networks.

Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan

IEEE ACM Trans. Comput. Biol. Bioinform., 2019

A new decomposition-based method for detecting attractors in synchronous Boolean networks.

Qixia Yuan, Andrzej Mizera, Jun Pang, Hongyang Qu

Sci. Comput. Program., 2019

GPU-accelerated steady-state computation of large probabilistic Boolean networks.

Andrzej Mizera, Jun Pang, Qixia Yuan

Formal Aspects Comput., 2019

2018

Reviving the Two-State Markov Chain Approach.

Andrzej Mizera, Jun Pang, Qixia Yuan

IEEE ACM Trans. Comput. Biol. Bioinform., 2018

ASSA-PBN: A Toolbox for Probabilistic Boolean Networks.

Andrzej Mizera, Jun Pang, Cui Su, Qixia Yuan

IEEE ACM Trans. Comput. Biol. Bioinform., 2018

A Decomposition-based Approach towards the Control of Boolean Networks (Technical Report).

Soumya Paul, Cui Su, Jun Pang, Andrzej Mizera

CoRR, 2018

ASSA-PBN 3.0: Analysing Context-Sensitive Probabilistic Boolean Networks.

Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan

Proceedings of the Computational Methods in Systems Biology, 2018

A Decomposition-based Approach towards the Control of Boolean Networks.

Soumya Paul, Cui Su, Jun Pang, Andrzej Mizera

Proceedings of the 2018 ACM International Conference on Bioinformatics, 2018

2017

Multi-Stability, Limit Cycles, and Period-Doubling Bifurcation with Reaction Systems.

Sepinoud Azimi, Charmi Panchal, Andrzej Mizera, Ion Petre

Int. J. Found. Comput. Sci., 2017

Taming Asynchrony for Attractor Detection in Large Boolean Networks (Technical Report).

Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan

CoRR, 2017

A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks.

Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

2016

Fast Simulation of Probabilistic Boolean Networks (Technical Report).

Andrzej Mizera, Jun Pang, Qixia Yuan

CoRR, 2016

Improving BDD-based attractor detection for synchronous Boolean networks.

Qixia Yuan, Hongyang Qu, Jun Pang, Andrzej Mizera

Sci. China Inf. Sci., 2016

Parallel approximate steady-state analysis of large probabilistic Boolean networks.

Andrzej Mizera, Jun Pang, Qixia Yuan

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

ASSA-PBN 2.0: A Software Tool for Probabilistic Boolean Networks.

Andrzej Mizera, Jun Pang, Qixia Yuan

Proceedings of the Computational Methods in Systems Biology, 2016

Fast Simulation of Probabilistic Boolean Networks.

Andrzej Mizera, Jun Pang, Qixia Yuan

Proceedings of the Computational Methods in Systems Biology, 2016

2015

Parallel Approximate Steady-state Analysis of Large Probabilistic Boolean Networks (Technical Report).

Andrzej Mizera, Jun Pang, Qixia Yuan

CoRR, 2015

Reviving the Two-state Markov Chain Approach (Technical Report).

Andrzej Mizera, Jun Pang, Qixia Yuan

CoRR, 2015

Activity tracking: A new attack on location privacy.

Xihui Chen, Andrzej Mizera, Jun Pang

Proceedings of the 2015 IEEE Conference on Communications and Network Security, 2015

ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks.

Andrzej Mizera, Jun Pang, Qixia Yuan

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Model-Checking Based Approaches to Parameter Estimation of Gene Regulatory Networks.

Andrzej Mizera, Jun Pang, Qixia Yuan

Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

2012

Self-assembly Models of Variable Resolution.

Andrzej Mizera, Eugen Czeizler, Ion Petre

Trans. Comp. Sys. Biology, 2012

Quantitative Analysis of the Self-Assembly Strategies of Intermediate Filaments from Tetrameric Vimentin.

Eugen Czeizler, Andrzej Mizera, Elena Czeizler, Ralph-Johan Back, John E. Eriksson, Ion Petre

IEEE ACM Trans. Comput. Biol. Bioinform., 2012

A Boolean Approach for Disentangling the Roles of Submodules to the Global Properties of a Biomodel.

Elena Czeizler, Andrzej Mizera, Ion Petre

Fundam. Informaticae, 2012

2011

A simple mass-action model for the eukaryotic heat shock response and its mathematical validation.

Ion Petre, Andrzej Mizera, Claire L. Hyder, Annika Meinander, Andrey Mikhailov, Richard I. Morimoto, Lea Sistonen, John E. Eriksson, Ralph-Johan Back

Nat. Comput., 2011

2009

Computational Heuristics for Simplifying a Biological Model.

Ion Petre, Andrzej Mizera, Ralph-Johan Back

Proceedings of the Mathematical Theory and Computational Practice, 2009

A New Mathematical Model for the Heat Shock Response.

Ion Petre, Andrzej Mizera, Claire L. Hyder, Andrey Mikhailov, John E. Eriksson, Lea Sistonen, Ralph-Johan Back

Proceedings of the Algorithmic Bioprocesses, 2009

2006

Applying dynamic Bayesian networks to perturbed gene expression data.

Norbert Dojer, Anna Gambin, Andrzej Mizera, Bartek Wilczynski, Jerzy Tiuryn

BMC Bioinform., 2006