Author of the publication

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.

 

Other publications of authors with the same name

Type-safe Versioned Object Query Language., , , and . J. Univers. Comput. Sci., 12 (7): 938-957 (2006)Týr: A Dependent Type System for Spatial Memory Safety in LLVM., , and . WEIT, volume 324 of Electronic Notes in Theoretical Computer Science, page 3-13. Elsevier, (2015)Ontology Reasoning in Agent-Oriented Programming., , and . SBIA, volume 6404 of Lecture Notes in Computer Science, page 21-30. Springer, (2010)Temporal and versioning model for schema evolution in object-oriented databases., , , and . Data Knowl. Eng., 53 (2): 99-128 (2005)Data Modification Language for Full Support of Temporal Schema Versioning., , , and . SBBD, page 114-128. UFAM, (2003)Adaptive Parallelism Exploitation under Physical and Real-Time Constraints for Resilient Systems., , , , and . ACM Trans. Reconfigurable Technol. Syst., 7 (3): 25:1-25:17 (2014)Performance Evaluation of Android Applications: A Case Study., , and . SBESC, page 79-84. IEEE Computer Society, (2014)Adaptive Low-Power Architecture for High-Performance and Reliable Embedded Computing., , , , and . DSN, page 538-549. IEEE Computer Society, (2014)Matrix control-flow algorithm-based fault tolerance., , and . IOLTS, page 37-42. IEEE Computer Society, (2011)EPE-Mobile - A framework for early performance estimation of mobile applications., , and . Softw. Pract. Exp., 48 (1): 85-104 (2018)