default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTomasz Szmuc
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
[j3]Tomasz Szmuc
, Rafal Mrówka, Marek Branka, Jakub Ficon, Piotr Pieta:
A Novel Method for Fast Generation of 3D Objects from Multiple Depth Sensors. J. Artif. Intell. Soft Comput. Res. 13(2): 95-105 (2023)- 2021
- [j2]Piotr Pieta, Tomasz Szmuc:
Applications of rough sets in big data analysis: An overview. Int. J. Appl. Math. Comput. Sci. 31(4): 659-683 (2021) - 2009
- [j1]Slawomir Samolej, Tomasz Szmuc:
Web-Server Systems HTCPNs-Based Development Tool Application in Load Balance Modelling. e Informatica Softw. Eng. J. 3(1): 139-153 (2009)
Conference and Workshop Papers
- 2020
- [c13]Tomasz Szmuc, Wojciech Szmuc:
Consistency Preserving Development of Embedded Systems Using AADL. MIXDES 2020: 245-248 - [c12]Tomasz Szmuc, Wojciech Szmuc:
Rigorous Development of Embedded Systems Supported by Formal Tools. MIXDES 2020: 272-276 - 2018
- [c11]Wojciech Szmuc, Tomasz Szmuc:
Towards Embedded Systems Formal Verification Translation from SysML into Petri Nets. MIXDES 2018: 420-423 - 2016
- [c10]Wojciech Szmuc, Tomasz Szmuc:
Modeling UML object event handling with Petri nets. MIXDES 2016: 454-457 - 2015
- [c9]Tomasz Szmuc, Marcin Szpyrka:
Formal methods - Support or scientific decoration in software development? MIXDES 2015: 24-31 - 2012
- [c8]Konrad Kulakowski, Tomasz Szmuc:
Modeling Robot Behavior with CCL. SIMPAR 2012: 40-51 - [c7]Tomasz Szmuc, Leszek Kotulski, Bartosz Wojszczyk, Adam Sedziwy:
Green AGH Campus. SMARTGREENS 2012: 159-162 - 2009
- [c6]Slawomir Samolej, Tomasz Szmuc:
HTCPNs-Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration. CEE-SET 2009: 97-108 - 2008
- [c5]Slawomir Samolej, Tomasz Szmuc:
HTCPNs-Based Tool for Web-Server Clusters Development. CEE-SET 2008: 131-142 - [c4]Rafal Mrowka, Tomasz Szmuc:
UML Statecharts Compositional Semantics in LOTOS. ISPDC 2008: 459-463 - 2007
- [c3]Marcin Szpyrka, Tomasz Szmuc:
Decision Tables in Petri Net Models. RSEISP 2007: 648-657 - 2006
- [c2]Marcin Szpyrka, Tomasz Szmuc:
Integrated Approach to Modelling and Analysis using RTCP-nets. SET 2006: 115-120 - [c1]Marcin Szpyrka, Tomasz Szmuc:
Verification of Automatic Train Protection Systems with RTCP-Nets. SAFECOMP 2006: 344-357
Parts in Books or Collections
- 2013
- [p3]Marcin Szpyrka, Tomasz Szmuc:
Design and Verification of Rule-Based Systems for Alvis Models. Rough Sets and Intelligent Systems (2) 2013: 539-558 - 2005
- [p2]Slawomir Samolej, Tomasz Szmuc:
TCPN-Based Tool for Timing Constraints Modelling and Validation. Software Engineering: Evolution and Emerging Technologies 2005: 194-205 - [p1]Grzegorz Rogus, Tomasz Szmuc:
Modeling and Verification of Reactive Software Using LOTOS. Software Engineering: Evolution and Emerging Technologies 2005: 365-377
Editorship
- 2012
- [e2]Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka:
Advances in Software Engineering Techniques - 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers. Lecture Notes in Computer Science 7054, Springer 2012, ISBN 978-3-642-28037-5 [contents] - 2005
- [e1]Krzysztof Zielinski, Tomasz Szmuc:
Software Engineering: Evolution and Emerging Technologies. Frontiers in Artificial Intelligence and Applications 130, IOS Press 2005, ISBN 978-1-58603-559-4 [contents]
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:16 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:
