Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers von El-Fakih, Khaled, Bochmann, Gregor V.

Volltext

VP03.01: Evolution of Trisomy 21 detection in a population of 10 million in the years 1994–2018 von Šípek, A., Gregor, V., Klaschka, J., MalÝ, M., Šípek, A., Calda, P.

Volltext

Synthesizing and verifying controllers for multi-lane traffic maneuvers von Bochmann, Gregor V., Hilscher, Martin, Linker, Sven, Olderog, Ernst-Rüdiger

Volltext

Facilitated Allergen Binding (FAB) Is a Meaningful Immunological Biomarker for Monitoring Immediate Clinical Efficacy in Short-Term Peptide Allergen Immunotherapy von Allekotte, Silke, Dr, Shamji, Mohamed H., Dr, Zadoyan, Gregor V., Dr, Kasche, Elena M., Ms, Shah-Hosseini, Kija, Dr, Astvatsatourov, Anatoli, Dr, Pirotton, Sabine, Dr, Caplanusi, Adrian, Dr, Durham, Stephen R., Prof, Mosges, Ralph, Prof

Volltext

A Model-Based Approach for Crawling Rich Internet Applications von Dincturk, Mustafa Emre, Jourdan, Guy-Vincent, Bochmann, Gregor V., Onut, Iosif Viorel

Volltext

Recovering user-interactions of Rich Internet Applications through replaying of HTTP traces von Hooshmand, Salman, Bochmann, Gregor V., Jourdan, Guy-Vincent, Couturier, Russell, Onut, Iosif-Viorel

Volltext

Architecture of Distributed Computer Systems von Bochmann, Gregor v

Volltext

Phishing Attacks Modifications and Evolutions von Cui, Qian, Jourdan, Guy-Vincent, Bochmann, Gregor V., Onut, Iosif-Viorel, Flood, Jason

Volltext

Load balancing in peer-to-peer systems using a diffusive approach von Qiao, Ying, Bochmann, Gregor v.

Volltext

Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Contr ollers von El-Fakih, Khaled, Bochmann, Gregor V.

Volltext

CliqueStream: Creating an efficient and resilient transport overlay for peer-to-peer live streaming using a clustered DHT von Asaduzzaman, Shah, Qiao, Ying, Bochmann, Gregor v.

Volltext

Supporting Decentralized SPARQL Queries in an Ad-Hoc Semantic Web Data Sharing System von Zhou, Jing, Bochmann, Gregor v., Shi, Zhongzhi

Volltext

FSM-based incremental conformance testing methods von EI-Fakih, K., Yevtushenko, N., Bochmann, Gv

Volltext

Petri net-based protocol synthesis with minimum communication costs von El-Fakih, Khaled, Yamaguchi, Hirozumi, Bochmann, Gregor v., Higashino, Teruo

Volltext

A proof of wavelength conversion not improving the lagrangian bound of the static RWA problem von Zhang, J.Y., Jing Wu, Bochmann, G.V., Savoie, M.

Volltext

Identification of Alkylidene Hydrazides as Glucagon Receptor Antagonists von Ling, Anthony, Hong, Yufeng, Gonzalez, Javier, Gregor, Vlad, Polinsky, Alex, Kuki, Atsuo, Shi, Shenghua, Teston, Kimberly, Murphy, Douglas, Porter, John, Kiel, Dan, Lakis, James, Anderes, Kenna, May, John, Knudsen, Lotte Bjerre, Lau, Jesper

Volltext

High-level design for user and component interfaces von Bochmann, Gregor v.

Volltext

Progressive solutions to a parallel automata equation von El-Fakih, Khaled, Yevtushenko, Nina, Buffalov, Sergey, Bochmann, Gregor v.

Volltext

Generalizing the Submodule Construction Techniques for Extended State Machine Models von Daou, Bassel, Bochmann, Gregor v.

Volltext

Deploying agile photonic networks over reconfigurable optical networks von Paredes, S.A., Bochmann, G.V., Hall, T.J.

Volltext