Abstracts and posters

[1]

Dávid Juhász and Tamás Kozsik. LLVM backend for TILE64. Poster at 2013 European LLVM Conference, Paris, France, 2013. [ bib ]

[2]

Róbert Kitlei, László Lövei, Tamás Nagy, Zoltán Horváth, and Tamás Kozsik. Preprocessor and whitespace-aware toolset for Erlang source code manipulation (extended abstract). In Sven-Bodo Scholz, editor, Implementation and Application of Functional Languages, 20th International Symposium, IFL 2008, pages 167-169, Hatfield, Hertfordshire, UK, September 2008. Technical Report No. 474, School of Computer Science, University of Hertfordshire. [ bib ]

[3]

Tamás Kozsik, András Horváth, and Gergely Dévai. Load-time transformation of property-carrying code (abstract). 7th Joint Conference on Mathematics and Computer Science, Cluj, Romania, 3-6 July 2008., 2008. [ bib | http ]

[4]

Máté Tejfel, Tamás Kozsik, and Zoltán Horváth. An Interpretation of Temporal Properties in Functional Programs - Extended Abstract. In Olaf Chitil, editor, Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, pages 224-228. Computing Laboratory, University of Kent, 2007. Technical Report No. 12-07. [ bib ]

[5]

László Lövei, Zoltán Horváth, Tamás Kozsik, Roland Király, Anikó Víg, and Tamás Nagy. Refactoring in Erlang, a Dynamic Functional Language. In Proceedings of the 1st Workshop on Refactoring Tools, pages 45-46, Berlin, Germany, July 2007. [ bib | .pdf ]

[6]

