Items where Author, Editor or other role is "Bujorianu, M.C."

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: Book section | Reports and Papers | Conference or workshop item | Other

Number of items: 13.

Book section

Bujorianu, Marius C. and Boiten, Eerke Albert (2004) Towards Correspondence Carrying Specifications. In: Rattray, Charles and Maharaj, Savitri and Shankland, Carron, eds. Algebraic Methodology and Software Technology 10th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 57-71. ISBN 978-3-540-22381-8. E-ISBN 978-3-540-27815-3. (doi:10.1007/978-3-540-27815-3_9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14132)

Bujorianu, Marius C. (2004) Integration of Specification Languages Using Viewpoints. In: Boiten, Eerke Albert and Derrick, John and Smith, Graeme, eds. Integrated Formal Methods 4th International Conference. Lecture Notes in Computer Science . Springer, pp. 421-440. ISBN 978-3-540-21377-2. E-ISBN 978-3-540-24756-2. (doi:10.1007/978-3-540-24756-2_23) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14182)

Reports and Papers

Bujorianu, Marius C. and Bujorianu, Manuela L. (2002) Constructive Potential Theory: Foundations and Applications. Technical report. University of Kent, Canterbury, Kent, UK (KAR id:13777)

Bujorianu, Marius C. and Bujorianu, Manuela L. (2001) Logics, Viewpoints and Tests: Towards a Trinity. Other. Computing Laboratory, UKC (Unpublished) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13590)

Conference or workshop item

Boiten, Eerke Albert, Bujorianu, Marius C. (2003) Exploring UML Refinement through Unification. In: Jurjens, J. and Rumpe, Bernhard and France, Robert and Fernandez, E.B., eds. Critical Systems Development with UML - Proceedings of the UML'03 workshop, number TUM-I0323. Lecture Notes in Computer Science (TUM-I0). pp. 47-62. Technische Universitat Munchen (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13925)

Bujorianu, Marius C., Maharaj, Savitri, Bujorianu, Manuela L. (2002) Towards a formalization of viewpoints testing. In: Hierons, R. and Jéron, T., eds. Formal Approaches To Testing of Software 2002 (FATES'02). Research Report . INRIA, 35042 Rennes, France (KAR id:13752)

Bujorianu, Marius C., Bujorianu, Manuela L. (2002) Constructive Potential Theory: A Linear Logic Approach. In: Berarducci, A. and Cutland, N.J., eds. NS 2002 Non-standard Methods and Applications in Mathematics. . University of Pisa, Pisa, Italy (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13775)

Bujorianu, Marius C., Bujorianu, Manuela L. (2002) Linear Logic: from Stochastic Analysis to Software Testing. In: British colloquium on theoretical computer science 18, 7th-10th April 2002, HP laboratories Bristol. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13796)

Bujorianu, Marius C., Bujorianu, Manuela L. (2001) On the Hilbert Machines Quantitative Computational Model. In: QAPL'01 Workshop on Quantitative Aspects of Programming Laguages. . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13557)

Bujorianu, Marius C., Bujorianu, Manuela L. (2001) Order Theoretic Topologies and Hybrid Systems. In: 5th Galway Colloquium on General Topology, 27-29 June 2001, University of Hull. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13598)

Bujorianu, Manuela L., Bujorianu, Marius C. (2001) Constructive Foundations of Stochastic Analysis in Linear Logic. In: BCTCS 17 British Colloquium for Theoretical Computer Science. 74. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13618)

Other

Bujorianu, Manuela L. and Bujorianu, Marius C. (2004) Extending UML: A Foundational Approach to Heterogeneity. CSD-UMl'04 3rd International Workshop on Critical Systems Development with UML. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14065)

Bujorianu, Marius C. and Bujorianu, Manuela L. (2001) An Abstract Domain for Probabilistic Hybrid Systems. European Association for Theoretical Computer Science, Bulletin of the European Association for Theoretical Computer Science, Issue 74. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13626)

This list was generated on Tue Nov 26 19:20:53 2024 GMT.