User-Driven Abstraction for Model Checking von Bruns, Glenn

Volltext bestellen

A Logical Way to Negotiate Services von Bruns, Glenn, Cortes, Mauricio

Volltext bestellen

Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis von Bruns, Glenn, Huth, Michael

Volltext

Understanding Quota Dynamics in Wireless Networks von Andrews, Matthew, Bruns, Glenn, Doğru, Mustafa, Lee, Hyoseop

Volltext

User-Driven Abstraction for Model Checking von Bruns, Glenn

Volltext

Neural Memory Decoding with EEG Data and Representation Learning von Bruns, Glenn, Haidar, Michael, Rubino, Federico

Volltext

Neural Memory Decoding with EEG Data and Representation Learning von Bruns, Glenn, Haidar, Michael, Rubino, Federico

Volltext bestellen

Access control via belnap logic: Intuitive, expressive, and analyzable policy composition von Bruns, Glenn, Huth, Michael

Volltext

Model Checking with Multi-valued Logics von Bruns, Glenn, Godefroid, Patrice

Volltext

A Logical Way to Negotiate Services von Bruns, Glenn, Cortes, Mauricio

Volltext

Model checking partial state spaces with 3-valued temporal logics (extended abstract) von BRUNS, G, GODEFROID, P

Volltext

A practical technique for process abstraction von Bruns, Glenn

Volltext

A case study in safety-critical design von Bruns, Glenn

Volltext

Automated software development with XML and the Java∗ language von Bruns, Glenn R., Frey, Alan E., Mataga, Peter A., Tripp, Susan J.

Volltext

Neural Memory Decoding with EEG Data and Representation Learning von Bruns, Glenn, Haidar, Michael, Rubino, Federico

Volltext

Neural Memory Decoding with EEG Data and Representation Learning von Bruns, Glenn, Haidar, Michael, Rubino, Federico

Volltext

The formalization and analysis of a communications protocol von BRUNS, G, ANDERSON, S

Volltext

Searching for points-to analysis von Bruns, G., Chandra, S.

Volltext

Mawl: a domain-specific language for form-based services von Atkins, D.L., Ball, T., Bruns, G., Cox, K.

Volltext

μABC: A Minimal Aspect Calculus von Bruns, Glenn, Jagadeesan, Radha, Jeffrey, Alan, Riely, James

Volltext