Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Well-Definedness and Observational Equivalence for Inductive–coinductive Programs

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2019English

The Enriched Effect Calculus: Syntax and Semantics

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2012English

Colouring Square-Free Graphs Without Long Induced Paths

Journal of Computer and System Sciences
Computer NetworksApplied MathematicsCommunicationsComputational TheoryMathematicsTheoretical Computer Science
2019English

Iteration-Free PDL With Storing, Recovering and Parallel Composition: A Complete Axiomatization

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2015English

Enhanced Teleoperation Performance Using Hybrid Control and Virtual Fixture

International Journal of Systems Science
ControlSystems EngineeringComputer Science ApplicationsTheoretical Computer Science
2019English

Accumulative Knowledge Under Bounded Resources

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2015English

Correction To: Fuzzy Adaptive Leader-Following Consensus Control for Nonlinear Multi-Agent Systems With Unknown Control Directions

International Journal of Fuzzy Systems
Theoretical Computer ScienceComputational TheorySoftwareArtificial IntelligenceMathematics
2020English

System Identification of Wiener Systems With B-Spline Functions Using De Boor Recursion

International Journal of Systems Science
ControlSystems EngineeringComputer Science ApplicationsTheoretical Computer Science
2013English

A General U-Block Model-Based Design Procedure for Nonlinear Polynomial Control Systems

International Journal of Systems Science
ControlSystems EngineeringComputer Science ApplicationsTheoretical Computer Science
2015English

Editorial Message: Special Issue on Advances in Intelligent Fuzzy Systems

International Journal of Fuzzy Systems
Theoretical Computer ScienceComputational TheorySoftwareArtificial IntelligenceMathematics
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy