Kristina Sojakova
Student of Computer Science
Jacobs University Bremen
Curriculum Vitae
Papers
-
» S. Dumbrava, F. Horozal, K. Sojakova. A Case Study on Formalizing Algebraic Structures in a Module System. To appear in the proceedings of MLPA-09
-
» K. Sojakova and F. Rabe. Translating a Dependently-Typed Logic to First-Order Logic. In Andrea Corradini and Ugo Montanari (Eds.), Recent Trends in Algebraic Development Techniques, vol. 5486 of LNCS, pages 326-341. Springer, 2009.
-
» A.Birk, H.Kenn, M.Rooker, A.Agrawal, V.Balan, N.Burger, C.Burger-Scheidlin, V.Devanathan, D.Erhan, I.Hepes, A.Jain, P.Jain, B.Liebald, G.Luksys, J.Marisano, A.Pfeil, M.Pfingsthorn, K.Sojakova, J.Suwanketnikom, J.Wucherpfennig
The IUB 2002 Smallsize League Team
RoboCup-02: Robot Soccer World Cup VI, Gal Kaminka, Pedro U. Lima and Raul Rojas (Eds),
LNAI, Springer, 2002
- » A.Birk, H.Kenn, M.Rooker, A.Agrawal, V.Balan, N.Burger, C.Burger-Scheidlin, V.Devanathan, D.Erhan, I.Hepes, A.Jain, P.Jain, B.Liebald, G.Luksys, J.Marisano, A.Pfeil, M.Pfingsthorn, K.Sojakova, J.Suwanketnikom, J.Wucherpfennig The IUB 2002 Rescue League Team RoboCup-02: Robot Soccer World Cup VI, Gal Kaminka, Pedro U. Lima and Raul Rojas (Eds), LNAI, Springer, 2002