Petra Malik
According to our database1,
Petra Malik
authored at least 16 papers
between 2003 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2012
Proceedings of the 16th International Conference on Evaluation & Assessment in Software Engineering, 2012
Proceedings of the 2012 Agile Conference, 2012
2011
Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2011
Proceedings of the Proceeding of the 4th Annual India Software Engineering Conference, 2011
2010
Understanding the Importance of Trust in Distributed Agile Projects: A Practical Perspective.
Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2010
2008
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008
2007
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007
2006
Proceedings of the Computer Science 2006, 2006
2005
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005
2004
Incremental verification and synthesis of discrete-event systems guided by counter examples.
IEEE Trans. Control. Syst. Technol., 2004
2003
PhD thesis, 2003