( en | de | ru )

 

Disambiguation of "Percebois, Christian"

Author of the publication

copydeleteadd this publication to your clipboard
Types versus classes.

, , and . L'OBJET, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christian Christian

Christian Winter

Gold-katalysierte Cycloisomerisierung funktionalisierter Allene und Anwendung in der Naturstoffsynthese. TU Dortmund, (2009)

Christian Helbig

Synthese und Charakterisierung von metallorganischen Bronzen. Uni Augsburg, (2009)

Christian Schüller

Automatisierte Feedbackgenerierung in der benutzerzentrierten Softwareentwicklung am Beispiel mobiler Anwendungen. TU München, (2009)

Christian Quast

Tool and database development for the phylogenetic classification and functional characterisation of organisms. Uni Bremen, (2009)
 

Other publications of authors with the same name

Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations., , , and . TAP, volume 9762 of Lecture Notes in Computer Science, page 183-190. Springer, (2016)Abstract machine construction through operational semantics refinements., , and . Future Gener. Comput. Syst., 16 (7): 753-769 (2000)Synchrostate: A SPEM-based solution for synchronizing activities and products through state transitions., , , , and . Int. Arab J. Inf. Technol., 15 (6): 951-961 (2018)Towards Interoperability in Component Based Development with a Family of DSLs., , , and . ECSA, volume 5292 of Lecture Notes in Computer Science, page 148-163. Springer, (2008)Quelques résultats sur la récupération de la mémoire pour un émulateur LISP-PROLOG., and . SPLT, (1984)A Lisp-machine to Implement Prolog., and . ICLP, page 45-51. ADDP-GIA, (1982)A Compiler for a Distributed Inference Model., , and . EDMCC, volume 487 of Lecture Notes in Computer Science, page 412-421. Springer, (1991)Integrating verifiable Assume/Guarantee contracts in UML/SysML., , and . ACES-MB@MoDELS, volume 1084 of CEUR Workshop Proceedings, CEUR-WS.org, (2013)COALA: un réseau d'acteurs pour une architecture multiprocesseur Prolog., , and . SPLT, (1985)Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations., and . ICST, page 946-953. IEEE Computer Society, (2012)