Karl-Heinz Sylla
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1983–2025
Best venue rank
National
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ECAI | Teuken-7B-Base & Teuken-7B-Instruct: Towards European LLMs. | Mehdi Ali, Michael Fromm, Klaudia Thellmann, Jan Ebert, Alexander Arno Weber, Richard Rutmann, Charvi Jain, Max Lbbering, Daniel Steinigen, Johannes Leveling, Katrin Klug, Jasper Schulze Buschhoff, Lena Jurkschat, Hammam Abdelwahab, Benny Jrg Stein, Karl-Heinz Sylla, Pavel Denisov, Nicolo' Brandizzi, Qasid Saleem, Anirban Bhowmick, Lennard Helmer, Chelsea Maria John, Pedro Ortiz Suarez, Malte Ostendorff, Alex Jude, Lalith Manjunath, Samuel Weinbach, Carolin Penke, Oleg Filatov, Fabio Barth, Paramita Mirza, Lucas Weber, Ines Wendler, Rafet Sifa, Fabian Kch, Andreas Herten, Ren Jkel, Georg Rehm, Stefan Kesselheim, Joachim Khler, Nicolas Flores-Herr |
| 1996 | SAFECOMP | Formal Verification as a Design Tool - The Transponder Lock Example. | Reinhard Budde, Agathe Merceron, Karl-Heinz Sylla |
| 1987 | KI | Methodik des Programmierens in Prolog. | Reinhard Budde, Karin Kuhlenkamp, Karl-Heinz Sylla, Heinz Zllighoven |
| 1987 | KI | Konstruktion interaktiver Anwendungen in einer Prolog-Programmierumgebung. | Reinhard Budde, Karin Kuhlenkamp, Karl-Heinz Sylla, Heinz Zllighoven |
| 1983 | GI | Anmerkungen zum Prototyping. | Hermann Streich, Karl-Heinz Sylla, Heinz Zllighoven |