Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Taesoo Jeong

Forensic Analysis of Autonomous System Reachability

2006English

Related publications

On Reachability of Quantized Control System

Transactions of the Society of Instrument and Control Engineers
1976English

Instant Messaging Forensic Analysis on Android Operating System

Kinetik: Game Technology, Information System, Computer Network, Computing, Electronics, and Control
2019English

Automated Generation of Hybrid System Models for Reachability Analysis of Nonlinear Analog Circuits

2015English

Reachability Analysis of Communicating Pushdown Systems

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Dynamical Analysis of Autonomous System in Entropic Cosmology

Canadian Journal of Physics
AstronomyPhysics
2016English

Reachability Analysis on Distributed Executions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

A Forensic Acquisition and Analysis System for IaaS

Cluster Computing
Computer NetworksSoftwareCommunications
2015English

Reachability Analysis of Hybrid Systems via Predicate Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Generalized Fair Reachability Analysis for Cyclic Protocols

IEEE/ACM Transactions on Networking
Electronic EngineeringComputer NetworksCommunicationsComputer Science ApplicationsElectricalSoftware
1996English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy