\clan {Andrej Bauer}

%--------------------------------------------------------
%  A. objavljene znanstvene monografije
%--------------------------------------------------------

%\begin{skupina}{A}

%\disertacija
%   {NASLOV}
%   {UNIVERZA}
%   {FAKULTETA}
%   {ODDELEK}
%   {KRAJ} {DRZAVA} {LETO} 

%\magisterij
%   {NASLOV}
%   {UNIVERZA}
%   {FAKULTETA}
%   {ODDELEK}
%   {KRAJ} {DRZAVA} {LETO} 

%\monografija
%   {AVTORJI}
%   {NASLOV}
%   {ZALOZBA}
%   {KRAJ} {DRZAVA} {LETO} 

%\end{skupina} 

%   Ni podatkov za to sekcijo

%--------------------------------------------------------
%  B. raziskovalni clanki sprejeti v objavo v znanstvenih
%     revijah in v zbornikih konferenc
%--------------------------------------------------------

%\begin{skupina}{B}

%\sprejetoRevija
%   {AVTORJI}
%   {NASLOV}
%   {REVIJA}
%\sprejetoZbornik
%   {AVTORJI}
%   {NASLOV}
%   {KONFERENCA}
%   {KRAJ} {DRZAVA} {MESEC} {LETO} 

%\end{skupina} 


%   Ni podatkov za to sekcijo

%--------------------------------------------------------
%  C. raziskovalni clanki objavljeni v znanstvenih revijah
%     in v zbornikih konferenc
%--------------------------------------------------------

%\begin{skupina}{C}

%\objavljenoRevija
%   {AVTORJI}
%   {NASLOV}
%   {REVIJA} {LETNIK} {LETO} {STEVILKA} {STRANI}
%\objavljenoZbornik
%   {AVTORJI}
%   {NASLOV}
%   {KONFERENCA}
%   {KRAJ} {DRZAVA} {MESEC} {LETO} 

%   {ZBORNIK} {STRANI} 

%\end{skupina} 

\begin{skupina}{C}

\objavljenoZbornik
% 1.08: %list {\bf 6}. BAUER, Andrej. On the failure of fixed-point theorems for 
%chain-complete lattices in the effective topos. V: ABRAMSKY, Samson (ur.). 
%{\it Proceedings of the 25th Conference on Mathematical Foundations of Programming 
%Semantics (MFPS 2009) : Oxford, UK, 03-07 April 2009}, 
%(Electronic notes in theoretical computer science, Vol. 249). Amsterdam: Elsevier, 
%2009, str. 157-167. http://dx.doi.org/10.1016/j.entcs.2009.07.089. 
%$[$COBISS.SI-ID 15325273$]$\\ 
   {}
   {On the failure of fixed-point theorems for chain-complete lattices in 
   the effective topos}
   {25$^{\rm th}$ Annual Conference on Mathematical Foundations of Programming 
   Semantics}
   {Oxford} {Velika Britanija} {april} {2009}
   {Proceedings of the 25$^{\rm th}$ Conference on Mathematical Foundations of Programming 
   Semantics (MFPS 2009), (Electronic Notes in Theoretical Computer Science, 249)} 
   {157--167} 

\objavljenoZbornik
% 1.08: {\bf 4}. BAUER, Andrej, BLANCK, Jens. Canonical effective subalgebras of 
%classical algebras as constructive metric completions. V: BAUER, Andrej (ur.), 
%HERTLING, Peter (ur.), KO, Ker-I (ur.). {\it CCA 2009 : Sixth International 
%Conference on Computability and Complexity in Analysis, August 18-22, 2009, 
%Ljubljana, Slovenia}, (Informatik Berichte, 353-7/2009). Hagen: 
%Fakult\"{a}t f\"{u}r Mathematik und Informatik, 2009, str. 35-46. 
%http://drops.dagstuhl.de/opus/volltexte/2009/2257/pdf/Bauer.2257.pdf. 
%$[$COBISS.SI-ID 15258201$]$\\ 
   {\crta, J.~Blanck}
   {Canonical effective subalgebras of classical algebras as constructive metric 
   completions}
   {6$^{\rm th}$  International Conference on Computability and Complexity in Analysis}
   {Ljubljana} {} {avgust} {2009}
   {C{C}A 20{0}9}{35--46}

\objavljenoRevija
   {\crta, I.~Kavkler}
   {A constructive theory of continuous domains suitable for implementation}
   {Ann.\ Pure Appl.\ Logic} {159} {2009} {3} {251--267}

\objavljenoRevija
% 1.01: %list {\bf 2}. BAUER, Andrej, STONE, Christopher A. RZ: a tool for bringing 
%constructive and computable mathematics closer to programming practice. 
%{\it J. log. comput. (Print)}, 2009, vol. 19, no. 1, str. 17-43.
%http://dx.doi.org/10.1093/logcom/exn026, http://logcom.oxfordjournals.org/cgi/
%reprint/19/1/17. $[$COBISS.SI-ID 15325785$]$\\ 
   {\crta, C.~A.~Stone}
   {RZ: a tool for bringing constructive and computable mathematics closer to programming practice}
   {J. Logic Comput.} {19} {2009} {1} {17--43}

\objavljenoRevija
% 1.01: %list {\bf 3}. BAUER, Andrej, TAYLOR, Paul. The Dedekind reals in abstract 
%Stone duality. {\it MSCS, Math. struct. comput. sci. (Print)}, 2009, vol. 19, 
%iss. 4, str. 757-838. $[$COBISS.SI-ID 15322201$]$\\ 
   {\crta, P.~Taylor}
   {The Dedekind reals in abstract Stone duality}
   {Math.\ Structures Comput.\ Sci.} {19} {2009} {4} {757--838}

\objavljenoRevija
%% 1.01: {\bf 1}. HAJDINJAK, Melita, BAUER, Andrej. Similarity measures for relational 
%databases. {\it Informatica (Ljublj.)}, May 2009, vol. 33, no. 2, str. 143-149, 
%ilustr. $[$COBISS.SI-ID 7110996$]$\\ 
   {M.~Hajdinjak, \crta}
   {Similarity measures for relational databases}
   {Informatica (Ljubl.)} {33} {2009} {2} {143--149}

\objavljenoZbornik
% 1.08: %list {\bf 7}. SLUBAN, Borut, LAVRA\v{C}, Nada, GAMBERGER, Dragan, BAUER,
%Andrej. Experiments with saturation filtering for noise elimination from labeled data.
%V: BOHANEC, Marko (ur.), GAMS, Matja\v{z} (ur.), RAJKOVI\v{C}, Vladislav (ur.), 
%URBAN\v{C}I\v{C}, Tanja (ur.), BERNIK, Mojca (ur.), MLADENI\'{C}, Dunja (ur.), 
%GROBELNIK, Marko (ur.), HERI\v{C}KO, Marjan (ur.), KORDE\v{S}, Urban (ur.), 
%MARKI\v{C}, Olga (ur.), LENAR\v{C}I\v{C}, Jadran (ur.), \v{Z}LAJPAH, Leon (ur.), 
%GAMS, Andrej (ur.), FOMICHOVA, Olga S. (ur.), FOMICHOV, Vladimir (ur.), 
%BRODNIK, Andrej (ur.). {\it Zbornik 12. mednarodne multikonference 
%Informacijska dru\v{z}ba - IS 2009, 12.-16. oktober 2009 : zvezek A : volume A}, 
%(Informacijska dru\v{z}ba). Ljubljana: Institut Jo\v{z}ef Stefan, 2009, str. 240-243.
%$[$COBISS.SI-ID 23253031$]$\\ 
%POZOR: Bibliografija2009.tex > 2009\rac\clani\bauer.tex 546/131: Ne najdem podatka {ZBORNIK}
   {B.~Sluban, N.~Lavra\v{c}, D.~Gamberger, \crta}
   {Experiments with saturation filtering for noise elimination from labeled data}
   {Mednarodna multikonferenca Informacijska dru�ba}
   {Ljubljana} {} {oktober} {2009}
   {Zbornik 12. mednarodne multikonference Informacijska dru\v{z}ba - IS 2009}{240--243} 


\end{skupina} 

%--------------------------------------------------------
%  D. urednistvo v znanstvenih revijah in zbornikih
%     znanstvenih konferenc
%--------------------------------------------------------

\begin{skupina}{D}

%\urednikRevija
%   {OPIS}
%   {REVIJA}
%\urednikZbornik
%   {OPIS}
%   {KONFERENCA}
%   {KRAJ} {DRZAVA} {MESEC} {LETO} 

\urednikZbornik
    {Urednik}
    {6$^{\rm th}$  International Conference on Computability and Complexity in Analysis}
    {Ljubljana} {} {avgust} {2009}

\end{skupina} 

%    Ni podatkov za to sekcijo

%--------------------------------------------------------
%  E. organizacija mednarodnih in domacih znanstvenih 
%     srecanj
%--------------------------------------------------------

\begin{skupina}{E}

%\organizacija
%   {OPIS}
%   {KONFERENCA}
%   {KRAJ} {DRZAVA} {MESEC} {LETO} 

\organizacija
    {�lan organizacijskega in predsednik programskega odbora}
    {6$^{\rm th}$  International Conference on Computability and Complexity in Analysis}
    {Ljubljana} {} {avgust} {2009}

\end{skupina} 

%   Ni podatkov za to sekcijo

%--------------------------------------------------------
%  F. vabljena predavanja na tujih ustanovah in 
%     mednarodnih konferencah
%--------------------------------------------------------

%\begin{skupina}{F}

%\predavanjeUstanova
%   {NASLOV}
%   {OPIS}
%   {USTANOVA}
%   {KRAJ} {DRZAVA} {MESEC} {LETO}
%\predavanjeKonferenca
%   {NASLOV}
%   {OPIS}
%   {KONFERENCA}
%   {KRAJ} {DRZAVA} {MESEC} {LETO} 

%\end{skupina} 

%   Ni podatkov za to sekcijo

%--------------------------------------------------------
%  G. aktivne udelezbe na mednarodnih in domacih
%     konferencah
%--------------------------------------------------------

%\begin{skupina}{G}

%\konferenca
%   {NASLOV}
%   {KONFERENCA}
%   {KRAJ} {DRZAVA} {MESEC} {LETO} 

%\end{skupina} 

\begin{skupina}{G}

\konferenca
% 1.08: %list {\bf 6}. BAUER, Andrej. On the failure of fixed-point theorems for 
%chain-complete lattices in the effective topos. V: ABRAMSKY, Samson (ur.). 
%{\it Proceedings of the 25th Conference on Mathematical Foundations of Programming 
%Semantics (MFPS 2009) : Oxford, UK, 03-07 April 2009}, (Electronic notes in 
%theoretical computer science, Vol. 249). Amsterdam: Elsevier, 2009, str. 157-167. 
%http://dx.doi.org/10.1016/j.entcs.2009.07.089. $[$COBISS.SI-ID 15325273$]$\\ 
%POZOR: Bibliografija2009.tex > 2009\rac\clani\bauer.tex 536/216: Ne najdem podatka {DRZAVA}
   {On the failure of fixed-point theorems for chain-complete lattices in 
   the effective topos}
   {25$^{\rm th}$ Annual Conference on Mathematical Foundations of Programming 
   Semantics}
   {Oxford} {Velika Britanija} {april} {2009}

\konferenca
% 1.08: {\bf 4}. BAUER, Andrej, BLANCK, Jens. Canonical effective subalgebras of 
%classical algebras as constructive metric completions. V: BAUER, Andrej (ur.), 
%HERTLING, Peter (ur.), KO, Ker-I (ur.). {\it CCA 2009 : Sixth International 
%Conference on Computability and Complexity in Analysis, August 18-22, 2009, 
%Ljubljana, Slovenia}, (Informatik Berichte, 353-7/2009). Hagen: Fakult\"{a}t f\"{u}r 
%Mathematik und Informatik, 2009, str. 35-46. http://drops.dagstuhl.de/opus/volltexte
%/2009/2257/pdf/Bauer.2257.pdf. $[$COBISS.SI-ID 15258201$]$\\ 
%POZOR: Bibliografija2009.tex > 2009\rac\clani\bauer.tex 516/224: Ne najdem podatka {DRZAVA}
   {Canonical effective subalgebras of classical algebras as constructive metric 
   completions}
   {6$^{\rm th}$  International Conference on Computability and Complexity in Analysis}
   {Ljubljana} {} {avgust} {2009}

