| Formal semantics and reasoning about uml class diagram M Szlenk 2006 International Conference on Dependability of Computer Systems, 51-59, 2006 | 67 | 2006 |
| Variable structure robot control systems: The RAPP approach C Zieliński, M Stefańczyk, T Kornuta, M Figat, W Dudek, W Szynkiewicz, ... Robotics and Autonomous Systems 94, 226-244, 2017 | 30 | 2017 |
| Reconfigurable control architecture for exploratory robots C Zieliński, W Szynkiewicz, M Figat, M Szlenk, T Kornuta, W Kasprzak, ... 2015 10th International Workshop on Robot Motion and Control (RoMoCo), 130-135, 2015 | 15 | 2015 |
| Reconfigurable agent architecture for robots utilising cloud computing M Szlenk, C Zieliński, M Figat, T Kornuta Progress in Automation, Robotics and Measuring Techniques, 253-264, 2015 | 14 | 2015 |
| Modelling architectural decisions under changing requirements M Szlenk, A Zalewski, S Kijas 2012 Joint Working IEEE/IFIP Conference on Software Architecture and …, 2012 | 12 | 2012 |
| UML static models in formal approach M Szlenk IFIP Central and East European Conference on Software Engineering Techniques …, 2007 | 11 | 2007 |
| Sterowniki o zmiennej strukturze w zastosowaniu do robotów społecznych C Zieliński, W Szynkiewicz, W Kasprzak, M Stefańczyk, M Figat, W Dudek, ... Prace Naukowe Politechniki Warszawskiej. Elektronika, 5--14, 2016 | 3 | 2016 |
| Distributed, reconfigurable architecture for robot companions exemplified by a voice-mail application M Figat, T Kornuta, M Szlenk, C Zieliński 2015 20th International Conference on Methods and Models in Automation and …, 2015 | 3 | 2015 |
| An evolution process for service-oriented systems A Zalewski, M Szlenk, S Kijas Computer Science 13, 2012 | 2 | 2012 |
| Formalna semantyka i wnioskowanie o pojęciowym diagramie klas w UML M Szlenk The Institute of Control and Computation Engineering, 2006 | 2 | 2006 |
| Metamodel and uml profile for functional programming languages M Szlenk Dependable Computer Systems, 233-242, 2011 | 1 | 2011 |
| Formal Semantics of Architectural Decision Models M Szlenk arXiv preprint arXiv:1807.02798, 2018 | | 2018 |
| (D2. 2.1) RAPP Stare-Care Behaviours Interaction Specyfication and Initial Implementation. RAPP Robotic Applications for Delivering Smart User Empowering Applications. FP7-ITC … M Szlenk, C Zieliński The Institute of Control and Computation Engineering, 2015 | | 2015 |
| D2. 2.2 RAPP Store-Core Behaviours Interaction Final Implementation M Szlenk, C Zieliński, M Figat | | 2013 |
| D2. 2.1 RAPP Store-Core Behaviours Interaction Specification and Initial Implementation M Szlenk, C Zieliński | | 2013 |
| Towards Precise Architectural Decision Models M Szlenk New Results in Dependability and Computer Systems, 449-458, 2013 | | 2013 |
| Algorithm for determining all finite paths in a 2D directed graph KA Markowski, M Szlenk, M Twardy Przegląd Elektrotechniczny 82 (1), 50-52, 2006 | | 2006 |
| A Practical Approach to the Chord Analysis in the Acoustical Recognition Process M Szlenk, W Homenda Computational Intelligence for Modelling and Prediction, 221-231, 2005 | | 2005 |
