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

• 2021
• 
  Iroshan Aberathne, Chamila Walgampaya:
  Real Time Mobile Ad Investigator: An Effective and Novel Approach for Mobile Click Fraud Detection. Comput. Informatics 40(3) (2021)
• 
  Yosra Acodad, Amine Benamrane, Imade Benelallam:
  Lazy Repairing Backtracking for Dynamic Constraint Satisfaction Problems. Comput. Informatics 40(5) (2021)
• 
  Jakub Adamczyk, Filip Malawski:
  Comparison of Manual and Automated Feature Engineering for Daily Activity Classification in Mental Disorder Diagnosis. Comput. Informatics 40(4) (2021)
• 
  Fouzia Adjailia, Messaoud Ramdani, Andrinandrasana David Rasamoelina, Peter Sincak:
  Integration of 2D Textural and 3D Geometric Features for Robust Facial Expression Recognition. Comput. Informatics 40(5) (2021)
• 
  Hameeza Ahmed, Muhammad Ali Ismail:
  REDUCER: Elimination of Repetitive Codes for Accelerated Iterative Compilation. Comput. Informatics 40(3) (2021)
• 
  Leila Ajam, Seyed Naghi Seyedaghaee:
  Enhanced Critical Node Detection in Social Networks. Comput. Informatics 40(6) (2021)
• 
  Zareen Alamgir, Hina Naveed:
  Efficient Density-Based Partitional Clustering Algorithm. Comput. Informatics 40(6) (2021)
• 
  Leonardo da Rocha Araujo, Guillermo Rodríguez, Santiago A. Vidal, Claudia A. Marcos, Rodrigo Pereira dos Santos:
  Empirical Analysis on OpenAPI Topic Exploration and Discovery to Support the Developer Community. Comput. Informatics 40(6) (2021)
• 
  Gulmire Arkin, Nurmamat Helil:
  Ciphertext-Policy Attribute Based Encryption with Selectively-Hidden Access Policy. Comput. Informatics 40(5) (2021)
• 
  Matej Babic, Ladislav Hluchý, Branko Ster, Janez Povh:
  Modeling Public Transport Network System by Using Statistics, Network Theory and Ant Colony Optimization. Comput. Informatics 40(5) (2021)
• 
  Erjing Bai, Na Su, Yu Liang, Liang Qi, Yuyue Du:
  Method for Repairing Process Models with Selection Structures Based on Token Replay. Comput. Informatics 40(2) (2021)
• 
  Ha-Bang Ban, Dang Hai Pham:
  Multifactorial Evolutionary Algorithm for Simultaneous Solution of TSP and TRP. Comput. Informatics 40(6) (2021)
• 
  Franciny Medeiros Barreto, Stéphane Julia:
  Formal Approach Based on Petri Nets for Modeling and Verification of Video Games. Comput. Informatics 40(1): 216-248 (2021)
• 
  Marian Bubak, Maciej Malawski, Renata G. Slota:
  Preface to the Special Issue on Software Engineering. Comput. Informatics 40(4) (2021)
• 
  Frantisek Capkovic:
  Modelling and Control of Resource Allocation Systems within Discrete Event Systems by Means of Petri Nets - Part 1: Invariants, Siphons and Traps in Deadlock Avoidance. Comput. Informatics 40(3) (2021)
• 
  Boonthida Chiraratanasopha, Salin Boonbrahm, Thanaruk Theeramunkong:
  Effect of Term Weighting on Keyword Extraction in Hierarchical Category Structure. Comput. Informatics 40(1): 57-82 (2021)
• 
  Mustafa Cosar, Harun Emre Kiran:
  Verification of Localization via Blockchain Technology on Unmanned Aerial Vehicle Swarm. Comput. Informatics 40(2) (2021)
• 
  Jakub Czajka, Jacek Otwinowski, Jacek Kitowski:
  Non-Intrusive Data Inspection for Message-Based Systems. Comput. Informatics 40(4) (2021)
• 
  Jacek Dajda, Michal Idzik, Jakub Sroka, Mikolaj Sikora, Wiktor Pawlowski, Maciej Smolka, Przemyslaw Jablecki, Filip Slazyk, Maciej Malawski, Emilia Majerz, Aleksandra Pasternak, Witold Dzwinel, Wojciech Kania, Bogumila Hnatkowska, Wojciech Thomas, Joanna Swiebocka-Wiek, Andrzej Paszkiewicz:
  Current Trends in Software Engineering Bachelor Theses. Comput. Informatics 40(4) (2021)
• 
  Ibrahim Delibasoglu:
  INCSA-UNET INCSA-UNET: Spatial Attention Inception UNET for Aerial Images Segmentation. Comput. Informatics 40(6) (2021)
• 
  Amen Faridoon, Muhammad Imran:
  Big Data Storage Tools Using NoSQL Databases and Their Applications in Various Domains: A Systematic Review. Comput. Informatics 40(3) (2021)
• 
  Anna Formica:
  Concept Similarity in Formal Concept Analysis with Many-Valued Contexts. Comput. Informatics 40(3) (2021)
• 
  Henrik Fredriksson, Mattias Dahl, Johan Holmgren:
  Optimal Allocation of Charging Stations for Electric Vehicles Using Probabilistic Route Selection. Comput. Informatics 40(2) (2021)
• 
  Hanna Grodzicka, Michal Kedziora, Lech Madeyski:
  Cloud Solutions for Private Permissionless Blockchain Deployment. Comput. Informatics 40(4) (2021)
• 
  Xiaochun Guan, Jianhua Zhang, Shengyong Chen:
  Logistic Regression Based on Statistical Learning Model with Linearized Kernel for Classification. Comput. Informatics 40(2) (2021)
• 
  Cong He, Zhijun Ding:
  More Efficient On-the-Fly Verification Methods of Colored Petri Nets. Comput. Informatics 40(1): 195-215 (2021)
• 
  Leifeng He, Guanjun Liu:
  Verifying Computation Tree Logic of Knowledge via Knowledge-Oriented Petri Nets and Ordered Binary Decision Diagrams. Comput. Informatics 40(5) (2021)
• 
  Taufiq Hidayat, Asmala bin Ahmad, Mohammad Ishak Desa:
  Non-Redundant Implicational Base of Many-Valued Context Using SAT. Comput. Informatics 40(2) (2021)
• 
  Bogumila Hnatkowska, Mateusz Cebinka:
  Activity Diagram Generation Based on Use-Case Textual Specification. Comput. Informatics 40(4) (2021)
• 
  Mateusz Jarosz, Piotr Nawrocki, Bartlomiej Sniezynski, Bipin Indurkhya:
  Multi-Platform Intelligent System for Multimodal Human-Computer Interaction. Comput. Informatics 40(1): 83-103 (2021)

skipping 29 more matches