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

• 2021
• 
  Chiara Tacchino, Martina Impagliazzo, Erika Maggi, Marta Bertamino, Isa Blanchi, Francesca Campone, Paola Durand, Marco Fato, Psiche Giannoni, Riccardo Iandolo, Massimiliano Izzo, Pietro Morasso, Paolo Moretti, Luca Ramenghi, Keisuke Shima, Koji Shimatani, Toshio Tsuji, Sara Uccella, Maura Casadio:
  Spontaneous movements in the newborns: a tool of quantitative video analysis of preterm babies. Comput. Methods Programs Biomed. 199: 105838 (2021)
• 2020
• 
  Zahid Ullah, Adidah Lajis, Mona Jamjoom, Abdulrahman H. Altalhi, Farrukh Saleem:
  Bloom's taxonomy: A beneficial tool for learning and assessing students' competency levels in computer programming using empirical analysis. Comput. Appl. Eng. Educ. 28(6): 1628-1640 (2020)
• 
  Fernanda Garcia-Fossa, Vladimir Gaal, Marcelo Bispo de Jesus:
  PyScratch: An ease of use tool for analysis of scratch assays. Comput. Methods Programs Biomed. 193: 105476 (2020)
• 
  Fábio Mendonça, Sheikh Shanawaz Mostafa, Fernando Morgado Dias, Antonio G. Ravelo-García:
  Matrix of Lags: A tool for analysis of multiple dependent time series applied for CAP scoring. Comput. Methods Programs Biomed. 189: 105314 (2020)
• 
  Zachary A. Vesoulis, Paul G. Gamble, Siddharth Jain, Nathalie M. El Ters, Steve M. Liao, Amit M. Mathur:
  WU-NEAT: A clinically validated, open-source MATLAB toolbox for limited-channel neonatal EEG analysis. Comput. Methods Programs Biomed. 196: 105716 (2020)
• 
  Chunlan Yang, Wenxiao Wu, Yingnan Nie, Qun Wang, Jiechuan Ren:
  EasyMEG: An easy-to-use toolbox for MEG analysis. Comput. Methods Programs Biomed. 186: 105199 (2020)
• 
  Alice Tarzariol, Eugenia Zanazzo, Agostino Dovier, Alberto Policriti:
  Towards a Logic Programming Tool for Cancer Data Analysis. Fundam. Informaticae 176(3-4): 299-319 (2020)
• 
  N. I. V'yukova, V. A. Galatenko, S. V. Samborskii:
  Dynamic Program Analysis Tools in GCC and CLANG Compilers. Program. Comput. Softw. 46(4): 281-296 (2020)
• 
  Rozaliya Amirova, Vladimir Ivanov, Sergey Masyagin, Aldo Spallone, Giancarlo Succi:
  Preliminary findings on tools for the analysis of mental activity of programmers using EEG data from portable devices. DSD 2020: 416-419
• 
  Elias Brattli Sørensen, Edvard Kristoffer Karlsen, Jingyue Li:
  What Norwegian Developers Want and Need From Security-Directed Program Analysis Tools: A Survey. EASE 2020: 505-511
• 
  Can Xu, Zhiyong Feng, Peng Qi, Yan Sun:
  An Automatic Analysis Tool Based on Computational Thinking for BlockPy Programs. IWCMC 2020: 2045-2050
• 
  Carlos Andújar, Marc Comino, Marta Fairén, Àlvar Vinacua:
  A Tool for N-way Analysis of Programming Exercises. EuroVis (Posters) 2020: 33-35
• 
  Hakjoo Oh, Yulei Sui:
  Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis, TAPAS@SPLASH 2020, Virtual Event, USA, November 17, 2020. ACM 2020, ISBN 978-1-4503-8189-5 [contents]
• 2019
• 
  Thomas Huybrechts, Yorick De Bock, Haoxuan Li, Peter Hellinckx:
  COBRA-HPA: a block generating tool to perform hybrid program analysis. Int. J. Grid Util. Comput. 10(2): 105-118 (2019)
• 
  Tetsuro Kakeshita, Kosuke Ohta:
  Student Log Analysis Functions for Web-based Programming Education Support Tool pgtracer. J. Inf. Process. 27: 456-468 (2019)
• 
  Joshua Hooker, Peter Aldous, Eric Mercer, Benjamin Ogles, Kyle Storey, Sheridan Jacob Powell:
  JPF-HJ: A Tool for Task Parallel Program Analysis. ACM SIGSOFT Softw. Eng. Notes 44(4): 19 (2019)
• 
  Gregorio Díaz, Hermenegilda Macià, Valentín Valero, Juan Boubeta-Puig, Guadalupe Ortiz:
  Facilitating the Quantitative Analysis of Complex Events through a Computational Intelligence Model-Driven Tool. Sci. Program. 2019: 2604148:1-2604148:17 (2019)
• 
  Thuy Nguyen, Toshiaki Aoki, Takashi Tomita, Junpei Endo:
  Integrating Static Program Analysis Tools for Verifying Cautions of Microcontroller. APSEC 2019: 86-93
• 
  Alex Villazón, Haiyang Sun, Andrea Rosà, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, Walter Binder:
  Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Tool Insights Paper). ECOOP 2019: 20:1-20:27
• 
  Aléssio Miranda Júnior, Deisymar Botega Tavares, Jordana Caires Carvalho:
  Programming Teaching Tools Feature Assessment Associated with Brazilian Curriculum Base Obtained Through BPL Platforms Analysis. HCI (25) 2019: 380-389
• 
  Tatsuo Motoyoshi, Kei Sawai, Hiroyuki Masuta, Takumi Tamamoto, Ken'ichi Koyanagi, Toru Oshima:
  Analysis of a Programming Process Sharing the Card-Type Programming Tool "Pro-Tan". HCI (3) 2019: 420-429
• 
  Miyuki Murata, Naoko Kato, Youhei Nakayama, Tetsuro Kakeshita:
  Analysis of Fill-in-the-blank Questions Provided by Programming Education Support Tool Pgtracer. IIAI-AAI 2019: 260-265
• 
  Steven O'Hara, Rocky Slavin:
  Modernizing parsing tools: parsing and analysis with object-oriented programming. SOAP@PLDI 2019: 20-25
• 
  Hristina Gulabovska, Zoltán Porkoláb:
  Survey on Static Analysis Tools of Python Programs. SQAMIA 2019
• 2018
• 
  Yue Yin:
  Automated generating CTF challenges with program analysis tools resistance. University of Georgia, Athens, GA, USA, 2018
• 
  Jason D. Sacks, Jennifer M. Lloyd, Yun Zhu, Jim Anderton, Carey J. Jang, Bryan Hubbell, Neal Fann:
  The Environmental Benefits Mapping and Analysis Program - Community Edition (BenMAP-CE): A tool to estimate the health and economic benefits of reducing air pollution. Environ. Model. Softw. 104: 118-129 (2018)
• 
  Janna-Lynn (Weber) Dupree, Edward Lank, Daniel M. Berry:
  A case study of using grounded analysis as a requirement engineering method: Identifying personas that specify privacy and security tool users. Sci. Comput. Program. 152: 1-37 (2018)
• 
  András Vörös, Dániel Darvas, Ákos Hajdu, Attila Klenik, Kristóf Marussy, Vince Molnár, Tamás Bartha, István Majzik:
  Industrial applications of the PetriDotNet modelling and analysis tool. Sci. Comput. Program. 157: 17-40 (2018)
• 
  Neepa Biswas, Anamitra Sarkar, Kartick Chandra Mondal:
  Empirical Analysis of Programmable ETL Tools. CICBA (2) 2018: 267-277
• 
  Alexandros Peteinarelis:
  Custom point cloud edit and analysis tools in visual programming: Evaluation of heritage facades. DigitalHERITAGE/VSMM 2018: 1-7

skipping 237 more matches