• 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.

found 23 matches

• 2024
• 
  Hanna Elisabet Sorokina, Matheus Henrique Nunes, Janne Heiskanen, Martha Munyao, James Mwang'ombe, Petri Pellikka, Pasi Raumonen, Eduardo Eiji Maeda:
  East African megafauna influence on vegetation structure permeates from landscape to tree level scales. Ecol. Informatics 79: 102435 (2024)
• 
  Lev Sorokin, Radouane Bouchekir, Tewodros A. Beyene, Brian Hsuan-Cheng Liao, Adam Molin:
  Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus. EDCC Workshops 2024: 49-61
• 
  Lev Sorokin, Niklas Kerscher:
  Guiding the Search Towards Failure-Inducing Test Inputs Using Support Vector Machines. DeepTest@ICSE 2024
• 
  Lev Sorokin, Tiziano Munaro, Damir Safin, Brian Hsuan-Cheng Liao, Adam Molin:
  OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems. ICSE Companion 2024: 94-98
• 
  Lev Sorokin, Ulrich Schöpp:
  CyberDS: Auditable Monitoring in the Cloud. SAFECOMP 2024: 100-115
• 
  Lev Sorokin, Niklas Kerscher:
  Guiding the Search Towards Failure-Inducing Test Inputs Using Support Vector Machines. CoRR abs/2401.12364 (2024)
• 
  Lev Sorokin, Radouane Bouchekir, Tewodros A. Beyene, Brian Hsuan-Cheng Liao, Adam Molin:
  Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus. CoRR abs/2403.01918 (2024)
• 2023
• 
  Shiva Nejati, Lev Sorokin, Damir Safin, Federico Formica, Mohammad Mahdi Mahboob, Claudio Menghi:
  Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models. Inf. Softw. Technol. 163: 107286 (2023)
• 
  Saddek Bensalem, Panagiotis Katsaros, Dejan Nickovic, Brian Hsuan-Cheng Liao, Ricardo Ruiz Nolasco, Mohamed Abd El Salam Ahmed, Tewodros A. Beyene, Filip Cano, Antoine Delacourt, Hasan Esen, Alexandru Forrai, Weicheng He, Xiaowei Huang, Nikolaos Kekatos, Bettina Könighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu:
  Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. AISoLA 2023: 256-278
• 
  Shiva Nejati, Lev Sorokin, Damir Safin, Federico Formica, Mohammad Mahdi Mahboob, Claudio Menghi:
  Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models. CoRR abs/2305.00083 (2023)
• 
  Lev Sorokin, Tiziano Munaro, Damir Safin, Brian Hsuan-Cheng Liao, Adam Molin:
  OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems. CoRR abs/2306.10296 (2023)
• 
  Konstantin Sorokin, Andrey Zaitsev, Aleksandr Levin, German Magai, Maxim Beketov, Vladimir Sotskov:
  Global cognitive graph properties dynamics of hippocampal formation. CoRR abs/2308.03563 (2023)
• 
  Lev Sorokin, Ulrich Schöpp:
  Monitoring Auditable Claims in the Cloud. CoRR abs/2312.12057 (2023)
• 2022
• 
  Lev Sorokin:
  Towards Auditable Distributed Systems. CoRR abs/2209.14071 (2022)
• 2021
• 
  Denis S. Zavorotnyuk, Stanislav I. Pekov, Anatoly A. Sorokin, Denis S. Bormotov, Nikita Levin, Evgeny S. Zhvansky, Savva Semenov, Polina Strelnikova, Konstantin V. Bocharov, Alexander Vorobiev, Alexey S. Kononikhin, Vsevolod Shurkhay, Eugene N. Nikolaev, Igor A. Popov:
  Lipid Profiles of Human Brain Tumors Obtained by High-Resolution Negative Mode Ambient Mass Spectrometry. Data 6(12): 132 (2021)
• 2020
• 
  João P. G. L. M. Rodrigues, Susana Barrera-Vilarmau, João M. C. Teixeira, Marija Sorokina, Elizabeth Seckel, Panagiotis L. Kastritis, Michael Levitt:
  Insights on cross-species transmission of SARS-CoV-2 from structural modeling. PLoS Comput. Biol. 16(12) (2020)
• 
  Tobias Falke, Markus Boese, Daniil Sorokin, Caglar Tirkaz, Patrick Lehnen:
  Leveraging User Paraphrasing Behavior In Dialog Systems To Automatically Collect Annotations For Long-Tail Utterances. COLING (Industry) 2020: 21-32
• 2019
• 
  Adrien Rougny, Vasundra Touré, Stuart L. Moodie, Irina Balaur, Tobias Czauderna, Hanna Borlinghaus, Ugur Dogrusoz, Alexander Mazein, Andreas Dräger, Michael L. Blinov, Alice Villéger, Robin Haw, Emek Demir, Huaiyu Mi, Anatoly A. Sorokin, Falk Schreiber, Augustin Luna:
  Systems Biology Graphical Notation: Process Description language Level 1 Version 2.0. J. Integr. Bioinform. 16(2) (2019)
• 2017
• 
  Ferenc Bujtor, Lev Sorokin, Walter Vogler:
  Testing Preorders for dMTS: Deadlock- and the New Deadlock-/DivergenceTesting. ACM Trans. Embed. Comput. Syst. 16(2): 41:1-41:28 (2017)
• 
  Robert Lorenz, Johannes Metzger, Lev Sorokin:
  Synthesis of Bounded Petri Nets from Prime Event Structures with Cutting Context using Wrong Continuations. ATAED@Petri Nets/ACSD 2017: 21-38
• 2015
• 
  Huaiyu Mi, Falk Schreiber, Stuart L. Moodie, Tobias Czauderna, Emek Demir, Robin Haw, Augustin Luna, Nicolas Le Novère, Anatoly A. Sorokin, Alice Villéger:
  Systems Biology Graphical Notation: Activity Flow language Level 1 Version 1.2 . J. Integr. Bioinform. 12(2) (2015)
• 
  Anatoly A. Sorokin, Nicolas Le Novère, Augustin Luna, Tobias Czauderna, Emek Demir, Robin Haw, Huaiyu Mi, Stuart L. Moodie, Falk Schreiber, Alice Villéger:
  Systems Biology Graphical Notation: Entity Relationship language Level 1 Version 2. J. Integr. Bioinform. 12(2) (2015)
• 
  Ferenc Bujtor, Lev Sorokin, Walter Vogler:
  Testing Preorders for dMTS: Deadlock- and the New Deadlock/Divergence-Testing. ACSD 2015: 60-69