default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArtur Niewiadomski 0001
Person information
- affiliation: Siedlce University, Poland
Other persons with the same name
- Artur Niewiadomski 0002 — Warsaw University of Technology, Poland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c21]Artur Niewiadomski, Maciej Nazarczuk, Mateusz Przychodzki, Magdalena Kacprzak, Wojciech Penczek, Andrzej Zbrzezny:
SMT4SMTL: A Tool for SMT-Based Satisfiability Checking of SMTL. AAMAS 2024: 2815-2817- 2023
- [c20]Magdalena Kacprzak
, Artur Niewiadomski, Wojciech Penczek, Andrzej Zbrzezny:
SMT-Based Satisfiability Checking of Strategic Metric Temporal Logic. ECAI 2023: 1180-1189 - [i2]Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga:
MsATL: a Tool for SAT-Based ATL Satisfiability Checking. CoRR abs/2310.16519 (2023) - 2021
- [c19]Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek:
Satisfiability Checking of Strategy Logic with Simple Goals. KR 2021: 400-410 - [c18]Michal Kanski, Artur Niewiadomski, Magdalena Kacprzak, Wojciech Penczek, Wojciech Nabialek:
SMT-Based Unbounded Model Checking for ATL. VECoS 2021: 43-58 - 2020
- [c17]Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga:
MsATL: A Tool for SAT-Based ATL Satisfiability Checking. AAMAS 2020: 2111-2113 - [c16]Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek:
SAT-Based ATL Satisfiability Checking. KR 2020: 539-549 - [i1]Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek:
SAT-Based ATL Satisfiability Checking. CoRR abs/2002.03117 (2020)
2010 – 2019
- 2019
- [j13]Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk, Wojciech Penczek:
Applying Modern SAT-solvers to Solving Hard Problems. Fundam. Informaticae 165(3-4): 321-344 (2019) - 2018
- [j12]Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk, Wojciech Penczek:
SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME. Sci. Ann. Comput. Sci. 28(2): 269-288 (2018) - [j11]Artur Niewiadomski, Piotr Switalski, Marcin Kowalczyk, Wojciech Penczek:
TripICS - a Web Service Composition System for Planning Trips and Travels. Fundam. Informaticae 157(4): 403-425 (2018) - 2017
- [j10]Artur Niewiadomski, Wojciech Penczek, Jaroslaw Skaruz, Maciej Szreter, Agata Pólrola:
Combining ontology reductions with new approaches to automated abstract planning of Planics. Appl. Soft Comput. 53: 352-379 (2017) - 2016
- [j9]Artur Niewiadomski, Jaroslaw Skaruz, Piotr Switalski, Wojciech Penczek:
Concrete Planning in PlanICS Framework by Combining SMT with GEO and Simulated Annealing. Fundam. Informaticae 147(2-3): 289-313 (2016) - [c15]Artur Niewiadomski, Wojciech Penczek:
TripICS - a Web Service Composition System for Planning Trips and Travels (extended abstract). CS&P 2016: 171-179 - 2015
- [j8]Artur Niewiadomski, Wojciech Penczek:
SMT-Based Abstract Parametric Temporal Planning. Trans. Petri Nets Other Model. Concurr. 10: 55-83 (2015) - [c14]Jaroslaw Skaruz, Artur Niewiadomski, Wojciech Penczek:
Hybrid Planning by Combining SMT and Simulated Annealing. CS&P 2015: 173-176 - [c13]Michal Knapik, Artur Niewiadomski, Wojciech Penczek:
Generating None-Plans in Order to Find Plans. SEFM 2015: 310-324 - 2014
- [j7]Artur Niewiadomski, Jaroslaw Skaruz, Wojciech Penczek, Maciej Szreter, Mariusz Jarocki:
SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework. Fundam. Informaticae 135(4): 451-466 (2014) - [c12]Artur Niewiadomski, Wojciech Penczek:
SMT-based Abstract Temporal Planning. PNSE @ Petri Nets 2014: 55-74 - [c11]Lukasz Mikulski, Artur Niewiadomski, Marcin Piatkowski, Sebastian Smyczynski:
Generating CA-Plans from Multisets of Services. PNSE @ Petri Nets 2014: 347-348 - [c10]Artur Niewiadomski, Karsten Wolf:
LoLA as Abstract Planning Engine of PlanICS. PNSE @ Petri Nets 2014: 349-350 - [c9]Artur Niewiadomski, Wojciech Penczek:
PlanICS 2.0 - A Tool for Composing Services. PNSE @ Petri Nets 2014: 351-352 - [c8]Artur Niewiadomski, Wojciech Penczek, Jaroslaw Skaruz:
A Hybrid Approach to Web Service Composition Problem in the PlanICS Framework. MobiWIS 2014: 17-28 - [c7]Lukasz Mikulski, Artur Niewiadomski, Marcin Piatkowski, Sebastian Smyczynski:
On Generation of Context-Abstract Plans. SEFM Workshops 2014: 376-388 - 2013
- [c6]Artur Niewiadomski, Wojciech Penczek, Jaroslaw Skaruz:
SMT vs Genetic Algorithms: Concrete Planning in PlanICS Framework. CS&P 2013: 309-321 - [c5]Jaroslaw Skaruz, Artur Niewiadomski, Wojciech Penczek:
Automated abstract planning with use of genetic algorithms. GECCO (Companion) 2013: 129-130 - [c4]Artur Niewiadomski, Wojciech Penczek:
Towards SMT-based Abstract Planning in PlanICS Ontology. KEOD 2013: 123-131 - [c3]Jaroslaw Skaruz, Artur Niewiadomski, Wojciech Penczek:
Evolutionary Algorithms for Abstract Planning. PPAM (1) 2013: 392-401 - 2012
- [j6]Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny:
Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios. Fundam. Informaticae 120(2): 181-203 (2012) - [c2]Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Jaroslaw Skaruz:
HarmonICS - a Tool for Composing Medical Services. ZEUS 2012: 25-33 - 2011
- [j5]Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny:
PlanICS - a Web Service Composition Toolset. Fundam. Informaticae 112(1): 47-71 (2011) - 2010
- [j4]Michal Knapik, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny:
Parametric Model Checking with VerICS. Trans. Petri Nets Other Model. Concurr. 4: 98-120 (2010)
2000 – 2009
- 2009
- [j3]Artur Niewiadomski, Wojciech Penczek, Maciej Szreter:
A New Approach to Model Checking of UML State Machines. Fundam. Informaticae 93(1-3): 289-303 (2009) - [c1]Artur Niewiadomski, Wojciech Penczek, Maciej Szreter:
Towards Checking Parametric Reachability for UML State Machines. Ershov Memorial Conference 2009: 319-330 - 2008
- [j2]Magdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny:
VerICS 2007 - a Model Checker for Knowledge and Real-Time. Fundam. Informaticae 85(1-4): 313-328 (2008) - 2006
- [j1]Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski, Wojciech Penczek, Franco Raimondi, Maciej Szreter:
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol. Fundam. Informaticae 72(1-3): 215-234 (2006)
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-05-05 00:52 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:
