Toggle navigation
Műegyetemi Digitális Archivum
magyar
English
English
magyar
English
Login
Toggle navigation
Recent submissions
DSpace Home
Recent submissions
DSpace Home
Recent submissions
JavaScript is disabled for your browser. Some features of this site may not work without it.
BME OMIKK Repozitorium: Recent submissions
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
)
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
My Account
Login
Register