- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c9 |      | Jorn Bakker, Leszek Holenderski, Rafal Kocielnik, Mykola Pechenizkiy, Natalia Sidorova: Stess@Work: from measuring stress to its understanding, prediction and handling with personalized coaching. IHI 2012: 673-678 |
| 2002 | ||
| j7 | | |
| 2001 | ||
| c8 | | Dragan Bosnacki, Dennis Dams, Leszek Holenderski: A Heuristic for Symmetry Reductions with Scalarsets. FME 2001: 518-533 |
| c7 | | |
| 2000 | ||
| c6 | | |
| c5 | | |
| c4 | | Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova: Model Checking SDL with Spin. TACAS 2000: 363-377 |
| 1998 | ||
| j6 | | Axel Poigné, Matthew Morley, Olivier Maffeïs, Leszek Holenderski, Reinhard Budde: The Synchronous Approach to Designing Reactive Systems. Formal Methods in System Design 12(2): 163-187 (1998) |
| 1997 | ||
| c3 | | |
| c2 |  | Leszek Holenderski, Axel Poigné: Synchronous Automata for Synchronous Programming Languages. FBT 1997: 129-134 |
| 1995 | ||
| j5 | | Monika Müllerburg, Leszek Holenderski, Olivier Maffeïs, Agathe Merceron, Matthew Morley: Systematic testing and formal verification to validate reactive programs. Software Quality Journal 4(4): 287-307 (1995) |
| c1 | | |
| 1988 | ||
| j4 | | Leszek Holenderski, Andrzej Szalas: Propositional Description of Finite Cause-Effect Structures. Inf. Process. Lett. 27(3): 111-117 (1988) |
| j3 | | Andrzej Szalas, Leszek Holenderski: Incompleteness of First-Order Temporal Logic with Until. Theor. Comput. Sci. 57: 317-325 (1988) |
| 1986 | ||
| j2 | | Leszek Holenderski: The Correctness of Nondeterministic Programs Revisited. Inf. Process. Lett. 23(6): 299-303 (1986) |
| 1984 | ||
| j1 | | Leszek Holenderski: A Note on Specifying and Verifying Concurrent Processes. Inf. Process. Lett. 18(2): 77-85 (1984) |
Colors in the list of coauthors
Last update Thu May 23 06:35:36 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page