The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Piotr Kosiuczenko: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Artur Zawlocki, Grzegorz Marczynski, Piotr Kosiuczenko
    Property Preserving Redesign of Specifications. [Citation Graph (0, 0)][DBLP]
    CALCO, 2005, pp:439-455 [Conf]
  2. Piotr Kosiuczenko
    Partial Order Semantics of Sequence Diagrams for Mobility. [Citation Graph (0, 0)][DBLP]
    Scenarios: Models, Transformations and Tools, 2003, pp:212-227 [Conf]
  3. Peter Csaba Ölveczky, Piotr Kosiuczenko, Martin Wirsing
    An Object-Oriented Algebraic Steam-Boiler Control Specification. [Citation Graph (0, 0)][DBLP]
    Formal Methods for Industrial Applications, 1995, pp:379-402 [Conf]
  4. Piotr Kosiuczenko
    Sequence Diagrams for Mobility. [Citation Graph (0, 0)][DBLP]
    ER (Workshops), 2002, pp:147-158 [Conf]
  5. Piotr Kosiuczenko
    Time in Message Sequence Charts: A Formal Approach (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1997, pp:562-566 [Conf]
  6. Piotr Kosiuczenko
    Formal Semantics of Basic Message Sequence Charts: an Algebraic Approach. [Citation Graph (0, 0)][DBLP]
    FBT, 1997, pp:135-144 [Conf]
  7. Piotr Kosiuczenko
    Towards a Formal Redesign of UML Class Diagrams. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (1), 2001, pp:655-661 [Conf]
  8. Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing
    UML for Global Computing. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2003, pp:1-24 [Conf]
  9. Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Martin Wirsing
    Extending Activity Diagrams to Model Mobile Systems. [Citation Graph (0, 0)][DBLP]
    NetObjectDays, 2002, pp:278-293 [Conf]
  10. Piotr Kosiuczenko
    Specification of Invariability in OCL. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2006, pp:676-691 [Conf]
  11. Piotr Kosiuczenko
    Formal Redesign of UML Class Diagrams. [Citation Graph (0, 0)][DBLP]
    pUML, 2001, pp:174-190 [Conf]
  12. Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki
    AGILE: Software Architecture for Mobility. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:1-33 [Conf]
  13. L. J. Steggles, Piotr Kosiuczenko
    A Formal Model for SDL Specifications Based on Timed Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2000, v:7, n:1, pp:61-90 [Journal]
  14. Piotr Kosiuczenko
    Proof Transformation via Interpretation Functions: Results, Problems and Applications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:3, pp:139-145 [Journal]
  15. Piotr Kosiuczenko, Martin Wirsing
    Formalizing and Executing Message Sequence Charts via Timed Rewriting. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:25, n:, pp:- [Journal]
  16. L. J. Steggles, Piotr Kosiuczenko
    A timed rewriting logic semantics for SDL: A case study of alternating bit protocol. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  17. Piotr Kosiuczenko, Karl Meinke
    On the Power of Higher-Order Algebraic Specification Methods. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:124, n:1, pp:85-101 [Journal]
  18. Piotr Kosiuczenko, Martin Wirsing
    Timed Rewriting Logic with an Application to Object-Based Specification. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:28, n:2-3, pp:225-246 [Journal]
  19. Piotr Kosiuczenko, Georgios Lajios
    Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:4, pp:73-86 [Journal]

  20. On the Implementation of @pre. [Citation Graph (, )][DBLP]


  21. An Abstract Machine for the Old Value Retrieval. [Citation Graph (, )][DBLP]


Search in 0.019secs, Finished in 0.020secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002