| 2022 | AiML | Verification of Multi-Agent Properties in Electronic Voting: A Case Study. | Wojtek Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk, Damian Kurpiewski |
| 2022 | ICECCS | Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees. | Jaime Arias, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk |
| 2017 | PPAM | Global State Monitoring in Optimization of Parallel Event-Driven Simulation. | Lukasz Masko, Marek S. Tudruj |
| 2015 | PPAM | Parallel Programs Scheduling with Architecturally Supported Regions. | Lukasz Masko, Marek S. Tudruj |
| 2013 | PPAM | Distributed Program Execution Control Based on Application Global States Monitoring in PEGASUS DA Framework. | Damian Kopanski, Lukasz Masko, Eryk Laskowski, Adam Smyk, Janusz Borkowski, Marek S. Tudruj |
| 2013 | PPAM | Parallel Event-Driven Simulation Based on Application Global State Monitoring. | Lukasz Masko, Marek S. Tudruj |
| 2012 | ISPDC | Scheduling Architecturally-Supported Regions with Precedence-Based Priorities. | Lukasz Masko, Marek S. Tudruj |
| 2011 | ISPDC | Program Design Environment for Multicore Processor Systems with Program Execution Controlled by Global States Monitoring. | Marek S. Tudruj, Janusz Borkowski, Lukasz Masko, Adam Smyk, Damian Kopanski, Eryk Laskowski |
| 2011 | PPAM | Data Transfers on the Fly for Hierarchical Systems of Chip Multi-Processors. | Marek S. Tudruj, Lukasz Masko |
| 2011 | PPAM | Scheduling Parallel Programs Based on Architecture-Supported Regions. | Marek S. Tudruj, Lukasz Masko |
| 2009 | ISPDC | Program Execution Control in a Multi CMP Module System with a Look-Ahead Configured Global Network. | Eryk Laskowski, Lukasz Masko, Marek S. Tudruj, Miroslaw Thor |
| 2009 | PDPTA | Globally-Interconnected Modular CMP Systems with Communication on the Fly. | Marek S. Tudruj, Lukasz Masko, Miroslaw Thor |
| 2009 | PPAM | Multi-CMP Module System Based on a Look-Ahead Configured Global Network. | Eryk Laskowski, Lukasz Masko, Marek S. Tudruj |
| 2009 | PPAM | Comparison of Program Task Scheduling Algorithms for Dynamic SMP Clusters with Communication on the Fly. | Lukasz Masko, Marek S. Tudruj, Gregory Mounie, Denis Trystram |
| 2008 | ISPDC | Task Scheduling for SoC-Based Dynamic SMP Clusters with Communication on the Fly. | Lukasz Masko, Marek S. Tudruj |
| 2007 | ISPA | Parallel Matrix Multiplication Based on Dynamic SMP Clusters in SoC Technology. | Marek S. Tudruj, Lukasz Masko |
| 2007 | PDP | Dynamic SMP Clusters with Communication on the Fly in SoC Technology Applied for Medium-Grain Parallel Matrix Multiplication. | Marek S. Tudruj, Lukasz Masko |
| 2007 | PPAM | Data Mining on Desktop Grid Platforms. | Valrie Fiolet, Richard Olejnik, Eryk Laskowski, Lukasz Masko, Marek S. Tudruj, Bernard Toursel |
| 2006 | ISPDC | Distributed Formulation of Artificial Reconstruction Technique with Reordering of Critical Data Sets. | Boguslaw Butrylo, Marek S. Tudruj, Lukasz Masko |
| 2005 | ISPDC | SSOR Preconditioned Conjugate Gradient Algorithm in Dynamic SMP Clusters with Communication on the Fly. | Boguslaw Butrylo, Marek S. Tudruj, Lukasz Masko, Laurent Nicolas |
| 2005 | ISPDC | Task Scheduling for Dynamic SMP Clusters with Communication on the Fly for Bounded Number of Resources. | Lukasz Masko |
| 2005 | ISPDC | Towards Massively Parallel Numerical Computations Based on Dynamic SMP Clusters with Communication on the Fly. | Marek S. Tudruj, Lukasz Masko |
| 2005 | PPAM | Iterative Reconstruction of Tomographic Scans in Dynamic SMP Clusters with Communication on the Fly. | Boguslaw Butrylo, Marek S. Tudruj, Lukasz Masko |
| 2005 | PPAM | Scheduling Task Graphs for Execution in Dynamic SMP Clusters with Bounded Number of Resources. | Lukasz Masko |
| 2005 | PPAM | Scheduling Moldable Tasks for Dynamic SMP Clusters in SoC Technology. | Lukasz Masko, Pierre-Franois Dutot, Gregory Mounie, Denis Trystram, Marek S. Tudruj |
| 2005 | PPAM | Dynamic SMP Clusters in SoC Technology - Towards Massively Parallel Fine Grain Numerics. | Marek S. Tudruj, Lukasz Masko |
| 2004 | ISPDC | Program Graph Scheduling for Dynamic SMP Clusters with Communication on the Fly. | Lukasz Masko |
| 2004 | ISPDC | Dynamic SMP Clusters with Communication on the Fly in NoC Technology for Very Fine Grain Computations. | Marek S. Tudruj, Lukasz Masko |
| 2003 | ISPDC | Atomic Operations for Task Scheduling for Systems Based on Communication On-The-Fly Between SMP Clusters. | Lukasz Masko |
| 2003 | ISPDC | Dynamic SMP Clusters with Communication on the Fly. | Marek S. Tudruj, Lukasz Masko |
| 2003 | PDP | Communication on the Fly and Program Execution Control in a System of Dynamically Configurable SMP Clusters. | Marek S. Tudruj, Lukasz Masko |
| 2003 | PPAM | Communication on the Fly in Dynamic SMP Clusters - Towards Efficient Fine Grain Numerical Computations. | Marek S. Tudruj, Lukasz Masko |
| 2001 | PPAM | A Parallel System Architecture Based on Dynamically Configurable Shared Memory Clusters. | Marek S. Tudruj, Lukasz Masko |
| 2001 | PPAM | Task Scheduling for Dynamically Configurable Multiple SMP Clusters Based on Extended DSC Approach. | Marek S. Tudruj, Lukasz Masko |