Towards Maude 2.0
- 作者M. Clave; F. Durán; S. Eker; P. Lincoln; N. Martí-Oliet; J. Meseguer; J.F. Quesada
- 卷第36卷
- 印刷ISSN1571-0661
- 文件大小184.96KB
- 发表时间2000
- DOI10.1016/s1571-0661(05)80137-9
- 页码294-315
A Fully Abstract Presheaf Semantics of SCCS with Finite DelayThomas T. Hildebrandt · 1999
The Role of Discretion in the Age of AutomationPetersen, Anette C. M.; Christensen, Lars Rune; Hildebrandt, Thomas T. · Computer Supported Cooperative Work (CSCW) · 2020
Towards categorical models for fairness: fully abstract presheaf semantics of SCCS with finite delayThomas T. Hildebrandt · 2003
Efficient resolution of prostereogenic arylaliphatic ketones using a recombinant alcohol dehydrogenase from Pseudomonas fluorescensPetra Hildebrandt; Thomas Riermeier; Josef Altenbuchner; Uwe T. Bornscheuer · 2001
Gravitational lensing analysis of the Kilo-Degree SurveyKuijken, Konrad; Heymans, Catherine; Hildebrandt, Hendrik; Nakajima, Reiko; Erben, Thomas; de Jong, Jelte T. A.; Viola, Massimo; Choi, Ami; Hoekstra, Henk; Miller, Lance; van Uitert, Edo; Amon, Alexandra; Blake, Chris; Brouwer, Margot; Buddendiek, Axel; Conti, Ian Fenech; Eriksen, Martin; Grado, Aniello; Harnois-Déraps, Joachim; Helmich, Ewout; Herbonnet, Ricardo; Irisarri, Nancy; Kitching, Thomas; Klaes, Dominik; La Barbera, Francesco; Napolitano, Nicola; Radovich, Mario; Schneider, Peter; Sifón, Cristóbal; Sikkema, Gert; Simon, Patrick; Tudorica, Alexandru; Valentijn, Edwin; Verdoes Kleijn, Gijs; van Waerbeke, Ludovic · Monthly Notices of the Royal Astronomical Society · 2015
IFT81 , encoding an IFT-B core protein, as a very rare cause of a ciliopathy phenotypeI. Perrault; J. Halbritter; J. D. Porath; X. Gérard; D. A. Braun; H. Y. Gee; H. M. Fathy; S. Saunier; V. Cormier-daire; S. Thomas; T. Attié-bitach; N. Boddaert; M. Taschner; M. Schueler; E. Lorentzen; R. P. Lifton; J. A. Lawson; M. Garfa-traore; E. A. Otto; P. Bastin; C. Caillaud; J. Kaplan; J. Rozet; F. Hildebrandt · 2015
The first and second data releases of the Kilo-Degree Surveyde Jong, Jelte T. A.; Verdoes Kleijn, Gijs A.; Boxhoorn, Danny R.; Buddelmeijer, Hugo; Capaccioli, Massimo; Getman, Fedor; Grado, Aniello; Helmich, Ewout; Huang, Zhuoyi; Irisarri, Nancy; Kuijken, Konrad; La Barbera, Francesco; McFarland, John P.; Napolitano, Nicola R.; Radovich, Mario; Sikkema, Gert; Valentijn, Edwin A.; Begeman, Kor G.; Brescia, Massimo; Cavuoti, Stefano; Choi, Ami; Cordes, Oliver-Mark; Covone, Giovanni; Dall’Ora, Massimo; Hildebrandt, Hendrik; Longo, Giuseppe; Nakajima, Reiko; Paolillo, Maurizio; Puddu, Emanuella; Rifatto, Agatino; Tortora, Crescenzo; van Uitert, Edo; Buddendiek, Axel; Harnois-Déraps, Joachim; Erben, Thomas; Eriksen, Martin B.; Heymans, Catherine; Hoekstra, Henk; Joachimi, Benjamin; Kitching, Thomas D.; Klaes, Dominik; Koopmans, Léon V. E.; Köhlinger, Fabian; Roy, Nivya; Sifón, Cristóbal; Schneider, Peter; Sutherland, Will J.; Viola, Massimo; Vriend, Willem-Jan · Astronomy & Astrophysics · 2015