![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Exact matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 23 matches
- 2024
- Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden R. Codel, Mario Carneiro, Marijn J. H. Heule:
Formal Verification of the Empty Hexagon Number. CoRR abs/2403.17370 (2024) - 2023
- Jeremy Avigad
, Seulkee Baek, Alexander Bentkamp, Marijn Heule, Wojciech Nawrocki:
An Impossible Asylum. Am. Math. Mon. 130(5): 446-453 (2023) - Wojciech Nawrocki, Edward W. Ayers, Gabriel Ebner:
An Extensible User Interface for Lean 4. ITP 2023: 24:1-24:20 - Randal E. Bryant
, Wojciech Nawrocki, Jeremy Avigad, Marijn J. H. Heule:
Certified Knowledge Compilation with Application to Verified Model Counting. SAT 2023: 6:1-6:20 - 2021
- Piotr Nawrocki, Wojciech Kubaty:
Assessment of the Viability of a Biometric Characteristic in the Context of Biometric Authentication on Mobile Devices. Comput. Informatics 40(1): 169-194 (2021) - Blake A. Sweeney
, Anton I. Petrov, Carlos Eduardo Ribas, Robert D. Finn, Alex Bateman
, Maciej Szymanski, Wojciech M. Karlowski, Stefan E. Seemann, Jan Gorodkin, Jamie J. Cannone, Robin Ray Gutell
, Simon Kay, Steven J. Marygold, Gilberto dos Santos, Adam Frankish
, Jonathan M. Mudge
, Ruth Barshir, Simon Fishilevich, Patricia P. Chan, Todd M. Lowe, Ruth L. Seal, Elspeth A. Bruford
, Simona Panni, Pablo Porras
, Dimitra Karagkouni, Artemis G. Hatzigeorgiou, Lina Ma, Zhang Zhang, Pieter-Jan Volders, Pieter Mestdagh, Sam Griffiths-Jones, Bastian Fromm, Kevin J. Peterson, Ioanna Kalvari, Eric P. Nawrocki, Anton S. Petrov, Shuai Weng, Philia Bouchard-Bourelle, Michelle S. Scott, Lauren M. Lui, David Hoksza, Ruth C. Lovering, Barbara Kramarz, Prita Mani, Sridhar Ramachandran, Zasha Weinberg:
RNAcentral 2021: secondary structure integration, improved sequence search and new member databases. Nucleic Acids Res. 49(Database-Issue): D212-D220 (2021) - Wojciech Nawrocki
, Zhenjun Liu, Andreas Fröhlich
, Marijn J. H. Heule
, Armin Biere
:
XOR Local Search for Boolean Brent Equations. SAT 2021: 417-435 - Jeremy Avigad, Seulkee Baek, Alexander Bentkamp, Marijn Heule, Wojciech Nawrocki:
An Impossible Asylum. CoRR abs/2112.02142 (2021) - 2017
- Piotr Nawrocki
, Wojciech Reszelewski:
Resource usage optimization in Mobile Cloud Computing. Comput. Commun. 99: 1-12 (2017) - 2015
- Pawel Bachara, Robert Brzoza-Woch, Jacek Dlugopolski, Piotr Nawrocki, Andrzej Ruta, Wojciech Zaborowski, Krzysztof Zielinski:
Construction of Hardware Components for the Internet of Services. Comput. Informatics 34(4): 911-940 (2015) - 2014
- Robert Brzoza-Woch, Lukasz Czekierda, Jacek Dlugopolski, Piotr Nawrocki
, Marek Psiuk, Tomasz Szydlo
, Wojciech Zaborowski, Krzysztof Zielinski, Daniel Zmuda:
Implementation, Deployment and Governance of SOA Adaptive Systems. Advanced SOA Tools and Applications 2014: 261-323 - 2012
- Artur Binczewski, Michal Bluj, Antoni Cyz, Michal Dwuznik, Maciej Filocha, Lukasz Flis, Ryszard Gokieli, Jaroslaw Iwaszkiewicz, Marek Kowalski, Patryk Lason, Rafal Lichwala, Michal Lopuszynski, Marek Magrys, Piotr Malecki, Norbert Meyer, Krzysztof Nawrocki, Andrzej Olszewski, Andrzej Ozieblo, Adam Padee, Henryk Palka, Marcin Pospieszny, Marcin Radecki, Radoslaw Rowicki, Dorota Stojda, Marcin Stolarek, Tomasz Szepieniec, Tadeusz Szymocha, Michal Turala, Karol Wawrzyniak, Wojciech Wislicki
, Mariusz Witek, Pawel Wolniewicz
:
Polish Contribution to the Worldwide LHC Computing. PL-Grid 2012: 285-300 - 2008
- Jorge Gomes, Gonçalo Borges, M. Montecelo, Mário David, B. Silva, Nuno Dias, João Paulo Martins, Carlos Fernández, L. García-Tarrés, C. Veiga, D. Cordero, J. López, J. Marco, I. Campos, D. Rodriguez, R. Marco, A. López, P. Orviz, A. Hammad, M. Hardt, E. Fernández, Elisa Heymann, Miquel A. Senar, Adam Padee, Krzysztof Nawrocki, Wojciech Wislicki, P. Heinzlreiter, M. Baumgartner, H. Rosmanith, S. Kenny, Brian A. Coghlan, Patryk Lason, L. Skital, Ján Astalos, M. Ciglan, M. Pospieszny, R. Valles, K. Dichev:
A Grid Infrastructure for Parallel and Interactive Applications. Comput. Informatics 27(2): 173-185 (2008) - 2007
- Ryszard Gokieli, Krzysztof Nawrocki, Adam Padee, Dorota Stojda, Karol Wawrzyniak, Wojciech Wislicki:
Polish grid infrastructure for science and research. CoRR abs/0710.1436 (2007) - 2005
- Jorge A. T. Gomes, Mário David, J. Martins, Luís Bernardo, Ariel García, Markus Hardt, Harald Kornmayer
, J. Marco, R. Marco, D. Rodríguez, Iván Díaz, D. Cano, José Salt, S. Gonzalez, Javier Sánchez, Farida Fassi, V. Lara, P. Nyczyk, Patryk Lason, Andrzej Ozieblo, Pawel Wolniewicz, Michal Bluj, Krzysztof Nawrocki, Adam Padee, Wojciech Wislicki, C. Fernández, J. Fontán, Yannis Cotronis, Evangelos Floros, George Tsouloupas, Wei Xing, Marios D. Dikaiakos, Ján Astalos, Brian A. Coghlan, Elisa Heymann, Miquel A. Senar, C. Kanellopoulos, A. Ramos, Derek Groen:
Experience with the International Testbed in the CrossGrid Project. EGC 2005: 98-110 - Jerzy R. Nawrocki, Adam Wojciechowski:
Extreme89: An XP War Game. RISE 2005: 278-287 - 2003
- Jorge A. T. Gomes, Mário David, J. Martins, Luís Bernardo, J. Marco, R. Marco, D. Rodríguez, José Salt, S. Gonzalez, Javier Sánchez, A. Fuentes, Markus Hardt, Ariel García, P. Nyczyk, Andrzej Ozieblo, Pawel Wolniewicz, Michal Bluj, Krzysztof Nawrocki, Adam Padee, Wojciech Wislicki, C. Fernández, J. Fontán, A. Gómez, I. López, Yannis Cotronis, Evangelos Floros, George Tsouloupas, Wei Xing, Marios D. Dikaiakos, Ján Astalos, Brian A. Coghlan, Elisa Heymann, Miquel A. Senar, Gonzalo Merino
, C. Kanellopoulos, G. Dick van Albada:
First Prototype of the CrossGrid Testbed. European Across Grids Conference 2003: 67-77 - 2002
- Jerzy R. Nawrocki, Bartosz Walter, Adam Wojciechowski:
Comparison of CMM Level 2 and eXtreme Programming. ECSQ 2002: 288-297 - Jerzy R. Nawrocki, Michal Jasiñski, Bartosz Walter, Adam Wojciechowski:
Combining Extreme Programming with ISO 9000. EurAsia-ICT 2002: 786-794 - Jerzy R. Nawrocki, Michal Jasiñski, Bartosz Walter
, Adam Wojciechowski:
Extreme Programming Modified: Embrace Requirements Engineering Practices. RE 2002: 303-310 - 2001
- Jerzy R. Nawrocki, Bartosz Walter
, Adam Wojciechowski:
Toward Maturity Model for eXtreme Programming. EUROMICRO 2001: 233-239 - 1998
- Jerzy R. Nawrocki, Adam Czajka
, Wojciech Complak
:
Scheduling Cyclic Tasks with Binary Periods. Inf. Process. Lett. 65(4): 173-178 (1998) - Adam Wojciechowski, Jerzy R. Nawrocki, Karolina Kups, Michal Kosiedowski:
TETE: an intelligent knowledge testing engine (poster). ITiCSE 1998: 310
loading more results
failed to load more results, please try again later
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
retrieved on 2024-07-27 11:11 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint