Concurrent and distributed programming using constraint logic programs

by Ramirez, R., Santosa, A.
Published 2013

Declarative concurrency in Java

by Ramirez, R., Santosa, A.E.
Published 2013

A framework for separation of concerns in concurrent programming

by Ramirez, R., Santosa, A.E.
Published 2013

Formal verification of concurrent and distributed constraint-based java programs

by Ramirez, R., Santosa, A.E.
Published 2013

Recursive abstractions for parameterized systems

by Jaffar, J., Santosa, A.E.
Published 2013

A CLP proof method for timed automata

by Jaffar, J., Santosa, A., Voicu, R.
Published 2013

Relative safety

by Jaffar, J., Santosa, A.E., Voicu, R.
Published 2013

Modeling systems in CLP

by Jaffar, J., Santosa, A.E., Voicu, R.
Published 2013

A CLP method for compositional and intermittent predicate abstraction

by Jaffar, J., Santosa, A.E., Voicu, R.
Published 2013

Efficient memoization for dynamic programming with ad-hoc constraints

by Jaffar, J., Santosa, A.E., Voicu, R.
Published 2013

An interpolation method for CLP traversal

by Jaffar, J., Santosa, A.E., Voicu, R.
Published 2013

A coinduction rule for entailment of recursively defined properties

by Jaffar, J., Santosa, A.E., Voicu, R.
Published 2013

Unbounded symbolic execution for program verification

by Jaffar, J., Navas, J.A., Santosa, A.E.
Published 2013

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

by Santosa, A., Yap, E.S., Cheung, P.P.M.
Published 2016

TRACER: A symbolic execution tool for verification

by Jaffar, J., Murali, V., Navas, J.A., Santosa, A.E.
Published 2013

Peranan mulsa dan pembenah tanah pada dinamika dan pengawetan lengas tanah

by , SANTOSA, A.Z. Purwono Budi, , Dr.Ir. Supriyanto N., M.Sc
Published 1995

Footwear characteristics in people with inflammatory arthritis in Singapore

by Carter, K, Lahiri, M, Cheung, P.P, Santosa, A, Rome, K
Published 2020

Prevalence of foot problems in people with inflammatory arthritis in Singapore

by Carter, K, Lahiri, M, Cheung, P.P, Santosa, A, Rome, K
Published 2020

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

by , SANTOSA, A.A. Gede Duwira Hadi, , Prof.Dr. RM. Sudikno Mertokusumo, SH
Published 2004

Scalable distributed depth-first search with greedy work stealing

by Jaffar, J., Santosa, A.E., Yap, R.H.C., Zhu, K.Q.
Published 2013