Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("ZHENJIANG HU")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 50

  • Page / 2
Export

Selection :

  • and

FLOPS 2002 : functional and logic programming (Aizu, 15-17 September 2002)Zhenjiang Hu; Rodriguez-Artalejo, Mario.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-44233-2, X, 304 p, isbn 3-540-44233-2Conference Proceedings

Calculating an optimal homomorphic algorithm for bracket matchingZHENJIANG HU; TAKEICHI, M.Parallel processing letters. 1999, Vol 9, Num 3, pp 335-345, issn 0129-6264Article

A programmable editor for developing structured documents based on bidirectional transformationsZHENJIANG HU; MU, Shin-Cheng; TAKEICHI, Masato et al.Higher-order and symbolic computation. 2008, Vol 21, Num 1-2, pp 89-118, issn 1388-3690, 30 p.Article

Effects of Atomic Force Microscope Silicon Tip Geometry on Large-Scale Nanomechanical Modification of the Polymer SurfaceYONGDA Y AN; XUESEN ZHAO; ZHENJIANG HU et al.Tribology transactions. 2012, Vol 55, Num 6, pp 846-853, issn 1040-2004, 8 p.Article

Formal methods in CafeOBJFUTATSUGI, Kokichi.Lecture notes in computer science. 2002, pp 1-20, issn 0302-9743, isbn 3-540-44233-2, 20 p.Conference Paper

Maximum marking problems with accumulative weight functionsSASANO, Isao; OGAWA, Mizuhito; ZHENJIANG HU et al.Lecture notes in computer science. 2005, pp 562-578, issn 0302-9743, isbn 3-540-29107-5, 1Vol, 17 p.Conference Paper

Deterministic second-order patternsYOKOYAMA, Tetsuo; ZHENJIANG HU; TAKEICHI, Masato et al.Information processing letters. 2004, Vol 89, Num 6, pp 309-314, issn 0020-0190, 6 p.Article

Deterministic higher-order patterns for program transformationYOKOYAMA, Tetsuo; ZHENJIANG HU; TAKEICHI, Masato et al.Lecture notes in computer science. 2004, pp 128-142, issn 0302-9743, isbn 3-540-22174-3, 15 p.Conference Paper

Systematic derivation of tree contraction algorithmsMATSUZAKI, Kiminori; ZHENJIANG HU; KAKEHI, Kazuhiko et al.Parallel processing letters. 2005, Vol 15, Num 3, pp 321-336, issn 0129-6264, 16 p.Article

Linearly used effects: Monadic and CPS transformations into the linear lambda calculusHASEGAWA, Masahito.Lecture notes in computer science. 2002, pp 167-182, issn 0302-9743, isbn 3-540-44233-2, 16 p.Conference Paper

Structural abstraction and application in logic programmingPORTO, Antonio.Lecture notes in computer science. 2002, pp 275-289, issn 0302-9743, isbn 3-540-44233-2, 15 p.Conference Paper

On consistency and width notions for constraint programs with algebraic constraintsMEER, Klaus.Lecture notes in computer science. 2002, pp 88-102, issn 0302-9743, isbn 3-540-44233-2, 15 p.Conference Paper

On the correctness of the factoring transformationIRANZO, Pascual Julian.Lecture notes in computer science. 2002, pp 119-133, issn 0302-9743, isbn 3-540-44233-2, 15 p.Conference Paper

The head condition and polymorphic recursionSMAUS, Jan-Georg.Lecture notes in computer science. 2002, pp 259-274, issn 0302-9743, isbn 3-540-44233-2, 16 p.Conference Paper

3D polymer nanostructures fabrication by AFM tip-based single scanning with a harder cantileverYANG SUN; YONGDA YAN; ZHENJIANG HU et al.Tribology international. 2012, Vol 47, pp 44-49, issn 0301-679X, 6 p.Article

Effects of the AFM tip trace on nanobundles formation on the polymer surfaceYAN, Yongda; YANG SUN; YANTING YANG et al.Applied surface science. 2012, Vol 258, Num 24, pp 9656-9663, issn 0169-4332, 8 p.Article

Consistent Web site updating based on bidirectional transformationNAKANO, Keisuke; ZHENJIANG HU; TAKEICHI, Masato et al.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 6, pp 453-468, issn 1433-2779, 16 p.Conference Paper

Type-Based Specialization of XML TransformationsMATSUDA, Kazutaka; ZHENJIANG HU; TAKEICHI, Masato et al.ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation. 2009, pp 61-71, isbn 978-1-60558-327-3, 1Vol, 11 p.Conference Paper

Swapping arguments and results of recursive functionsMORIHATA, Akimasa; KAKEHI, Kazuhiko; ZHENJIANG HU et al.Lecture notes in computer science. 2006, pp 379-396, issn 0302-9743, isbn 3-540-35631-2, 1Vol, 18 p.Conference Paper

VMλ: A functional calculus for scientific discoverySUMII, Eijiro; BANNAI, Hideo.Lecture notes in computer science. 2002, pp 290-304, issn 0302-9743, isbn 3-540-44233-2, 15 p.Conference Paper

An efficient staging algorithm for binding-time analysisMURAKAMI, Takuma; ZHENJIANG HU; KAKEHI, Kazuhiko et al.Lecture notes in computer science. 2004, pp 106-107, issn 0302-9743, isbn 3-540-22174-3, 2 p.Conference Paper

An injective language for reversible computationMU, Shin-Cheng; ZHENJIANG HU; TAKEICHI, Masato et al.Lecture notes in computer science. 2004, pp 289-313, issn 0302-9743, isbn 3-540-22380-0, 25 p.Conference Paper

The well-founded semantics in normal logic programs with uncertaintyLOYER, Yann; STRACCIA, Umberto.Lecture notes in computer science. 2002, pp 152-166, issn 0302-9743, isbn 3-540-44233-2, 15 p.Conference Paper

The essence of XML: (Preliminary version)SIMEON, Jérome; WADLER, Philip.Lecture notes in computer science. 2002, pp 21-46, issn 0302-9743, isbn 3-540-44233-2, 26 p.Conference Paper

An algebraic approach to bi-directional updatingMU, Shin-Cheng; ZHENJIANG HU; TAKEICHI, Masato et al.Lecture notes in computer science. 2004, pp 2-20, issn 0302-9743, isbn 3-540-23724-0, 19 p.Conference Paper

  • Page / 2