Berke Durak

News from the EDOS project: improving the maintenance of free software distributions.

Roberto Di Cosmo, Xavier Leroy, Ralf Treinen, 2006 .

Maintaining large software distributions: new challenges from the FOSS era.

Roberto Di Cosmo, Xavier Leroy, Fabio Mancinelli, 2006 .

Improving the Quality of GNU/Linux Distributions

Roberto Di Cosmo, Fabio Mancinelli, Jérôme Vouillon, 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.

Managing the Complexity of Large Free and Open Source Package-Based Software Distributions

Roberto Di Cosmo, Xavier Leroy, Ralf Treinen, 2006, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).

New Results - The Objective Caml system, tools, and extensions

Damien Doligez, Xavier Leroy, Jacques Garrigue, 2007 .

Two-Way Finite Automata with a Write-Once Track

Berke Durak, Berke Durak, 2007, J. Autom. Lang. Comb..

Programming languages, types, compilation and proofs

Damien Doligez, Didier Rémy, Zaynah Dargaye, 2006 .

New Results - Formal management of software dependencies

Roberto Di Cosmo, Xavier Leroy, Fabio Mancinelli, 2006 .

Two-way non-deterministic finite automata with a write-once track recognize regular languages only

Berke Durak, Berke Durak, 2005, DCFS.

Collage of two-dimensional words

Christian Choffrut, Berke Durak, 2005, Theor. Comput. Sci..

Global Monitoring of Greenhouse Gas Emissions

Berke Durak, Vincent Latendresse, James J. Sloan, 2016 .