Jason Kirschenbaum
According to our database1,
Jason Kirschenbaum
authored at least 8 papers
between 2008 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
2008
2009
2010
2011
2012
2013
2014
0
1
2
3
1
1
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014
2011
Formal Aspects Comput., 2011
2010
Probabilistic risk assessment modeling of digital instrumentation and control systems using two dynamic methodologies.
Reliab. Eng. Syst. Saf., 2010
Proceedings of the Workshop on Future of Software Engineering Research, 2010
2009
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009
2008
Construction of event-tree/fault-tree models from a Markov approach to dynamic system reliability.
Reliab. Eng. Syst. Saf., 2008
Proceedings of the Verified Software: Theories, 2008