Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Piotr Kosiuczenko
@article{DBLP:journals/sensors/Kosiuczenko23,
author = {Piotr Kosiuczenko},
title = {Temporal Analysis and Classification of Sensor Signals},
journal = {Sensors},
volume = {23},
number = {6},
pages = {3017},
year = {2023},
url = {https://doi.org/10.3390/s23063017},
doi = {10.3390/S23063017},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/Kosiuczenko23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/Kosiuczenko21,
author = {Piotr Kosiuczenko},
title = {An Interval Temporal Logic for Time Series Specification and Data
Integration},
journal = {Remote. Sens.},
volume = {13},
number = {12},
pages = {2236},
year = {2021},
url = {https://doi.org/10.3390/rs13122236},
doi = {10.3390/RS13122236},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/Kosiuczenko21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kkio/2018,
editor = {Piotr Kosiuczenko and
Zbigniew Zielinski},
title = {Engineering Software Systems: Research and Praxis [papers from {KKIO}
2018, Pultusk, Poland, 27-28 September 2018]},
series = {Advances in Intelligent Systems and Computing},
volume = {830},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-99617-2},
doi = {10.1007/978-3-319-99617-2},
isbn = {978-3-319-99616-5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kkio/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kkio/Kosiuczenko18,
author = {Piotr Kosiuczenko},
editor = {Piotr Kosiuczenko and
Zbigniew Zielinski},
title = {On the Functional Specification of Queries in {OCL}},
booktitle = {Engineering Software Systems: Research and Praxis [papers from {KKIO}
2018, Pultusk, Poland, 27-28 September 2018]},
series = {Advances in Intelligent Systems and Computing},
volume = {830},
pages = {53--68},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99617-2\_4},
doi = {10.1007/978-3-319-99617-2\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kkio/Kosiuczenko18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kkio/2017,
editor = {Piotr Kosiuczenko and
Lech Madeyski},
title = {Towards a Synergistic Combination of Research and Practice in Software
Engineering [papers from {KKIO} 2017, Rzesz{\'{o}}w, Poland,
14-16 September 2017]},
series = {Studies in Computational Intelligence},
volume = {733},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-65208-5},
doi = {10.1007/978-3-319-65208-5},
isbn = {978-3-319-65207-8},
timestamp = {Mon, 06 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kkio/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kkio/Kosiuczenko17,
author = {Piotr Kosiuczenko},
editor = {Piotr Kosiuczenko and
Lech Madeyski},
title = {Ensuring the Strong Exception Safety},
booktitle = {Towards a Synergistic Combination of Research and Practice in Software
Engineering [papers from {KKIO} 2017, Rzesz{\'{o}}w, Poland,
14-16 September 2017]},
series = {Studies in Computational Intelligence},
volume = {733},
pages = {63--76},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65208-5\_5},
doi = {10.1007/978-3-319-65208-5\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kkio/Kosiuczenko17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Kosiuczenko16,
author = {Piotr Kosiuczenko},
editor = {Benoit Baudry and
Beno{\^{\i}}t Combemale},
title = {On the synthesis of protocol state machines from contracts},
booktitle = {Proceedings of the {ACM/IEEE} 19th International Conference on Model
Driven Engineering Languages and Systems, Saint-Malo, France, October
2-7, 2016},
pages = {76--85},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2976783},
timestamp = {Tue, 06 Nov 2018 16:57:17 +0100},
biburl = {https://dblp.org/rec/conf/models/Kosiuczenko16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Kosiuczenko13,
author = {Piotr Kosiuczenko},
title = {On the Validation of Invariants at Runtime},
journal = {Fundam. Informaticae},
volume = {125},
number = {2},
pages = {183--222},
year = {2013},
url = {https://doi.org/10.3233/FI-2013-859},
doi = {10.3233/FI-2013-859},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Kosiuczenko13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Kosiuczenko13,
author = {Piotr Kosiuczenko},
title = {Specification of invariability in {OCL} - Specifying invariable system
parts and views},
journal = {Softw. Syst. Model.},
volume = {12},
number = {2},
pages = {415--434},
year = {2013},
url = {https://doi.org/10.1007/s10270-011-0215-y},
doi = {10.1007/S10270-011-0215-Y},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/Kosiuczenko13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/Kosiuczenko12,
author = {Piotr Kosiuczenko},
editor = {Zhenjiang Hu and
Juan de Lara},
title = {The Impact of Class Model Redesign on State Machines},
booktitle = {Theory and Practice of Model Transformations - 5th International Conference,
ICMT@TOOLS 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7307},
pages = {264--279},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30476-7\_18},
doi = {10.1007/978-3-642-30476-7\_18},
timestamp = {Wed, 24 Jun 2020 13:02:21 +0200},
biburl = {https://dblp.org/rec/conf/icmt/Kosiuczenko12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Kosiuczenko10,
author = {Piotr Kosiuczenko},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {An Abstract Machine for the Old Value Retrieval},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {229--247},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_14},
doi = {10.1007/978-3-642-13321-3\_14},
timestamp = {Sat, 16 Oct 2021 20:00:44 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Kosiuczenko10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Kosiuczenko09,
author = {Piotr Kosiuczenko},
title = {Redesign of {UML} class diagrams: a formal approach},
journal = {Softw. Syst. Model.},
volume = {8},
number = {2},
pages = {165--183},
year = {2009},
url = {https://doi.org/10.1007/s10270-007-0068-6},
doi = {10.1007/S10270-007-0068-6},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/Kosiuczenko09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/Kosiuczenko09,
author = {Piotr Kosiuczenko},
editor = {Marsha Chechik and
Martin Wirsing},
title = {On the Implementation of @pre},
booktitle = {Fundamental Approaches to Software Engineering, 12th International
Conference, {FASE} 2009, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2009, York, UK, March
22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5503},
pages = {246--261},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00593-0\_17},
doi = {10.1007/978-3-642-00593-0\_17},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/Kosiuczenko09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Kosiuczenko06,
author = {Piotr Kosiuczenko},
editor = {Oscar Nierstrasz and
Jon Whittle and
David Harel and
Gianna Reggio},
title = {Specification of Invariability in {OCL}},
booktitle = {Model Driven Engineering Languages and Systems, 9th International
Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4199},
pages = {676--691},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11880240\_47},
doi = {10.1007/11880240\_47},
timestamp = {Tue, 24 May 2022 15:28:49 +0200},
biburl = {https://dblp.org/rec/conf/models/Kosiuczenko06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KosiuczenkoL07,
author = {Piotr Kosiuczenko and
Georgios Lajios},
editor = {Arend Rensink and
Reiko Heckel and
Barbara K{\"{o}}nig},
title = {Simulation of Generalised Semi-Markov Processes based on Graph Transformation
Systems},
booktitle = {Proceedings of the Workshop on Graph Transformation for Concurrency
and Verification, GT-VC@CONCUR 2006, Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {4},
pages = {73--86},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.04.018},
doi = {10.1016/J.ENTCS.2007.04.018},
timestamp = {Tue, 24 Jan 2023 11:47:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KosiuczenkoL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/ZawlockiMK05,
author = {Artur Zawlocki and
Grzegorz Marczynski and
Piotr Kosiuczenko},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Neil Harman and
Markus Roggenbach and
Jan J. M. M. Rutten},
title = {Property Preserving Redesign of Specifications},
booktitle = {Algebra and Coalgebra in Computer Science: First International Conference,
{CALCO} 2005, Swansea, UK, September 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3629},
pages = {439--455},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11548133\_28},
doi = {10.1007/11548133\_28},
timestamp = {Wed, 19 May 2021 08:32:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/ZawlockiMK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kosiuczenko05,
author = {Piotr Kosiuczenko},
editor = {Reiko Heckel and
Tom Mens},
title = {Proof Transformation via Interpretation Functions: Results, Problems
and Applications},
booktitle = {Proceedings of the Workshop on Software Evolution through Transformations:
Model-based vs. Implementation-level Solutions, SETra@ICGT 2004, Rome,
Italy, October 2, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {127},
number = {3},
pages = {139--145},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.040},
doi = {10.1016/J.ENTCS.2004.08.040},
timestamp = {Mon, 12 Dec 2022 14:43:05 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kosiuczenko05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Kosiuczenko03,
author = {Piotr Kosiuczenko},
editor = {Stefan Leue and
Tarja Syst{\"{a}}},
title = {Partial Order Semantics of Sequence Diagrams for Mobility},
booktitle = {Scenarios: Models, Transformations and Tools, International Workshop,
Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3466},
pages = {212--227},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/11495628\_12},
doi = {10.1007/11495628\_12},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Kosiuczenko03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/global/BaumeisterKKSW03,
author = {Hubert Baumeister and
Nora Koch and
Piotr Kosiuczenko and
Perdita Stevens and
Martin Wirsing},
editor = {Corrado Priami},
title = {{UML} for Global Computing},
booktitle = {Global Computing. Programming Environments, Languages, Security, and
Analysis of Systems, {IST/FET} International Workshop, {GC} 2003,
Rovereto, Italy, February 9-14, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2874},
pages = {1--24},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40042-4\_1},
doi = {10.1007/978-3-540-40042-4\_1},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/global/BaumeisterKKSW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/Kosiuczenko02,
author = {Piotr Kosiuczenko},
editor = {Marcela Genero and
Fabio Grandi and
Willem{-}Jan van den Heuvel and
John Krogstie and
Kalle Lyytinen and
Heinrich C. Mayr and
Jim Nelson and
Antoni Oliv{\'{e}} and
Mario Piattini and
Geert Poels and
John F. Roddick and
Keng Siau and
Masatoshi Yoshikawa and
Eric S. K. Yu},
title = {Sequence Diagrams for Mobility},
booktitle = {Advanced Conceptual Modeling Techniques, {ER} 2002 Workshops: ECDM,
MobIMod, IWCMQ, and eCOMO, Tampere, Finland, October 7-11, 2002, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2784},
pages = {147--158},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45275-1\_13},
doi = {10.1007/978-3-540-45275-1\_13},
timestamp = {Tue, 30 Jun 2020 07:48:06 +0200},
biburl = {https://dblp.org/rec/conf/er/Kosiuczenko02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jit/BaumeisterKKW02,
author = {Hubert Baumeister and
Nora Koch and
Piotr Kosiuczenko and
Martin Wirsing},
editor = {Mehmet Aksit and
Mira Mezini and
Rainer Unland},
title = {Extending Activity Diagrams to Model Mobile Systems},
booktitle = {Objects, Components, Architectures, Services, and Applications for
a Networked World, International Conference NetObjectDays, NODe 2002,
Erfurt, Germany, October 7-10, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2591},
pages = {278--293},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36557-5\_21},
doi = {10.1007/3-540-36557-5\_21},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/jit/BaumeisterKKW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02,
author = {Lu{\'{\i}}s Andrade and
Paolo Baldan and
Hubert Baumeister and
Roberto Bruni and
Andrea Corradini and
Rocco De Nicola and
Jos{\'{e}} Luiz Fiadeiro and
Fabio Gadducci and
Stefania Gnesi and
Piotr Hoffman and
Nora Koch and
Piotr Kosiuczenko and
Alessandro Lapadula and
Diego Latella and
Ant{\'{o}}nia Lopes and
Michele Loreti and
Mieke Massink and
Franco Mazzanti and
Ugo Montanari and
Crist{\'{o}}v{\~{a}}o Oliveira and
Rosario Pugliese and
Andrzej Tarlecki and
Michel Wermelinger and
Martin Wirsing and
Artur Zawlocki},
editor = {Martin Wirsing and
Dirk Pattinson and
Rolf Hennicker},
title = {{AGILE:} Software Architecture for Mobility},
booktitle = {Recent Trends in Algebraic Development Techniques, 16th International
Workshop, {WADT} 2002, Frauenchiemsee, Germany, September 24-27, 2002,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2755},
pages = {1--33},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40020-2\_1},
doi = {10.1007/978-3-540-40020-2\_1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jid/KosiuczenkoW01,
author = {Piotr Kosiuczenko and
Martin Wirsing},
title = {Towards an Integration of Message sequence Charts and Timed Maude},
journal = {Trans. {SDPS}},
volume = {5},
number = {1},
pages = {23--44},
year = {2001},
url = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid5-1-03},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jid/KosiuczenkoW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Kosiuczenko01,
author = {Piotr Kosiuczenko},
editor = {Kurt Bauknecht and
Wilfried Brauer and
Thomas A. M{\"{u}}ck},
title = {Towards a Formal Redesign of {UML} Class Diagrams},
booktitle = {Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft
f{\"{u}}r Informatik, Wirtschaft und Wissenschaft in der Network
Economy - Visionen und Wirklichkeit, Jahrestagung der {\"{O}}sterreichischen
Computer Gesellschaft 2001, {INFORMATIK/OCG} 2001, Vienna, Austria,
September 25-28, 2001, Band 1},
series = {Schriftenreihe der {\"{O}}sterreichischen Computer-Gesellschaft},
volume = {157},
pages = {655--661},
publisher = {Konstanz UVK-Verl.-Ges.},
year = {2001},
timestamp = {Fri, 17 Jul 2020 14:28:31 +0200},
biburl = {https://dblp.org/rec/conf/gi/Kosiuczenko01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/Kosiuczenko01,
author = {Piotr Kosiuczenko},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {Formal Redesign of {UML} Class Diagrams},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {174--190},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30853},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/Kosiuczenko01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/StegglesK00,
author = {L. J. Steggles and
Piotr Kosiuczenko},
title = {A Formal Model for {SDL} Specifications Based on Timed Rewriting Logic},
journal = {Autom. Softw. Eng.},
volume = {7},
number = {1},
pages = {61--90},
year = {2000},
url = {https://doi.org/10.1023/A:1008717317533},
doi = {10.1023/A:1008717317533},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/StegglesK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KosiuczenkoW99,
author = {Piotr Kosiuczenko and
Martin Wirsing},
editor = {Luqi and
Manfred Broy},
title = {Formalizing and Executing Message Sequence Charts via Timed Rewriting},
booktitle = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
for Computer Basesd Systems, Carmel, California, USA, October 23-26,
1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {25},
pages = {50--61},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(04)00131-8},
doi = {10.1016/S1571-0661(04)00131-8},
timestamp = {Wed, 23 Nov 2022 16:14:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KosiuczenkoW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/StegglesK98,
author = {L. J. Steggles and
Piotr Kosiuczenko},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {A timed rewriting logic semantics for {SDL:} {A} case study of alternating
bit protocol},
booktitle = {1998 International Workshop on Rewriting Logic and its Applications,
{WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
France, September 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {15},
pages = {83--104},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)82554-X},
doi = {10.1016/S1571-0661(05)82554-X},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/StegglesK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KosiuczenkoW97,
author = {Piotr Kosiuczenko and
Martin Wirsing},
title = {Timed Rewriting Logic with an Application to Object-Based Specification},
journal = {Sci. Comput. Program.},
volume = {28},
number = {2-3},
pages = {225--246},
year = {1997},
url = {https://doi.org/10.1016/S0167-6423(96)00024-X},
doi = {10.1016/S0167-6423(96)00024-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KosiuczenkoW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/Kosiuczenko97,
author = {Piotr Kosiuczenko},
editor = {Christian Lengauer and
Martin Griebl and
Sergei Gorlatch},
title = {Time in Message Sequence Charts: {A} Formal Approach (Extended Abstract)},
booktitle = {Euro-Par '97 Parallel Processing, Third International Euro-Par Conference,
Passau, Germany, August 26-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1300},
pages = {562--566},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0002783},
doi = {10.1007/BFB0002783},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/Kosiuczenko97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Kosiuczenko97,
author = {Piotr Kosiuczenko},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Formal Semantics of Basic Message Sequence Charts: an Algebraic Approach},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {135--144},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Thu, 27 Mar 2003 09:36:35 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Kosiuczenko97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KosiuczenkoM96,
author = {Piotr Kosiuczenko and
Karl Meinke},
title = {On the Power of Higher-Order Algebraic Specification Methods},
journal = {Inf. Comput.},
volume = {124},
number = {1},
pages = {85--101},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0007},
doi = {10.1006/INCO.1996.0007},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KosiuczenkoM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/OveczkyKW95,
author = {Peter Csaba {\"{O}}lveczky and
Piotr Kosiuczenko and
Martin Wirsing},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {An Object-Oriented Algebraic Steam-Boiler Control Specification},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {379--402},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027246},
doi = {10.1007/BFB0027246},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/OveczkyKW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
