Остановите войну!
for scientists:
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
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 135 matches
- 2024
- Tuomas Haarnoja, Ben Moran, Guy Lever, Sandy H. Huang, Dhruva Tirumala, Jan Humplik, Markus Wulfmeier, Saran Tunyasuvunakool, Noah Y. Siegel, Roland Hafner, Michael Bloesch, Kristian Hartikainen, Arunkumar Byravan, Leonard Hasenclever, Yuval Tassa, Fereshteh Sadeghi, Nathan Batchelor, Federico Casarini, Stefano Saliceti, Charles Game, Neil Sreendra, Kushal Patel, Marlon Gwira, Andrea Huber, Nicole Hurley, Francesco Nori, Raia Hadsell, Nicolas Heess:
Learning agile soccer skills for a bipedal robot with deep reinforcement learning. Sci. Robotics 9(89) (2024) - Stefan Haar, Serge Haddad:
On the Expressive Power of Transfinite Sequences for Continuous Petri Nets. Petri Nets 2024: 109-131 - 2023
- Rustam Tagiew, Dirk Leinhos, Henrik von der Haar, Christian Klotz, Dennis Sprute, Jens R. Ziehn, Andreas Schmelter, Stefan Witte, Pavel Klasek:
Sensor system for development of perception systems for ATO. Discov. Artif. Intell. 3(1) (2023) - Robin Von Haartman, Linda Samen, Lisa Bengtsson, Stefan Eriksson:
Visual management in the era of Industry 4.0: perceived advantages and disadvantages of digital boards. Int. J. Adv. Oper. Manag. 15(1): 24-41 (2023) - Nick Würdemann, Thomas Chatain, Stefan Haar:
Taking Complete Finite Prefixes to High Level, Symbolically. Petri Nets 2023: 123-144 - Elissavet Batziou, Konstantinos Ioannidis, Ioannis Patras, Stefanos Vrochidis, Ioannis Kompatsiaris:
Low-Light Image Enhancement Based on U-Net and Haar Wavelet Pooling. MMM (2) 2023: 510-522 - Nicoletta Haarlammert, Johannes Nold, Stefan Kuhn, Christian Hupel, Sigrun Hein, Arno Klenke, Cesar Jauregui, Jens Limpert, Thomas Schreiber, Andreas Tünnermann:
Fabrication of Multicore Fibers for High Power Lasers, Sensing and Communications. OFC 2023: 1-3 - Tuomas Haarnoja, Ben Moran, Guy Lever, Sandy H. Huang, Dhruva Tirumala, Markus Wulfmeier, Jan Humplik, Saran Tunyasuvunakool, Noah Y. Siegel, Roland Hafner, Michael Bloesch, Kristian Hartikainen, Arunkumar Byravan, Leonard Hasenclever, Yuval Tassa, Fereshteh Sadeghi, Nathan Batchelor, Federico Casarini, Stefano Saliceti, Charles Game, Neil Sreendra, Kushal Patel, Marlon Gwira, Andrea Huber, Nicole Hurley, Francesco Nori, Raia Hadsell, Nicolas Heess:
Learning Agile Soccer Skills for a Bipedal Robot with Deep Reinforcement Learning. CoRR abs/2304.13653 (2023) - Nick Würdemann, Thomas Chatain, Stefan Haar, Lukas Panneke:
Taking Complete Finite Prefixes To High Level, Symbolically. CoRR abs/2311.11443 (2023) - 2022
- Giann Karlo Aguirre-Samboní, Cédric Gaucherel, Stefan Haar, Franck Pommereau:
Reset Petri Net Unfolding Semantics for Ecosystem Hypergraphs. PNSE@Petri Nets 2022: 213-214 - Rustam Tagiew, Dirk Leinhos, Henrik von der Haar, Christian Klotz, Dennis Sprute, Jens R. Ziehn, Andreas Schmelter, Stefan Witte, Pavel Klasek:
Onboard Sensor Systems for Automatic Train Operation. EDCC Workshops 2022: 139-150 - Giann Karlo Aguirre-Samboní, Stefan Haar, Loïc Paulevé, Stefan Schwoon, Nick Würdemann:
Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets. GandALF 2022: 178-193 - Johannes Manner, Daniel Lübke, Stephan Haarmann, Stefan Kolb, Nico Herzberg, Oliver Kopp:
Proceedings of the 14th Central European Workshop on Services and their Composition (ZEUS 2022), Bamberg, Germany, February 24-25, 2022. CEUR Workshop Proceedings 3113, CEUR-WS.org 2022 [contents] - 2021
- Susanna Donatelli, Stefan Haar, Slawomir Lasota:
Preface. Fundam. Informaticae 183(1-2) (2021) - Michael Bloesch, Jan Humplik, Viorica Patraucean, Roland Hafner, Tuomas Haarnoja, Arunkumar Byravan, Noah Yamamoto Siegel, Saran Tunyasuvunakool, Federico Casarini, Nathan Batchelor, Francesco Romano, Stefano Saliceti, Martin A. Riedmiller, S. M. Ali Eslami, Nicolas Heess:
Towards Real Robot Learning in the Wild: A Case Study in Bipedal Locomotion. CoRL 2021: 1502-1511 - Lucas N. Ribeiro, Stefan Schwarz, Martin Haardt:
Low-Complexity Zero-Forcing Precoding for XL-MIMO Transmissions. EUSIPCO 2021: 1621-1625 - Nektarios Ladas, Stefan Franz, Birger Haarbrandt, Kim Katrin Sommer, Severin Kohler, Sarah Ballout, Johanna Fiebeck, Michael Marschollek, Matthias Gietzelt:
openEHR-to-FHIR: Converting openEHR Compositions to Fast Healthcare Interoperability Resources (FHIR) for the German Corona Consensus Dataset (GECCO). ICIMTH 2021: 485-486 - Johannes Manner, Stephan Haarmann, Stefan Kolb, Nico Herzberg, Oliver Kopp:
Proceedings of the 13th European Workshop on Services and their Composition (ZEUS 2021), Bamberg, Germany, February 25-26, 2021. CEUR Workshop Proceedings 2839, CEUR-WS.org 2021 [contents] - Lucas N. Ribeiro, Stefan Schwarz, Martin Haardt:
Low-Complexity Zero-Forcing Precoding for XL-MIMO Transmissions. CoRR abs/2103.00971 (2021) - 2020
- Thomas Chatain, Stefan Haar, Juraj Kolcák, Loïc Paulevé, Aalok Thakkar:
Concurrency in Boolean networks. Nat. Comput. 19(1): 91-109 (2020) - Lucas N. Ribeiro, Stefan Schwarz, André L. F. de Almeida, Martin Haardt:
Low-Complexity Massive MIMO Tensor Precoding. ACSSC 2020: 348-355 - Stefan Haar, Loïc Paulevé, Stefan Schwoon:
Drawing the Line: Basin Boundaries in Safe Petri Nets. CMSB 2020: 321-336 - Stefan Haar, Serge Haddad, Stefan Schwoon, Lina Ye:
Active Prediction for Discrete Event Systems. FSTTCS 2020: 48:1-48:16 - Johannes Manner, Stephan Haarmann, Stefan Kolb, Oliver Kopp:
Proceedings of the 12th ZEUS Workshop on Services and their Composition, Potsdam, Germany, February 20-21, 2020. CEUR Workshop Proceedings 2575, CEUR-WS.org 2020 [contents] - 2019
- Hugues Mandon, Cui Su, Jun Pang, Soumya Paul, Stefan Haar, Loïc Paulevé:
Algorithms for the Sequential Reprogramming of Boolean Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 16(5): 1610-1619 (2019) - Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé:
Parameter space abstraction and unfolding semantics of discrete regulatory networks. Theor. Comput. Sci. 765: 120-144 (2019) - Hugues Mandon, Cui Su, Stefan Haar, Jun Pang, Loïc Paulevé:
Sequential Reprogramming of Boolean Networks Made Practical. CMSB 2019: 3-19 - Stefan Haar, Juraj Kolcák, Loïc Paulevé:
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics. VMCAI 2019: 555-576 - Susanna Donatelli, Stefan Haar:
Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings. Lecture Notes in Computer Science 11522, Springer 2019, ISBN 978-3-030-21570-5 [contents] - Thomas Chatain, Stefan Haar, Juraj Kolcák, Loïc Paulevé, Aalok Thakkar:
Concurrency in Boolean networks. CoRR abs/1905.13467 (2019)
skipping 105 more matches
loading more results
failed to load more results, please try again later
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-08-08 16:43 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