Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by GIANFRANCO CIARDO
An Efficient Fully Symbolic Bisimulation Algorithm for Non-Deterministic Systems
International Journal of Foundations of Computer Science
Computer Science
Related publications
Partitioning Arrangements of Lines I: An Efficient Deterministic Algorithm
Discrete and Computational Geometry
Combinatorics
Mathematics
Geometry
Discrete Mathematics
Computational Theory
Topology
Theoretical Computer Science
An Efficient Thinning Algorithm for Arabic OCR Systems
Signal & Image Processing : An International Journal
An Efficient Rescaled Perceptron Algorithm for Conic Systems
Mathematics of Operations Research
Management Science
Computer Science Applications
Operations Research
Mathematics
A Symbolic Algorithm for the Computation of Periodic Orbits in Non–Linear Differential Systems
Journal of Advances in Applied Mathematics
Weak Bisimulation for Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
New Bisimulation Semantics for Distributed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Efficient Implementation of Non Symmetric Lanczos Algorithm,
An Efficient DOA Estimation Algorithm for Smart Antenna Systems in Multipath Environment
Information Technology Journal
A Fully Compressed Pattern Matching Algorithm for Simple Collage Systems
International Journal of Foundations of Computer Science
Computer Science
