People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
I have moved! Please refer to my new homepage in Academia Sinica, Taiwan. Mathematical Informatics Graduate School of Information Science and Technology Tokyo University 7-3-1 ...
A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations Zhenjiang HuShin-Cheng Mu Masato Ta keichi Department of Mathematical Informatics ...
Shin-Cheng Mu (Academia Sinica) :Talks 226KB. Relational program derivation is the technique of stepwise refining a relational specification to a program by algebraic rules.
Shin-Cheng Mu (Academia Sinica, Taiwan) Henrik Nilsson (University of Nottingham, UK) Michael Norrish (NICTA, Australia) Jens Palsberg (University of California, Los Angeles, USA)
... [email protected] Information Systems Architecture Research Division/GRACE Center National Institute of Informatics 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430, Japan SHIN-CHENG MU scm ...
I have moved! Please refer to my new homepage in Academia Sinica, Taiwan. Mathematical Informatics Graduate School of Information Science and Technology Tokyo ...
December 10, 2010 One is often amazed that, once two functions are identified as a Galois connection, a long list of nice and often useful properties follow from one ...
Contact Information : Mu, Shin-Cheng Assistant Research Fellow No 128, Academia Road, Section 2 Nankang, Taipei 11529, Taiwan Tel:886-2-2788-3799 #1730
Linkedin