welcome: please sign in

Upload page content

You can upload content for the page named below. If you change the page name, you can also upload content for another page. If the page name is empty, we derive the page name from the file name.

File to load page content from
Page name
Comment

Revision 47 as of 2016-04-22 09:22:24

location: Publications

Previous years:

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Recent Publications

Journal papers

Book chapters

Conference papers

* Drămnesc, I., Jebelean, T., Stratulat, S., Proof–based synthesis of sorting algorithms for trees, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9618, pp. 562-575, 2016