PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Spichkova, Maria"

Author of the publication

copydeleteadd this publication to your clipboard
Chiminey: Reliable Computing and Data Management Platform in the Cloud.

, , , , , , , , , and . ICSE (2), page 677-680. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).

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.

Claudia Marianowski University of Stuttgart

apl. Prof. Dr. Maria Fyta University of Stuttgart

Maria Papadimitraki University of Stuttgart

Maria Hammer University of Stuttgart

Maria Barnhart University of Stuttgart

 

Other publications of authors with the same name

Software Engineering Solutions To Support Vertical Transportation., , , , , , and . CoRR, (2017)Do we really need to write documentation for a system? CASE tool add-ons: generator+editor for a precise documentation., , and . CoRR, (2014)Stream Processing Components: Isabelle/HOL Formalisation and Case Studies.. Archive of Formal Proofs, (2013)Service-Oriented Modeling of CoCoME with Focus and AutoFocus., , , , , , , , , and 1 other author(s). CoCoME, volume 5153 of Lecture Notes in Computer Science, page 177-206. Springer, (2007)Towards Modularized Verification of Distributed Time-Triggered Systems., , , , , and . FM, volume 4085 of Lecture Notes in Computer Science, page 163-178. Springer, (2006)Gender-Based Perspectives of eLearning Systems: An Empirical Study of Social Sustainability., , , and . ISD, Lund University / Association for Information Systems, (2018)"Boring Formal Methods" or "Sherlock Holmes Deduction Methods"?. STAF Workshops, volume 9946 of Lecture Notes in Computer Science, page 242-252. Springer, (2016)Combining Agile Practices with Incremental Visual Tasks., , and . ACE, page 103-112. ACM, (2017)Stream processing components: Isabelle/HOL formalisation and case studies.. CoRR, (2014)From Automotive to Autonomous: Time-Triggered Operating Systems., , and . IIMSS, page 347-359. Springer, (2016)