\konferenca
% 1.08: %list {\bf 7}. SLUBAN, Borut, LAVRA\v{C}, Nada, GAMBERGER, Dragan, 
%BAUER, Andrej. Experiments with saturation filtering for noise elimination from 
%labeled data. V: BOHANEC, Marko (ur.), GAMS, Matja\v{z} (ur.), RAJKOVI\v{C}, Vladislav
%(ur.), URBAN\v{C}I\v{C}, Tanja (ur.), BERNIK, Mojca (ur.), MLADENI\'{C}, Dunja (ur.), 
%GROBELNIK, Marko (ur.), HERI\v{C}KO, Marjan (ur.), KORDE\v{S}, Urban (ur.), MARKI\v{C},
%Olga (ur.), LENAR\v{C}I\v{C}, Jadran (ur.), \v{Z}LAJPAH, Leon (ur.), GAMS, Andrej (ur.),
%FOMICHOVA, Olga S. (ur.), FOMICHOV, Vladimir (ur.), BRODNIK, Andrej (ur.). {\it 
%Zbornik 12. mednarodne multikonference Informacijska dru\v{z}ba - IS 2009, 
%12.-16. oktober 2009 : zvezek A : volume A}, (Informacijska dru\v{z}ba). Ljubljana: 
%Institut Jo\v{z}ef Stefan, 2009, str. 240-243. $[$COBISS.SI-ID 23253031$]$\\ 
   {Experiments with saturation filtering for noise elimination from labeled data}
   {Mednarodna multikonferenca Informacijska dru�ba}
   {Ljubljana} {} {oktober} {2009}


\end{skupina} 

%--------------------------------------------------------
%  H. strokovni clanki
%--------------------------------------------------------

%\begin{skupina}{H}

%\clanekRevija
%   {AVTORJI}
%   {NASLOV}
%   {REVIJA} {LETNIK} {LETO} {STEVILKA} {STRANI}
%\clanekZbornik
%   {AVTORJI}
%   {NASLOV}
%   {KONFERENCA}
%   {KRAJ} {DRZAVA} {MESEC} {LETO}
%   {ZBORNIK} {STRANI} 

%\end{skupina} 

%   Ni podatkov za to sekcijo

%--------------------------------------------------------
%  I. razno
%--------------------------------------------------------

%\begin{skupina}{I}

%\razno
%   {OPIS} 

%\end{skupina} 

%\begin{skupina}{I}
%POZOR: Bibliografija2009.tex > 2009\rac\clani\bauer.tex 575/280: Stevilo neopredeljenih zadetkov: 2
%\razno
% Ured: {\bf 8}. BAUER, Andrej (ur.), HERTLING, Peter (ur.), KO, Ker-I (ur.){\it . CCA 2009 : Sixth International Conference on Computability and Complexity in Analysis, August 18-22, 2009, Ljubljana, Slovenia}, (Informatik Berichte, 353-7/2009). Hagen: Fakult\"{a}t f\"{u}r Mathematik und Informatik, 2009. 303 str. http://drops.dagstuhl.de/portals/CCA09/. $[$COBISS.SI-ID 15257945$]$\\ 

%\razno
% Ured: %list {\bf 9}. KO\v{S}IR, Toma\v{z} (ur.){\it . Predstavitev \v{s}tudijskih programov iz matematike}. V Ljubljani: Fakulteta za matematiko in fiziko, Oddelek za matematiko, 2009. ISBN 978-961-6619-09-7. $[$COBISS.SI-ID 243431680$]$\\ 

%\end{skupina} 

%--------------------------------------------------------
%  tuji gosti
%--------------------------------------------------------

%\begin{seznam}
%%\gost {IME} {TRAJANJE} {USTANOVA} {KRAJ} {DRZAVA} {MESEC} {LETO} {POVABILO}
%\gost{Zvonko Iljazovi�}{3~dni}{Univerza v Zagrebu}{Zagreb}{Hrva�ka}
%   {marec}{2009}{Andreja Bauerja}
%\gost{Jens Blanck}{3~dni}{Swansea University}{Swansea}{Velika Britanija}
%   {april}{2009}{Andreja Bauerja}
%\gost{Paul Taylor}{14~dni}{}{London}{Velika Britanija}
%   {avgust}{2009}{Andreja Bauerja}
%\gost{Dana Scott}{1~mesec}{Carnegie Mellon University}{Pittsburgh}{ZDA}
%   {ju\-lij/\-av\-gust}{2009}{Andreja Bauerja}
%\end{seznam} 

%--------------------------------------------------------
%  gostovanja
%--------------------------------------------------------

%\begin{seznam}
%\gostovanje {IME} {TRAJANJE} {USTANOVA} {KRAJ} {DRZAVA} {MESEC} {LETO}
%\end{seznam} 

