| 2013 | Metering devices remote monitoring system Web-interface. | Alexey Lagunov, Nikita Gerasimov, Dmitriy Fedin |
| 2013 | N-body simulation based on the Particle Mesh method using Multigrid schemes. | Panagiotis E. Kyziropoulos, C. K. Filelis-Papadopoulos, George A. Gravvanis |
| 2013 | One approach to the classification of business knowledge diagrams: practical view. | Dmitry Kudryavtsev, Tatiana Gavrilova, Irina A. Leshcheva |
| 2013 | Real-time Implementation of the ViBe Foreground Object Segmentation Algorithm. | Tomasz Kryjak, Marek Gorgon |
| 2013 | Reconstruction of Instruction Idioms in a Retargetable Decompiler. | Jakub Kroustek, Fridoln Pokorn |
| 2013 | Combining One-Class Support Vector Machines for Microarray Classification. | Bartosz Krawczyk |
| 2013 | Semantic Tagging of Heterogeneous Data: Labeling Fire & Rescue Incidents with Threats. | Adam Krasuski, Andrzej Janusz |
| 2013 | Incremental JIT Compiler for Implicitly Parallel Functional Language. | Petr Krajca |
| 2013 | Approximate Assistance for Correlated Subqueries. | Marcin Kowalski, Dominik Slezak, Piotr Synak |
| 2013 | Object-oriented Approach to Timed Colored Petri Net Simulation. | Michal Kowalski, Wojciech Rzasa |
| 2013 | Application of Ant-Colony Optimisation to Compute Diversified Entity Summarisation on Semantic Knowledge Graphs. | Witold Kosinski, Marcin Sydow, Tomasz Kusmierczyk, Pawel Rembelski |
| 2013 | Fingerprinting System for Still Images Based on the Use of a Holographic Transform Domain. | Valery I. Korzhik, Guillermo Morales-Luna, Alexander Kochkarev, Ivan Shevchuk |
| 2013 | Studying Interrelationships of Safety and Security for Software Assurance in Cyber-Physical Systems: Approach Based on Bayesian Belief Networks. | Andrew J. Kornecki, Nary Subramanian, Janusz Zalewski |
| 2013 | Risk avoiding strategy in multi-agent trading system. | Jerzy Korczak, Marcin Hernes, Maciej Bac |
| 2013 | Design of Financial Knowledge in Dashboard for SME Managers. | Jerzy Korczak, Helena Dudycz, Miroslaw Dyczkowski |
| 2013 | LocFusion API - Programming Interface for Accurate Multi-Source Mobile Terminal Positioning. | Piotr Korbel, Piotr Wawrzyniak, Sebastian Grabowski, Dorota Krasinska |
| 2013 | Mobile Applications Aiding the Visually Impaired in Travelling with Public Transport. | Piotr Korbel, Piotr Skulimowski, Piotr Wasilewski, Piotr Wawrzyniak |
| 2013 | Time dependent global optimization via Bayesian inference and Sequential Monte Carlo sampling. | Piotr Kopka, Anna Wawrzynczak, Mieczyslaw Borysiewicz |
| 2013 | pLERO: Language for Grammar Refactoring Patterns. | Jn Kollr, Ivan Halupka, Sergej Chodarev, Emlia Pietrikov |
| 2013 | Improving the accessibility of touchscreen-based mobile devices: Integrating Android-based devices and Braille notetakers. | Daniel Kocielinski, Jolanta Brzostek-Pawlowska |
| 2013 | Towards Rule-oriented Business Process Model Generation. | Krzysztof Kluza, Grzegorz J. Nalepa |
| 2013 | Verification of ArchiMate process specifications based on deductive temporal reasoning. | Radoslaw Klimek, Piotr Szwed |
| 2013 | Verifying data integration agents with deduction-based models. | Radoslaw Klimek, Lukasz Faber, Marek Kisiel-Dorohinicki |
| 2013 | Towards deductive-based support for software development processes. | Radoslaw Klimek |
| 2013 | IaaS Cloud Model for e-Ordering and e-Invoicing. | Kiril Kiroski, Marjan Gusev, Sasko Ristov |