• 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 889 matches

• 2021
• 
  Daniel Lichtblau:
  Symbolic analysis of multiple steady states in a MAPK chemical reaction network. J. Symb. Comput. 105: 118-144 (2021)
• 2020
• 
  Maryna Makeienko:
  Symbolic Analysis Applied to the Specification of Spatial Trends and Spatial Dependence. Entropy 22(4): 466 (2020)
• 
  Bahador Rashidi, Qing Zhao:
  Autonomous root-cause fault diagnosis using symbolic dynamic based causality analysis. Neurocomputing 401: 10-27 (2020)
• 
  Anton A. Vasilyev, Vadim S. Mutilin:
  Predicate Extension of Symbolic Memory Graphs for the Analysis of Memory Safety Correctness. Program. Comput. Softw. 46(8): 747-754 (2020)
• 
  Luca Cerina, Marco D. Santambrogio:
  SAGe: a configurable code generator for efficient symbolic analysis of time-series. SIGBED Rev. 17(1): 12-17 (2020)
• 
  Gabriel Kronberger, J. Manuel Colmenar, Stephan M. Winkler, José Ignacio Hidalgo:
  Multilayer analysis of population diversity in grammatical evolution for symbolic regression. Soft Comput. 24(15): 11283-11295 (2020)
• 
  Kasper Søe Luckow, Rody Kersten, Corina S. Pasareanu:
  Complexity vulnerability analysis using symbolic execution. Softw. Test. Verification Reliab. 30(7-8) (2020)
• 
  Erik Cambria, Yang Li, Frank Z. Xing, Soujanya Poria, Kenneth Kwok:
  SenticNet 6: Ensemble Application of Symbolic and Subsymbolic AI for Sentiment Analysis. CIKM 2020: 105-114
• 
  Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner:
  A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications. ECOOP 2020: 28:1-28:29
• 
  Markus Klinik, Bernard van Gastel, Cynthia Kop, Marko C. J. D. van Eekelen:
  Skylines for Symbolic Energy Consumption Analysis. FMICS 2020: 93-112
• 
  Ioana Onofrei, Andreea Salagean, Narcisa Sîrca, Vasile V. Moca, Adriana Nagy-Dabâcan, Raul Cristian Muresan, Rodica Potolea, Mihaela Dînsoreanu, Camelia Lemnaru:
  Using Symbolic Analysis of Local Field Potentials for Anesthesia Depth Prediction. ICCP 2020: 21-28
• 
  Hayes Converse, Antonio Filieri, Divya Gopinath, Corina S. Pasareanu:
  Probabilistic Symbolic Analysis of Neural Networks. ISSRE 2020: 148-159
• 
  Alexander Leid, Brink van der Merwe, Willem Visser:
  Testing Ethereum Smart Contracts: A Comparison of Symbolic Analysis and Fuzz Testing Tools. SAICSIT 2020: 35-43
• 
  David Trabish, Timotej Kapus, Noam Rinetzky, Cristian Cadar:
  Past-sensitive pointer analysis for symbolic execution. ESEC/SIGSOFT FSE 2020: 197-208
• 
  Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner:
  A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact). Dagstuhl Artifacts Ser. 6(2): 05:1-05:3 (2020)
• 
  Dhurata Nebiu, Hiqmet Kamberaj:
  Symbolic Information Flow Measurement (SIFM): A software for measurement of information flow using symbolic analysis. SoftwareX 11: 100470 (2020)
• 
  Hantao Cui, Fangxing Li, Kevin Tomsovic:
  Hybrid Symbolic-Numeric Library for Power System Modeling and Analysis. CoRR abs/2002.09455 (2020)
• 
  Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate:
  Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems. CoRR abs/2007.04510 (2020)
• 
  Yicheng Luo, Antonio Filieri, Yuan Zhou:
  SYMPAIS: SYMbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis. CoRR abs/2010.05050 (2020)
• 
  Nan Chu:
  SymFields: An Open Source Symbolic Fields Analysis Tool for General Curvilinear Coordinates in Python. CoRR abs/2012.10723 (2020)
• 2019
• 
  Jorge Luis Toro Pozo:
  Computational and symbolic analysis of distance-bounding protocols. University of Luxembourg, Luxembourg City, Luxembourg, 2019
• 
  Christian Dernehl:
  Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis. RWTH Aachen University, Germany, 2019
• 
  Kia Dashtipour:
  Novel symbolic and sub-symbolic approaches for text based and multimodal sentiment analysis. University of Stirling, UK, 2019
• 
  Corina S. Pasareanu, Rody Kersten, Kasper Søe Luckow, Quoc-Sang Phan:
  Chapter Six - Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis. Adv. Comput. 113: 289-314 (2019)
• 
  Haibin Cai, Hao Wu:
  An improved formalization analysis approach to determine schedulability of global multiprocessor scheduling based on symbolic safety analysis and statistical model checking in smartphone systems. Clust. Comput. 22(Supplement): 2543-2554 (2019)
• 
  Pinar Deniz Tosun, Derk-Jan Dijk, Raphaelle Winsky-Sommerer, Daniel E. Abásolo:
  Effects of Ageing and Sex on Complexity in the Human Sleep EEG: A Comparison of Three Symbolic Dynamic Analysis Methods. Complex. 2019: 9254309:1-9254309:12 (2019)
• 
  Nurali Virani, Devesh K. Jha, Asok Ray, Shashi Phoha:
  Sequential hypothesis tests for streaming data via symbolic time-series analysis. Eng. Appl. Artif. Intell. 81: 234-246 (2019)
• 
  Zhuofei Xu, Yuxia Shi, Qinghai Zhao, Wei Li, Kai Liu:
  Extreme Interval Entropy Based on Symbolic Analysis and a Self-Adaptive Method. Entropy 21(3): 238 (2019)
• 
  Arturo Martínez-Rodrigo, Beatriz García-Martínez, Luciano Zunino, Raúl Alcaraz, Antonio Fernández-Caballero:
  Multi-Lag Analysis of Symbolic Entropies on EEG Recordings for Distress Recognition. Frontiers Neuroinformatics 13: 40 (2019)
• 
  Bo Huang, Wei Niu:
  Analysis of Snapback Repellers Using Methods of Symbolic Computation. Int. J. Bifurc. Chaos 29(4): 1950054 (2019)

skipping 859 more matches