Jael Kriener
According to our database1,
Jael Kriener
authored at least 7 papers
between 2011 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
2011
2012
2013
2014
0
1
2
3
4
1
2
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014
Proceedings of the Automated Reasoning in Quantified Non-Classical Logics, 2014
2013
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013
2012
Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012
2011
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011