Skip to main content
ENHU
Főoldal

Main navigation

  • Rólunk
  • Aktualitások
    • Hírek
    • Események
  • Kutatás
    • Kutatási területek
    • Projektek
  • Anyagok
    • Publikációk
    • Letöltések
  • Partnerek
  1. Főoldal

Biró Csaba

Kutató
Eötvös Loránd Tudományegyetem Informatikai Kar

Biró Csaba az ELTE Informatikai Karának tudományos munkatársa, és az Eszterházy Károly Egyetem Informatika Karának egyetemi docense. 2008 óta oktat programozási nyelvek, szoftvertechnológia, matematikai logika, és információelmélet témakörben.  Kutatási területei: komplex hálózatok, SAT/SMT/OMT problémák. Összes közleményeinek száma 70, összes idézőik száma 132.

Publikációk

  • G. Kusper, Cs. Biró, A. Adamkó, I. Baják: Introducing w-Horn and z-Horn: A generalization of Horn and q-Horn formulae. ANNALES MATHEMATICAE ET INFORMATICAE 52 doi:10.33039/ami.2021.03.009  (2021)
  • G. Kusper, Cs. Biró: Convert a Strongly Connected Directed Graph to a Black-and-White 3-SAT Problem by the Balatonboglár Model. ALGORITHMS 13 : 12 p. 321 (2020)
  • G. Kusper, T. Balla, Cs. Biró, T. Tajti, Gy. Z. Yang, I. Bajak: Generating Minimal Unsatisfiable SAT Instances from Strong Digraphs. 2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), pp. 84-92. (2020)
  • Cs. Biró, G. Kusper: Some k-hop Based Graph Metrics and Node Ranking in Wireless Sensor Networks. ANNALES MATHEMATICAE ET INFORMATICAE 50 10.33039/ami.2018.09.002, 19 p. (2019)
  • Cs. Biró, G. Kusper: Equivalence of Strongly Connected Graphs and Black-and-White 2-SAT Problems. MISKOLC MATHEMATICAL NOTES 19 : 2 pp. 755-768. , 14 p. (2018)
  • G. Kovásznai, Cs. Biró, B. Erdélyi: Puli – A Problem-Specific OMT solver. In: 16th International Workshop on Satisfiability Modulo Theories (SMT 2018)
Főoldal

Explore

  • Állásajánlatok
  • Hírek
  • Események
  • Publikációk

Kutatási területek

  • Kvantumkommunikációs hálózat megvalósítása
  • A kvantuminformatika elemi építőkövei
  • Kvantumszámítás és kvantumrendszerek szimulációja

Contact us (Wigner RCP)

1121 Budapest,
Konkoly-Thege Miklós út 29-33.
Titkárság:
+36-1-392- 2512
Sajtókapcsolat:
+36-30-487-9869
@email

©2021 Kvantuminformatika Nemzeti Laboratórium