HUN ENG
Publications
List of publications

 

Publications in English

 

G. Kovásznai, Cs. Biró, B. Erdélyi. Puli – A Problem-Specific OMT solver.

16th International Workshop on Satisfiability Modulo Theories (SMT 2018), aff. to IJCAR 2018, Oxford, UK, 2018.

slides

 

M. Pap, S. Király. Comparison of Segmentation Methods on Images of Energy Plants Obtained by UAVs.

2018 IEEE International Conference on Future IoT Technologies (Future IoT), IEEE, Eger, Hungary, 2018.

 

G. Kovásznai, B. Erdélyi, Cs. Biró. Investigations of Graph Properties in Terms of Wireless Sensor Network Optimization.
2018 IEEE International Conference on Future IoT Technologies (Future IoT), IEEE, Eger, Hungary, 2018.

diasor

 

Cs. Biró, G. Kusper. Equivalence of Strongly Connected Graphs and Black-and-White 2-SAT Problems.

Miskolc Mathematical Notes, 2017. (accepted)

 

G. Kovásznai, Cs. Biró, B. Erdélyi. Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers.

15th International Workshop on Satisfiability Modulo Theories (SMT 2017), aff. to CAV 2017, CEUR, Vol. 1889, pp. 15-27, Heidelberg, Germany, 2017.

slides

 

G. Kovásznai. How Hard is Bit-Precise Reasoning?

10th International Conference on Applied Informatics (ICAI 2017), pp. 179-190, Eger, Hungary, 2017.

slides

 

Cs. Szugyiczki, V. Kurják, G. Kovásznai, M. Bán. Cross-platform Mobile Development for Spatial Biological Databases. (abstract)

10th International Conference on Applied Informatics (ICAI 2017), Eger, Hungary, 2017.

slides

 

M. Pap. Customized error clustering of industrial surface inspection images.

11th Joint Conference on Mathematics and Computer Science (MACS 2016), CEUR, Vol. 2046, pp. 227-240, Eger, Hungary, 2016.

 

G. Kovásznai. What is the State-of-the-Art in DQBF solving?

11th Joint Conference on Mathematics and Computer Science (MACS 2016), CEUR, Vol. 2046, pp. 185-196, Eger, Hungary, 2016.

slides

 

G. Kovásznai, A. Fröhlich, A. Biere. Complexity of Fixed-Size Bit-Vector Logics.
Theory of Computing Systems, Springer, Vol. 59 (2), pp. 323-376, 2016.

 

B. Nagy. Application of neighborhood sequences in communication of hexagonal networks.

Discrete Applied Mathematics, Elsevier, 2015.

 

G. Kovásznai. A Survey on DQBF: Formulas, Applications, Solving Approaches. (extended abstract)
Proceedings of the 2nd International Workshop on Quantification (Quantify 2015), pp. 7-9, Berlin, Germany, 2015.

 

J. Bánlaki, M. Hoffmann, T. Juhász. Add a User Interface to UHF RFID Tags.

RFID Journal, 2014.

 

M. Hoffmann, T. Juhász, T. Taskó. Radio Frequency Identication from the viewpoint of students of computer science.

Teaching Mathematics and Computer Science, 12/2, pp. 241-250, 2014.

 

G. Kovásznai, H. Veith, A. Fröhlich, A. Biere. On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic.
Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science (MFCS 2014), Lecture Notes in Computer Science (LNCS), Springer, Vol. 8635, pp. 481-492, Budapest, Hungary, 2014.

 

G. Kovásznai, A. Fröhlich, A. Biere. EPR Encodings of Bit-Vector Problems Even With Quantifiers.
Invited talk at the 1st International Workshop on Quantification (QUANTIFY 2014), Vienna, Austria, 2014.

 

A. Fröhlich, G. Kovásznai, A. Biere, H. Veith. iDQ: Instantiation-Based DQBF Solving.
Proceedings of the 5th International Workshop on Pragmatics of SAT (POS 2014), aff. to SAT 2014, EPiC Series, EasyChair, Vol. 27, pp. 103-116, Vienna, Austria, 2014.

 

G. Kovásznai, H. Veith, A. Fröhlich, A. Biere. On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic.
Unpublished contribution to the 15th International Workshop on Logic and Computational Complexity and Workshop in Honor of Neil Immerman’s 60th Birthday (LCC 2014/ImmermanFest), Vienna, Austria, 2014.

 

T. Varga, R. Schulcz. Relay attacks on HF RFID and NFC communications and defence against them.

Proceedings of the 9th International Conference on Applied Informatics (ICAI 2014), pp. 177-184, Eger, Hungary, 2014.

 

S. Király, T. Radványi, Cs. Biró, P. Szigetváry, P. Takács. Programming an RFID reader for getting data from different semi-passive sensor tags.

Proceedings of the 9th International Conference on Applied Informatics (ICAI 2014), pp. 131-138, Eger, Hungary, 2014.

 

Cs. Biró, G. Kusper, T. Radványi, S. Király, P. Szigetváry, P. Takács. SAT Representation of Randomly Deployed Wireless Sensor Networks.

