Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Kosiuczenko, Piotr
21  Ergebnisse:
Personensuche X
?
1

Temporal Analysis and Classification of Sensor Signals:

Kosiuczenko, Piotr
Sensors.  23 (2023)  6 - p. 3017 , 2023
Link: https://doi.org/10.3390/..
 
?
2

An Interval Temporal Logic for Time Series Specification an..:

Kosiuczenko, Piotr
Remote Sensing.  13 (2021)  12 - p. 2236 , 2021
Link: https://doi.org/10.3390/..
 
?
3

Engineering Software Systems: Research and Praxis 

Advances in Intelligent Systems and Computing, 830
Kosiuczenko, Piotr ; Zieliński, Zbigniew - 1st ed. 2019 . , 2019
Link: https://doi.org/10.1007/..
 
?
4

On the Functional Specification of Queries in OCL:

, In: Advances in Intelligent Systems and Computing; Engineering Software Systems: Research and Praxis,
Kosiuczenko, Piotr - p. 53-68 , 2018
Link: https://doi.org/10.1007/..
 
?
5

On the synthesis of protocol state machines from contracts:

, In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems,
Kosiuczenko, Piotr - p. 76-85 , 2016
Link: https://dl.acm.org/doi/1..
 
?
6

Specification of invariability in OCL: Specifying invariabl..:

Kosiuczenko, Piotr
Software & Systems Modeling.  12 (2011)  2 - p. 415-434 , 2011
Link: https://doi.org/10.1007/..
 
?
7

Simulation of Generalised Semi-Markov Processes based on Gr..:

Kosiuczenko, Piotr ; Lajios, Georgios
Electronic Notes in Theoretical Computer Science.  175 (2007)  4 - p. 73-86 , 2007
Link: https://doi.org/10.1016/..
 
?
8

Redesign of UML class diagrams: a formal approach:

Kosiuczenko, Piotr
Software & Systems Modeling.  8 (2007)  2 - p. 165-183 , 2007
Link: https://doi.org/10.1007/..
 
?
9

Specification of Invariability in OCL:

, In: Model Driven Engineering Languages and Systems; Lecture Notes in Computer Science,
Kosiuczenko, Piotr - p. 676-691 , 2006
Link: https://doi.org/10.1007/..
 
?
10

Specification of invariability in OCL:

, In: Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems,
Kosiuczenko, Piotr - p. 676-691 , 2006
Link: https://dl.acm.org/doi/1..
 
?
11

Proof Transformation via Interpretation Functions: Results,..:

Kosiuczenko, Piotr
Electronic Notes in Theoretical Computer Science.  127 (2005)  3 - p. 139-145 , 2005
Link: https://doi.org/10.1016/..
 
?
12

A Timed Rewriting Logic Semantics for SDL: A Case Study of ..:

Steggles, L.J. ; Kosiuczenko, Piotr
Electronic Notes in Theoretical Computer Science.  15 (1998)  - p. 83-104 , 1998
Link: https://doi.org/10.1016/..
 
?
13

Timed rewriting logic with an application to object-based s..:

Kosiuczenko, Piotr ; Wirsing, Martin
Science of Computer Programming.  28 (1997)  2-3 - p. 225-246 , 1997
Link: https://doi.org/10.1016/..
 
?
14

Mal'cev-type conditions for partial algebras:

Kosiuczenko, Piotr
Algebra Universalis.  31 (1994)  4 - p. 467-474 , 1994
Link: https://doi.org/10.1007/..
 
?
15

Temporal Analysis and Classification of Sensor Signals:

Kosiuczenko, Piotr
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC10052952/.  , 2023
Link: http://www.ncbi.nlm.nih...
 
1-15