Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

UAV Fleet Mobility Model With Multiple Pheromones for Tracking Moving Observation Targets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Make Things Now! Pragmatic Functional Programming in Haskell

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Biabduction (And Related Problems) in Array Separation Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

A Security Analysis of Key Expansion Functions Using Pseudorandom Permutations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

New Directions in Logic, Language and Computation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

EAGLE: Efficient Active Learning of Link Specifications Using Genetic Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Faster Visual-Based Localization With Mobile-PoseNet

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Study on the Digitization Dual Combinatorics and Convex Case

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Alignment-Based Trust for Resource Finding in Semantic P2P Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

On Learning Higher-Order Consistency Potentials for Multi-Class Pixel Labeling

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy