• Vliv předpokládané hodnoty při zadávání veřejných zakázek

  publicationsYear: 2023

  HÁVA, K. Vliv předpokládané hodnoty při zadávání veřejných zakázek. Soudní inženýrství, 2023, roč. 2023, č. 02, s. 3-14. ISSN: 2788-2764.

• Word Equations in Synergy with Regular Constraints

  publicationsYear: 2023

  HAVLENA, V.; CHOCHOLATÝ, D.; LENGÁL, O.; HOLÍK, L.; SÍČ, J.; BLAHOUDEK, F.; CHEN, Y. Word Equations in Synergy with Regular Constraints. In Proceedings of FM'23. Lecture Notes in Computer Science. Lübeck: Springer Verlag, 2023. p. 403-423. ISSN: 0302-9743.

• A symbolic algorithm for the case-split rule in solving word constraints with extensions

  publicationsYear: 2023

  HAVLENA, V.; LENGÁL, O.; CHEN, Y.; TURRINI, A. A symbolic algorithm for the case-split rule in solving word constraints with extensions. JOURNAL OF SYSTEMS AND SOFTWARE, 2023, vol. 201, no. 201, p. 111673-111693. ISSN: 0164-1212.

• A symbolic algorithm for the case-split rule in solving word constraints with extensions (technical report)

  publicationsYear: 2023

  HAVLENA, V.; LENGÁL, O.; CHEN, Y.; TURRINI, A. A symbolic algorithm for the case-split rule in solving word constraints with extensions (technical report). Ithaca: Cornell University Library, 2023. p. 0-0.

• Accurate Automata-Based Detection of Cyber Threats in Smart Grid Communication

  publicationsYear: 2023

  HAVLENA, V.; MATOUŠEK, P.; RYŠAVÝ, O.; HOLÍK, L. Accurate Automata-Based Detection of Cyber Threats in Smart Grid Communication. IEEE Transactions on Smart Grid, 2023, vol. 2023, no. 14, p. 2352-2366. ISSN: 1949-3053.

• Modular Mix-and-Match Complementation of Büchi Automata (Technical Report)

  publicationsYear: 2023

  HAVLENA, V.; ŠMAHLÍKOVÁ, B.; LENGÁL, O.; LI, Y.; TURRINI, A. Modular Mix-and-Match Complementation of Büchi Automata (Technical Report). Ithaca: Cornell University Library, 2023. p. 1-37.

• Fast Matching of Regular Patterns with Synchronizing Counting

  publicationsYear: 2023

  HOLÍK, L.; HOLÍKOVÁ, L.; SÍČ, J.; VOJNAR, T. Fast Matching of Regular Patterns with Synchronizing Counting. In Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2023. p. 392-412. ISSN: 0302-9743.

• Reasoning about Regular Properties: A Comparative Study

  publicationsYear: 2023

  HOLÍK, L.; HRUŠKA, M.; SÍČ, J.; VARGOVČÍK, P.; FIEDOR, T.; ROGALEWICZ, A. Reasoning about Regular Properties: A Comparative Study. In Automated Deduction - CADE 29. Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG, 2023. p. 286-306. ISSN: 0302-9743.

• Automata with Bounded Repetition in RE2

  publicationsYear: 2023

  HOLÍKOVÁ, L.; HORKÝ, M.; SÍČ, J. Automata with Bounded Repetition in RE2. In Computer Aided Systems Theory - EUROCAST 2022. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2023. p. 232-239. ISSN: 0302-9743.

• Carbon emission pinch analysis for shipping fuel planning considering multiple period and fuel conversion rates

  publicationsYear: 2023

  Hong, B.; Wang, C.; Zhang, K.; Lim, J.S.; Varbanov, P.S.; Jia, X.; Ji, M.; Tao, H.; Li, Z.; Wang, B. Carbon emission pinch analysis for shipping fuel planning considering multiple period and fuel conversion rates. Journal of Cleaner Production, 2023, no. 415, ISSN: 0959-6526.

• Eye Tracking as a Source of Implicit Feedback in Recommender Systems: A Preliminary Analysis

  publicationsYear: 2023

  DE LEON MARTINEZ, S.; MORO, R.; BIELIKOVÁ, M. Eye Tracking as a Source of Implicit Feedback in Recommender Systems: A Preliminary Analysis. In ETRA '23: Proceedings of the 2023 Symposium on Eye Tracking Research and Applications. New York, NY: Association for Computing Machinery, 2023. p. 1-3. ISBN: 979-8-4007-0150-4.

• Busting up Monopoly: Methods for Modern Darknet Marketplace Forensics

  publicationsYear: 2023

  DOLEJŠKA, D.; KOUTENSKÝ, M.; VESELÝ, V.; PLUSKAL, J. Busting up Monopoly: Methods for Modern Darknet Marketplace Forensics. Forensic Science International: Digital Investigation, 2023, vol. 46, no. 1, p. 1-11. ISSN: 2666-2817.

• BBB-Voting: Self-Tallying End-to-End Verifiable 1-out-of-k Blockchain-Based Boardroom Voting

  publicationsYear: 2023

  HOMOLIAK, I.; LI, Z.; SZALACHOWSKI, P. BBB-Voting: Self-Tallying End-to-End Verifiable 1-out-of-k Blockchain-Based Boardroom Voting. In 2023 IEEE International Conference on Blockchain (Blockchain). Hainan: Institute of Electrical and Electronics Engineers, 2023. p. 297-306. ISBN: 979-8-3503-1929-3.

• GenRex: Leveraging Regular Expressions for Dynamic Malware Detection

  publicationsYear: 2023

  REGÉCIOVÁ, D.; KOLÁŘ, D. GenRex: Leveraging Regular Expressions for Dynamic Malware Detection. IEEE Xplore. Exeter: Institute of Electrical and Electronics Engineers, 2023. p. 857-864. ISBN: 979-8-3503-8199-3.

• Automatic Patient Functionality Assessment from Multimodal Data using Deep Learning Techniques - Development and Feasibility Evaluation

  publicationsYear: 2023

  SUKEI, E.; DE LEON MARTINEZ, S.; OLMOS, M.; ARTES, A. Automatic Patient Functionality Assessment from Multimodal Data using Deep Learning Techniques - Development and Feasibility Evaluation. Internet Interventions, 2023, vol. 33, no. 100657, p. 1-9. ISSN: 2214-7829.

Showing results 6961 - 6975 of 10000 results.