Elimination of network intrusions via a resource oriented BDI architecture von Perháč, Ján, Mihályi, Daniel, Maťaš, Lukáš

Volltext

Web-Based Questionnaires for Type Theory Course von MIHÁLYI, Daniel, PENIAŠKOVÁ, Monika, PERHÁČ, Ján, MIHELIČ, Jurij

Volltext

Logical Time and Space of the Network Intrusion von Mihalyi, Daniel, Perhac, Jan, Balint, Patrik

Volltext

A categorical model of predicate linear logic von Demeterová, Emilia, Mihályi, Daniel, Novitzká, Valerie

Volltext

Intrusion detection system episteme von Mihályi, Daniel, Novitzká, Valerie, Ľaľová, Martina

Volltext

Between syntax and semantics of resource oriented logic for IDS behavior description von Perháč, Ján, Mihályi, Daniel, Novitzká, Valerie

Volltext

Modeling Synchronization Problems: From Composed Petri Nets to Provable Linear Sequents von Perháč, Ján, Mihályi, Daniel, Novitzká, Valerie

Volltext

INTRUSION DETECTION SYSTEM BEHAVIOR AS RESOURCE-ORIENTED FORMULA von PERHÁČ, Ján, MIHÁLYI, Daniel

Volltext

What about Linear Logic in Computer Science?

Volltext

Program Components & Abstract Behavioral Types von Jenčik, Marián, Mihályi, Daniel

Volltext

Categorical Semantics of Reference Data Type von MIHÁLYI, Daniel, LUKÁČ, Miloš, NOVITZKÁ, Valerie

Volltext

Influence of different LCIA methods on an exemplary scenario analysis from a process development LCA case study von Koch, Daniel, Friedl, Anton, Mihalyi, Bettina

Volltext

Life cycle assessment of a lignin nanoparticle biorefinery: Decision support for its process development von Koch, Daniel, Paul, Marco, Beisl, Stefan, Friedl, Anton, Mihalyi, Bettina

Volltext

A ground-based imaging study of galaxies causing damped Lyman α (DLA), sub-DLA and Lyman limit system absorption in quasar spectra von Rao, Sandhya M., Belfort-Mihalyi, Michèle, Turnshek, David A., Monier, Eric M., Nestor, Daniel B., Quider, Anna

Volltext

Cathodoluminescence microscopy and spectroscopy of forsterite from Kaba meteorite: An application to the study of hydrothermal alteration of parent body von Gucsik, Arnold, Endo, Taro, Nishido, Hirotsugu, Ninagawa, Kiyotaka, Kayama, Masahiro, Bérczi, Szaniszló, Nagy, Szabolcs, Ábrahám, Péter, Kimura, Yuki, Miura, Hitoshi, Gyollai, Ildikó, Simonia, Irakli, Rózsa, Péter, Posta, József, Apai, Dániel, Mihályi, Krisztián, Nagy, Mihály, Ott, Ulrich

Volltext

Assessing the Change in Environmental Impact Categories when Replacing Conventional Plastic with Bioplastic in Chosen Application Fields von Daniel Koch, Bettina Mihalyi

Volltext

Decreased oral cancer risk by moderate alcohol consumption in non-smoker postmenopausal women von Takács, Dániel, Koppány, Ferenc, Mihályi, Szilvia, Suba, Zsuzsanna

Volltext

Process Simulation and Life Cycle Assessment of Dilute Sodium Hydroxide Pretreatment of Wheat Straw von Diana Dimande, Walter Wukovits, Daniel Koch, Bettina Mihalyi-Schneider, Anton Friedl

Volltext

Recombinant Human TNFRSF1A (r-hTBP1) Inhibits the Development of Endometriosis in Baboons: A Prospective, Randomized, Placebo- and Drug-Controlled Study von D'HOOGHE, Thomas M, NUGENT, Noreen P, CUNEO, Silvio, CHAI, Daniel C, DEER, Frank, DEBROCK, Sophie, KYAMA, Cleophas M, MIHALYI, Attila, MWENDA, Jason M

Volltext

Körkérdés : Mi lesz veled, Európai Unió? Mi lesz veled, Magyarország? von Antalóczy, Katalin, Sass, Magdolna, Benczes, István, Bod, Péter Ákos, Csillag, István, Mihályi, Péter, Halmai, Péter, Karsai, Gábor, Losoncz, Miklós, Molnár, Dániel, Regős, Gábor, Muraközy, László, Nagy, Katalin, Petschnig, Mária Zita, Soós, Károly Attila, Várhegyi, Éva

Volltext