Wiesław Pawłowski
Wiesław Pawłowski
Dept. of Mathematics, Physics, and Informatics, University of Gdańsk
Verified email at inf.ug.edu.pl
TitleCited byYear
Modelling mobility with Petri hypernets
MA Bednarczyk, L Bernardinello, W Pawłowski, L Pomello
International Workshop on Algebraic Development Techniques, 28-44, 2004
632004
Semantic interoperability in the Internet of Things: An overview from the INTER-IoT perspective
M Ganzha, M Paprzycki, W Pawłowski, P Szmeja, K Wasielewska
Journal of Network and Computer Applications 81, 111-124, 2017
542017
Combining and representing logical systems using model-theoretic parchments
T Mossakowski, A Tarlecki, W Pawłowski
International Workshop on Algebraic Development Techniques, 349-364, 1997
381997
Modular system development with pullbacks
MA Bednarczyk, L Bernardinello, B Caillaud, W Pawłowski, L Pomello
International Conference on Application and Theory of Petri Nets, 140-160, 2003
372003
Generalized Congruences| Epimorphisms in Cat
MA Bednarczyk, AM Borzyszkowski, W Pawlowski
Theory and Applications of Categories 5 (11), 266-280, 1999
371999
Combining and representing logical systems
T Mossakowski, A Tarlecki, W Pawłowski
International Conference on Category Theory and Computer Science, 177-196, 1997
351997
The formal semantics of ISO VDM-SL
PG Larsen, W Pawlowski
Computer standards & interfaces 17 (5-6), 585-601, 1995
341995
Semantic technologies for the iot-an inter-iot perspective
M Ganzha, M Paprzycki, W Pawlowski, P Szmeja, K Wasielewska
2016 IEEE First International Conference on Internet-of-Things Design and …, 2016
272016
Context institutions
W Pawłowski
Recent Trends in Data Type Specification, 436-457, 1995
181995
Towards semantic interoperability between Internet of Things platforms
M Ganzha, M Paprzycki, W Pawłowski, P Szmeja, K Wasielewska
Integration, interconnection, and interoperability of iot systems, 103-127, 2018
152018
From implicit semantics towards ontologies—practical considerations from the INTER-IoT perspective
M Ganzha, M Paprzycki, W Pawłowski, P Szmeja, K Wasielewska, ...
2017 14th IEEE Annual Consumer Communications & Networking Conference (CCNC …, 2017
112017
Tools for ontology matching—practical considerations from INTER-IoT perspective
M Ganzha, M Paprzycki, W Pawłowski, P Szmeja, K Wasielewska, ...
International Conference on Internet and Distributed Computing Systems, 296-307, 2016
102016
Modelling Mobility with Petri Hypernets. 17th Int. Conf. on Recent Trends in Algebraic Development Techniques, WADT’04. LNCS vol. 3423
MA Bednarczyk, L Bernardinello, W Pawlowski, L Pomello
Springer-Verlag, 2004
92004
Towards common vocabulary for IoT ecosystems—preliminary considerations
M Ganzha, M Paprzycki, W Pawłowski, P Szmeja, K Wasielewska
Asian Conference on Intelligent Information and Database Systems, 35-45, 2017
82017
Expressing and verifying temporal and structural properties of mobile agents
MA Bednarczyk, W Jamroga, W Pawłowski
Fundamenta Informaticae 72 (1-3), 51-63, 2006
82006
Towards IoT Platforms' Integration Semantic Translations between W3C SSN and ETSI SAREF.
J Moreira, L Daniele, LF Pires, M van Sinderen, K Wasielewska, P Szmeja, ...
SEMANTICS Workshops, 2017
72017
Petri Hypernets with Constraints
W Pawlowski
Proc.“Concurrency, Specification and Programming (CS&P 2009), 467-479, 2009
72009
Context parchments
W Pawłowski
International Workshop on Algebraic Development Techniques, 381-401, 1997
71997
Towards the semantics of the definitional language of MetaSoft
MA Bednarczyk, AM Borzyszkowski, W Pawłowski
International Symposium of VDM Europe, 477-503, 1990
71990
Streaming semantic translations
M Ganzha, M Paprzycki, W Pawłowski, P Szmeja, K Wasielewska
2017 21st International Conference on System Theory, Control and Computing …, 2017
62017
The system can't perform the operation now. Try again later.
Articles 1–20