Recently added

Now showing items 21-40 of 15129

Mix-and-Match Composition in the Gamma Framework

Graics, Bence; Molnár, Vince (2018)
Towards Reliable Benchmarks of Timed Automata

Farkas, Rebeka; Bergmann, Gábor (2018)
Unknown, Uncertain, Untrue: Challenges in Inference Using Semantic Life Science Data

Bruncsics, Bence; Gézsi, András; Antal, Péter (2018)
Basecalling Raw Nanopore DNA Sequencing Reads using Neural Networks

Borkó, Máté; Bolgár, Bence; Sarkozy, Peter (2018)
Use of resource leveling in peak workload scheduling

Bozóki, Szilárd; Pataricza, András (2018)
New approaches to identify and follow key pathways of the malaria parasites

Molnár, Petra Andrea (2020)
Szén nanoszerkezeteken alapuló fotokatalitikus anyagok előállítása és vizsgálata

Bakos, László Péter (2020)
Quantification and epsilon-invariance in some epsilon calculi

Molnár, Zoltán Gábor (2020)
Structural analysis of networks

Molontay, Roland (2021)
Executing Online Anomaly Detection in Complex Dynamic Systems

Zoppi, Tommaso (2017)
Block-Oriented Identification using the Best Linear Approximation: Benefits and Drawbacks

Schoukens, Maarten (2017)
Distributed Runtime Verification of Cyber-Physical Systems Based on Graph Pattern Matching

Szilágyi, Gábor; Vörös, András (2017)
Securing Critical Systems through Continuous User Authentication and Non-repudiation

Schiavone, Enrico (2017)
Boosting Software Verification with Compiler Optimizations

Sallai, Gyula; Tóth, Tamás (2017)
Timed Automata Verification using Interpolants

Tóth, Tamás; Majzik, István (2017)
Enhanced Spectral Estimation Using FFT in Case of Data Loss

Palkó, András; Sujbert, László (2017)
Towards Language Independent (Dynamic) Symbolic Execution

Klikovits, Stefan; Gonzalez-Berges, Manuel; Buchs, Didier (2017)
Constraint Programming with Multi-valued Decision Diagrams: A Saturation Approach

Molnár, Vince; Majzik, István (2017)
Effects of Graph Transformation Rules to Design Space Exploration Problems

Nagy, András Szabolcs; Varró, Dániel (2017)
Exploratory Analysis of the Performance of a Configurable CEGAR Framework

Hajdu, Ákos; Micskei, Zoltán (2017)