Concurrent and distributed programming using constraint logic programs

由 Ramirez, R., Santosa, A.
出版 2013

Declarative concurrency in Java

由 Ramirez, R., Santosa, A.E.
出版 2013

A framework for separation of concerns in concurrent programming

由 Ramirez, R., Santosa, A.E.
出版 2013

Formal verification of concurrent and distributed constraint-based java programs

由 Ramirez, R., Santosa, A.E.
出版 2013

Recursive abstractions for parameterized systems

由 Jaffar, J., Santosa, A.E.
出版 2013

A CLP proof method for timed automata

由 Jaffar, J., Santosa, A., Voicu, R.
出版 2013

Relative safety

由 Jaffar, J., Santosa, A.E., Voicu, R.
出版 2013

Modeling systems in CLP

由 Jaffar, J., Santosa, A.E., Voicu, R.
出版 2013

A CLP method for compositional and intermittent predicate abstraction

由 Jaffar, J., Santosa, A.E., Voicu, R.
出版 2013

Efficient memoization for dynamic programming with ad-hoc constraints

由 Jaffar, J., Santosa, A.E., Voicu, R.
出版 2013

An interpolation method for CLP traversal

由 Jaffar, J., Santosa, A.E., Voicu, R.
出版 2013

A coinduction rule for entailment of recursively defined properties

由 Jaffar, J., Santosa, A.E., Voicu, R.
出版 2013

Unbounded symbolic execution for program verification

由 Jaffar, J., Navas, J.A., Santosa, A.E.
出版 2013

Silica-associated connective tissue syndrome with acquired hemophilia (Factor VIII inhibitor), presenting with life-threatening bleed

由 Santosa, A., Yap, E.S., Cheung, P.P.M.
出版 2016

TRACER: A symbolic execution tool for verification

由 Jaffar, J., Murali, V., Navas, J.A., Santosa, A.E.
出版 2013

Peranan mulsa dan pembenah tanah pada dinamika dan pengawetan lengas tanah

由 , SANTOSA, A.Z. Purwono Budi, , Dr.Ir. Supriyanto N., M.Sc
出版 1995

Footwear characteristics in people with inflammatory arthritis in Singapore

由 Carter, K, Lahiri, M, Cheung, P.P, Santosa, A, Rome, K
出版 2020

Prevalence of foot problems in people with inflammatory arthritis in Singapore

由 Carter, K, Lahiri, M, Cheung, P.P, Santosa, A, Rome, K
出版 2020

Penerapan prinsip-prinsip Good Corporate Governance pada PT Tertutup :: Studi kasus PT Bali Giri Kencana dan PT Taman Burung Citra Bali International

由 , SANTOSA, A.A. Gede Duwira Hadi, , Prof.Dr. RM. Sudikno Mertokusumo, SH
出版 2004

Scalable distributed depth-first search with greedy work stealing

由 Jaffar, J., Santosa, A.E., Yap, R.H.C., Zhu, K.Q.
出版 2013