Proceedings of the 9th International Conference on Applied Informatics (ICAI 2014), pp. 101-111, Eger, Hungary, 2014.

 

T. Tajti, G. Geda, A. Perjési, P. Magyar, T. Balla, A. Szívós, T. Gregus. Indoor localization using NFC and mobile sensor data corrected using neural net.

Proceedings of the 9th International Conference on Applied Informatics (ICAI 2014), pp. 163-169, Eger, Hungary, 2014.

 

T. Tajti, A. Perjési, G. Geda, P. Magyar, T. Gregus, Cs. Biró. Correction of smartphone motion sensor data using neural net algorithm, calibration with reference positions using NFC.

Proceedings of SzámOkt 2013, pp. 328-333, 2013.

 

A. Perjési, T. Tajti, G. Geda, P. Magyar, T. Gregus. Using NFC and other integrated devices in Android smartphones for development of everyday life applications.

Proceedings of SzámOkt 2013, pp. 274-278, 2013.

 

T. Radványi, E. Kovács. Inserting RFID systems into the Software Information Technology course.

Annales Mathematicae et Informaticae, Vol. 42, pp. 135-143, 2013.

 

Cs. Biró, G. Kovásznai, A. Biere, G. Kusper, G. Geda. Cube-and-Conquer Approach for SAT Solving on Grids.
Annales Mathematicae et Informaticae, Vol. 42, pp. 9-21, 2013.

 

A. Fröhlich, G. Kovásznai, A. Biere. Efficiently Solving Bit-Vector Problems Using Model Checkers.
Proceedings of the 11th International Workshop on Satisfiability Modulo Theories (SMT 2013), aff. to SAT 2013, pp. 6-15, Helsinki, Finland, 2013.

 

G. Kovásznai, A. Fröhlich, A. Biere. Quantifier-Free Bit-Vector Formulas with Binary Encoding: Benchmark Description.
Proceedings of the SAT Competition 2013, Vol. B-2013-1 of Department of Computer Science Series of Publications B, pp. 107-108 , University of Helsinki, Finland, 2013.

 

G. Kovásznai, A. Fröhlich, A. Biere. BV2EPR: A Tool for Polynomially Translating Quantifier-free Bit-Vector Formulas into EPR.
Proceedings of the 24th International Conference on Automated Deduction (CADE-24), Lecture Notes in Artificial Intelligence (LNAI), Springer, Vol. 7898, pp. 443-449, Lake Placid, NY, USA, 2013.

 

A. Fröhlich, G. Kovásznai, A. Biere. More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding.
Proceedings of the 8th International Computer Science Symposium in Russia (CSR 2013), Lecture Notes in Computer Science (LNCS), Springer, Vol. 7913, pp. 378-390, Ekaterinburg, Russia, 2013.

 

Publications in Hungarian

 

T. Radványi, Cs. Biró, S. Király. RFID tagek elleni támadás és a védekezés lehetőségei.

Networkshop 2014, Pécs, Hungary, 2014.

 

G. Kusper. A digitális tulajdonjog és az információbank alaptulajdonságai.

GIKOF Journal, No. 1, pp. 48-56, 2014.

 

R. Zavarkó, T. Radványi, Cs. Biró. Vezeték nélküli szenzorhálózatok szimulátorai és összehasonlító elemzésük.

Networkshop 2014, Pécs, Hungary, 2014.

 

T. Szakács, Z. Ruzsa, R. Király, Zs. Parisek. Matematikai alapú lokalizációs keretrendszer.

Networkshop 2014, Pécs, Hungary, 2014.

 

R. Király. RFID alapú technológiák társadalmi és tudományos vonatkozásai.

MAFIOK 2013, Miskolc, Hungary, 2013.

 

Cs. Biró, T. Radványi, P. Takács, P. Szigetváry. RFID rendszerek sebezhetőségének vizsgálata.

MAFIOK 2013, pp. 15-24, Miskolc, Hungary, 2013.

 

T. Radványi, Cs. Biró, P. Takács. Áttérés a vonalkód rendszerekről az RFID-ra.

MAFIOK 2013, pp. 183-191, Miskolc, Hungary, 2013.


G. Kusper. Az Internet ott Tárgyak témakörének áttekintése.

MAFIOK 2013, pp. 1-10, Miskolc, Hungary, 2013.

 

Cs. Biró, T. Radványi, G. Kusper, T. Tajti. Szenzorhálózatok modellezése és vizsgálata nulladrendű logika segítségével.

SzámOkt 2013, pp. 147-153, Sibiu, Romania, 2013.

 

T. Radványi, Cs. Biró. Az adatvédelem helyzete az RFID-ban.

SzámOkt 2013, pp. 283-289, Sibiu, Romania, 2013.

 

T. Radványi, E. Kovács, P. Magyar. Az RFID szerepe a programozó oktatásban.

InfoDidact 2013, pp. 1-9, Zamárdi, Hungary, 2013.