Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computer Science

Termination and Non-Termination Specification Inference

ACM SIGPLAN Notices
Computer Science
2015English

First-Class State Change in Plaid

ACM SIGPLAN Notices
Computer Science
2011English

A New Rewarding Mechanism for Branching Heuristic in SAT Solvers

International Journal of Computational Intelligence Systems
Computational MathematicsComputer Science
2019English

System FC With Explicit Kind Equality

ACM SIGPLAN Notices
Computer Science
2013English

A New Algorithm of Mining High Utility Sequential Pattern in Streaming Data

International Journal of Computational Intelligence Systems
Computational MathematicsComputer Science
2019English

Composition of Dynamic Analysis Aspects

ACM SIGPLAN Notices
Computer Science
2011English

NIP - An Imperfection Processor to Data Mining Datasets

International Journal of Computational Intelligence Systems
Computational MathematicsComputer Science
2013English

Design and Construction of Link Quality and Localization Protocol Algorithms at WSN Over IEEE802.15.4 Physical Protocol

Studies in Informatics and Control
Electronic EngineeringElectricalComputer Science
2011English

A Hybrid Swarm Intelligence Approach for Blog Success Prediction

International Journal of Computational Intelligence Systems
Computational MathematicsComputer Science
2019English

Scheduling Support for Transactional Memory Contention Management

ACM SIGPLAN Notices
Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy