Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

Cognitive Activities in OO Development

International Journal of Human Computer Studies

Human-Computer Interaction

English

Editorial: The Sisyphus-Vt Initiative

International Journal of Human Computer Studies

Human-Computer Interaction

English

Interprocedural Static Analysis of Sequencing Constraints

ACM Transactions on Software Engineering and Methodology

English

Optimization and Optimality Test for the Max-Cut Problem

Mathematical Methods of Operations Research

Management Science

Operations Research

English

Linear Tense Logics of Increasing Sets

Journal of Logic and Computation

Theoretical Computer Science

English

Buffer Sizing Results for RCP Congestion Control Under Connection Arrivals and Departures

Computer Communication Review

Computer Networks

English

Generation of Knowledge-Acquisition Tools From Domain Ontologies

International Journal of Human Computer Studies

Human-Computer Interaction

English

Browsing Hierarchical Data With Multi-Level Dynamic Queries and Pruning

International Journal of Human Computer Studies

Human-Computer Interaction

English

Linear Convergence of a Modified Frank–Wolfe Algorithm for Computing Minimum-Volume Enclosing Ellipsoids

Optimization Methods and Software

Applied Mathematics

English

Determinateness of Strategic Games With a Potential

Mathematical Methods of Operations Research

Management Science

Operations Research

English