Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

Natural Deduction for Hybrid Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2004English

Simulating Without Negation

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1997English

An Assessment of Systems and Software Engineering Scholars and Institutions (1993–1995)

Journal of Systems and Software
HardwareInformation SystemsArchitectureSoftware
1996English

A Component- And Push-Based Architectural Style for Ajax Applications

Journal of Systems and Software
HardwareInformation SystemsArchitectureSoftware
2008English

Feedback Control-Based Dynamic Resource Management in Distributed Real-Time Systems

Journal of Systems and Software
HardwareInformation SystemsArchitectureSoftware
2007English

Testing a System Specified Using Statecharts and Z

Information and Software Technology
Computer Science ApplicationsInformation SystemsSoftware
2001English

On the Chronometry and Metrology of Computer Network Timescales and Their Application to the Network Time Protocol

Computer Communication Review
Computer NetworksSoftwareCommunications
1991English

Spatio-Temporal Compressive Sensing and Internet Traffic Matrices

Computer Communication Review
Computer NetworksSoftwareCommunications
2009English

Computer Communications

Computer Communication Review
Computer NetworksSoftwareCommunications
1976English

An Independent H-TCP Implementation Under FreeBSD 7.0

Computer Communication Review
Computer NetworksSoftwareCommunications
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy