Остановите войну!
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
Exact matches
- Sebastian Stock 0001
DFKI Robotics Innovation Center, Osnabruck Branch, Germany - Sebastian Stock 0002
Johannes Kepler University, Linz, Austria
Likely 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 132 matches
- 2024
- Priyadarshana Ajithkumar, Gregory Gimenez, Peter A. Stockwell, Suzan Almomani, Sarah A. Bowden, Anna L. Leichter, Antonio Ahn, Sharon Pattison, Sebastian Schmeier, Frank A. Frizelle, Michael R. Eccles, Rachel V. Purcell, Euan J. Rodger, Aniruddha Chatterjee:
DNA Methylome and Transcriptome Maps of Primary Colorectal Cancer and Matched Liver Metastasis. Data 9(1): 8 (2024) - Sebastian Achter, Melania Borit, Clémentine Cottineau, Matthias Meyer, J. Gareth Polhill, Viktoriia Radchuk:
How to conduct more systematic reviews of agent-based models and foster theory development - Taking stock and looking ahead. Environ. Model. Softw. 173: 105867 (2024) - Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed:
Trace preservation in B and Event-B refinements. J. Log. Algebraic Methods Program. 137: 100943 (2024) - Lukas Mueller, Sebastian Stöckl, Johanna Mueller, Dirk Schiereck:
Estimating Crypto-Related Risk: Market-Based Evidence from FTX's Failure and Its Contagion on U.S. Banks. HICSS 2024: 4589-4598 - Benjamin Rolf, Kayvan M. Lavassani, Sebastian Lang, Tobias Reggelin:
Optimizing Safety Stock Placement in Large Real-World Automotive Supply Networks Using the Guaranteed-Service Model. HICSS 2024: 1669-1678 - 2023
- Jakob Kaiser, Raphael Stock, Eric Müller, Johannes Schemmel, Sebastian Schmitt:
Simulation-based inference for model parameterization on analog neuromorphic hardware. Neuromorph. Comput. Eng. 3(4): 44006 (2023) - Atif Mashkoor, Alexander Egyed, Robert Wille, Sebastian Stock:
Model-driven engineering of safety and security software systems: A systematic mapping study and future research directions. J. Softw. Evol. Process. 35(7) (2023) - Andreas Erwig, Sebastian Faust, Siavash Riahi, Tobias Stöckert:
CommiTEE : An Efficient and Secure Commit-Chain Protocol using TEEs. EuroS&P 2023: 429-448 - Paul Päprer, Janis S. Neufeld, Udo Buscher:
A Bi-Objective Column Generation Approach for Real-World Rolling Stock Circulation Planning Problems. ICCL 2023: 350-364 - Sebastian Stock:
Early and Systematic Validation of Formal Models. ICFEM 2023: 255-260 - Sebastian Stock, Atif Mashkoor, Alexander Egyed:
Validation-Driven Development. ICFEM 2023: 191-207 - Ferry Vincenttius Ferdinand, Kie Van Ivanky Saputra, Michelle, Johan Sebastian Edbert:
Forecasting Stock Price Index of Four Asian Countries During COVID-19 Pandemic Using ARMA-GARCH and RNN Methods. IEEM 2023: 974-978 - Leon Trampert, Ben Stock, Sebastian Roth:
Honey, I Cached our Security Tokens Re-usage of Security Tokens in the Wild. RAID 2023: 714-726 - David Geleßus, Sebastian Stock, Fabian Vu, Michael Leuschel, Atif Mashkoor:
Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations. ABZ 2023: 284-302 - Sebastian Stock, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor, Alexander Egyed:
Validation by Abstraction and Refinement. ABZ 2023: 160-178 - Jakob Kaiser, Raphael Stock, Eric Müller, Johannes Schemmel, Sebastian Schmitt:
Simulation-based Inference for Model Parameterization on Analog Neuromorphic Hardware [data]. heiDATA, 2023 - Jakob Kaiser, Raphael Stock, Eric Müller, Johannes Schemmel, Sebastian Schmitt:
Simulation-based Inference for Model Parameterization on Analog Neuromorphic Hardware [data]. heiDATA, 2023 - Raphael Stock, Jakob Kaiser, Eric Müller, Johannes Schemmel, Sebastian Schmitt:
Parametrizing Analog Multi-Compartment Neurons with Genetic Algorithms [Data]. heiDATA, 2023 - Jakob Kaiser, Raphael Stock, Eric Müller, Johannes Schemmel, Sebastian Schmitt:
Simulation-based Inference for Model Parameterization on Analog Neuromorphic Hardware. CoRR abs/2303.16056 (2023) - Sebastian Stock, Atif Mashkoor, Alexander Egyed:
Validation-Driven Development. CoRR abs/2308.06028 (2023) - 2022
- Jonathan L. Weine, Robbert J. H. van Gorkum, Christian T. Stoeck, Valery Vishnevskiy, Sebastian Kozerke:
Synthetically trained convolutional neural networks for improved tensor estimation from free-breathing cardiac DTI. Comput. Medical Imaging Graph. 99: 102075 (2022) - Sebastian Raubitzek, Thomas Neubauer:
An Exploratory Study on the Complexity and Machine Learning Predictability of Stock Market Data. Entropy 24(3): 332 (2022) - Anika Kanwal, Man Fai Lau, Sebastian P. H. Ng, Kwan Yong Sim, Siva Chandrasekaran:
BiCuDNNLSTM-1dCNN - A hybrid deep learning-based predictive model for stock price prediction. Expert Syst. Appl. 202: 117123 (2022) - Jens Förderer, Sebastian Walter Schütz:
Data Breach Announcements and Stock Market Reactions: A Matter of Timing? Manag. Sci. 68(10): 7298-7322 (2022) - Ezgi Berberoglu, Christian T. Stoeck, Sebastian Kozerke, Martin Genet:
Quantification of left ventricular strain and torsion by joint analysis of 3D tagging and cine MR images. Medical Image Anal. 82: 102598 (2022) - Thomas Joyce, Stefano Buoso, Christian T. Stoeck, Sebastian Kozerke:
Rapid inference of personalised left-ventricular meshes by deformation-based differentiable mesh voxelization. Medical Image Anal. 79: 102445 (2022) - Uta Pigorsch, Sebastian Schäfer:
High-Dimensional Stock Portfolio Trading with Deep Reinforcement Learning. CIFEr 2022: 1-8 - Sebastian Stock, Atif Mashkoor, Alexander Egyed:
Application of Validation Obligations to Security Concerns. DEXA Workshops 2022: 337-346 - Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed:
Trace Refinement in B and Event-B. ICFEM 2022: 316-333 - Peter Stolz, Sebastian Roth, Ben Stock:
To hash or not to hash: A security assessment of CSP's unsafe-hashes expression. SP (Workshops) 2022: 1-12
skipping 102 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-06-14 13:57 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