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