Máté Tejfel, Tamás Kozsik, and Zoltán Horváth. Proving composing specifications in Sparkle. In Zoltán Csörnyei, editor, 6th Joint Conference on Mathematics and Computer Science (MaCS'06), Abstracts, page 90, 2006. [ bib ]

[7]

Tamás Kozsik. Proving program properties specified with subtype marks. In Zoltán Csörnyei, editor, 6th Joint Conference on Mathematics and Computer Science (MaCS'06), Abstracts, page 55, 2006. Full paper appeared in LNCS 4449. [ bib ]

[8]

Zoltán Istenes, Tamás Kozsik, Csaba Hoch, and László Attila Tóth. Proving the correctness of mobile code in B. In Zoltán Csörnyei, editor, 6th Joint Conference on Mathematics and Computer Science (MaCS'06), Abstracts, page 45, 2006. Full paper: PU.M.A. 17(3-4):323-342, 2006. [ bib ]

[9]

László Lövei, Máté Tejfel, Mónika Mészáros, Zoltán Horváth, and Tamás Kozsik. Comparing specification with proved properties of Clean Dynamics. In Conference of PhD Students in Computer Science, CSCS 2006, Volume of extended abstracts, page 71, 2006. [ bib ]

[10]

Zoltán Horváth, László Lövei, Tamás Kozsik, Anikó Víg, and Tamás Nagy. Refactoring Erlang Programs. In Conference of PhD Students in Computer Science, CSCS 2006, Volume of extended abstracts, page 58, 2006. Full paper: Per. Pol. Elec. Eng., 51(3-4):75-84, 2007. [ bib ]

[11]

Zoltán Horváth, László Lövei, Tamás Kozsik, Anikó Víg, and Tamás Nagy. Refactoring Erlang Programs. Conference poster, 2006. High Speed Networking Workshop. [ bib ]

[12]

László Gulyás, Sándor Bartha, Tamás Kozsik, Róbert Szalai, Attila Korompai, and Gábor Tatai. The Multi-Agent Simulation Suite (MASS) and the Functional Agent-Based Language of Simulation (FABLES), 2005. Extended abstract for SwarmFest 2005, Turin, Italy. [ bib | http ]

[13]

Tamás Kozsik. The expressive power of inequalities. In Zoltán Csörnyei, editor, Fifth Joint Conference on Mathematics and Computer Science (5th MaCS), page 55, Debrecen, Hungary, 2004. Abstract. [ bib ]

[14]

Zoltán Horváth, Tamás Kozsik, and Máté Tejfel. Verifying safety properties of abstract functional objects. In Fifth Joint Conference on Mathematics and Computer Science (5th MaCS), page 47, Debrecen, Hungary, 2004. Abstract. [ bib ]

[15]

Zoltán Horváth, Tamás Kozsik, and Máté Tejfel. Extending the Sparkle Core language with object abstraction. In Conference of PhD students on Computer Sciences (CSCS), Szeged, Hungary, 2004. Full paper: Acta Cybernetica 17:419-445, 2005. [ bib ]

[16]

Zoltán Horváth and Tamás Kozsik. Safe mobile code - CPPCC: Certified Proved-Property-Carrying Code. In Object-Oriented Technology. ECOOP 2002 Workshop Reader: ECOOP 2002 Workshops and Posters, Málaga, Spain, June 10-14, 2002. Proceedings, volume 2548 of LNCS, pages 8-10. Springer, Berlin/Heidelberg, 2002. As a part of: Grzegorz Czajkowski and Jan Vitek, Resource Management for Safe Languages. [ bib ]

[17]

Ákos Frohner, Tamás Kozsik, and László Varga. Design and implementation of synchronisation patterns using an extension to UML: A case study. In Proceedings of the 3rd Joint Conference on Mathematics and Computer Science, page 28, Visegrád, Hungary, 1999. Full paper: PU.M.A. 13(1-2):133-158, 2002. [ bib ]

[18]

László Gulyás, Tamás Kozsik, Péter Czabala, and John B. Corliss. Telemodelling - overview of a system. In Gordon Davies, editor, Teleteaching '98. Distance Learning, Training and Education. Short Papers, XV. IFIP World Computer Congress, Vienna, Austria, 1998. International Federation for Information Processing, Österreichische Computer Gesellschaft. Short paper. [ bib | .pdf ]

[19]

Ákos Fóthi, Zoltán Horváth, Tamás Kozsik, Judit Nyékyné G., and Tibor Venczel. A formal semantics of internal object concurrency. In Serge Demeyer and Jan Bosch, editors, Object-Oriented Technology (ECOOP'98 Workshop Reader), volume 1543 of LNCS, page 176. Springer, Heidelberg, Germany, 1998. Full paper: Proc. 2nd ECOOP WS on Precise Behavioral Semantics, p. 85-94, 1998. [ bib ]

[20]

Zoltán Horváth, Tamás Kozsik, and Tibor Venczel. Parallel programs implementing abstract data type operations - a case study (abstract). In Serge Demeyer and Jan Bosch, editors, Object-Oriented Technology (ECOOP'98 Workshop Reader), volume 1543 of LNCS, pages 15-16. Springer, Heidelberg, Germany, 1998. DBLP Record 'conf/ecoopw/Kozsik98'. Full paper: PU.M.A. 11(2):293-308, 2000. [ bib ]

[21]

Zoltán Horváth, Tamás Kozsik, and Tibor Venczel. Parallel programs implementing abstract data type operations. In Collection of Abstracts of the Second Joint Conference on Modern Applied Mathematics, page 40, Ilieni, Romania, 1997. Full paper: PU.M.A. 11(2):293-308, 2000. [ bib ]

[22]

Zoltán Horváth, Tamás Kozsik, and Tibor Venczel. On Composing Problems and Parallel Programs-Extended abstract. In Norbert Podhorszki et al., editors, Proceedings of the Austrian-Hungarian Workshop on Distributed and Parallel Systems (DAPSYS'96), pages 225-226, Miskolc, Hungary, 1996. KFKI-1996-09/M,N Report (1996). Full paper appeared in Proc. of 5th Symp. on Progr. Lang. and Software Tools. [ bib ]

[23]

Péter Czabala and Tamás Kozsik. Üzenettovábbítás transzputerhálózatokban. In A XXI. OTDK Informatika szekció programja, Veszprémi Egyetem, VE-52/1993, page 49, 1993. [ bib ]

This file was generated by bibtex2html 1.97.