![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Exact matches
- Glenn Bruns
Bell Labs
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 42 matches
- 2024
- Glenn Bruns, Michael Haidar:
Neural Bookmarks: Information Retrieval with Deep Learning and EEG Data. AAAI 2024: 22864-22870 - 2023
- Glenn Bruns, Mauricio Cortes:
A Logical Way to Negotiate Services. CoRR abs/2307.02703 (2023) - Glenn Bruns, Michael Haidar, Federico Rubino:
Neural Memory Decoding with EEG Data and Representation Learning. CoRR abs/2307.13181 (2023) - Glenn Bruns:
User-Driven Abstraction for Model Checking. CoRR abs/2307.15820 (2023) - 2021
- Sherry Ruan, Liwei Jiang, Qianyao Xu, Zhiyuan Liu
, Glenn M. Davis, Emma Brunskill, James A. Landay
:
EnglishBot: An AI-Powered Conversational System for Second Language Learning. IUI 2021: 434-444 - 2020
- James Glenn, Rob Brunstad:
Automatic Playtesting for Yahtzee. CoG 2020: 760-763 - 2019
- Jose Mijangos, Glenn Bruns:
Assessing Wireless Data Services with Machine Learning and Geostatistics. ICMLA 2019: 549-554 - Sherry Ruan, Angelica Willis, Qianyao Xu, Glenn M. Davis, Liwei Jiang, Emma Brunskill, James A. Landay
:
BookBuddy: Turning Digital Materials Into Interactive Foreign Language Lessons Through a Voice Chatbot. L@S 2019: 30:1-30:4 - Angelica Willis, Glenn M. Davis, Sherry Ruan, Lakshmi Manoharan, James A. Landay
, Emma Brunskill:
Key Phrase Extraction for Generating Educational Question-Answer Pairs. L@S 2019: 20:1-20:10 - 2014
- Matthew Andrews, Glenn Bruns, Mustafa K. Dogru, Hyoseop Lee:
Understanding Quota Dynamics in Wireless Networks. ACM Trans. Internet Techn. 14(2-3): 14:1-14:17 (2014) - Matthew Andrews, Glenn Bruns, Hyoseop Lee:
Calculating the benefits of sponsored data for an individual content provider. CISS 2014: 1-6 - 2013
- Richard O. Sinnott, Loren Bruns
, Christopher Duran, William Hu, Glenn T. Jayaputera, Anthony Stell:
Development of an Endocrine Genomics Virtual Research Environment for Australia: Building on Success. ICCSA (5) 2013: 364-379 - 2012
- Glenn Bruns, Philip W. L. Fong, Ida Sri Rejeki Siahaan
, Michael Huth:
Relationship-based access control: its expression and enforcement through hybrid logic. CODASPY 2012: 117-124 - 2011
- Glenn Bruns, Michael Huth:
Access control via belnap logic: Intuitive, expressive, and analyzable policy composition. ACM Trans. Inf. Syst. Secur. 14(1): 9:1-9:27 (2011) - Glenn Bruns, Mauricio Cortes:
A Hierarchical Approach to Service Negotiation. ICWS 2011: 460-467 - Glenn Bruns, Michael Huth, Kumar Avijit:
Program synthesis in administration of higher-order permissions. SACMAT 2011: 41-50 - 2008
- Glenn Bruns, Michael Huth:
Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis. CSF 2008: 163-176 - 2007
- Glenn Bruns, Daniel S. Dantas, Michael Huth:
A simple and expressive semantic framework for policy composition in access control. FMSE 2007: 12-21 - 2006
- Michael Benedikt, Philip Bohannon, Glenn Bruns:
Data Cleaning for Decision Support. CleanDB 2006 - 2005
- Glenn Bruns:
Foundations for Features. FIW 2005: 3-11 - 2004
- Michael Benedikt, Glenn Bruns:
On Guard: Producing Run-Time Checks from Integrity Constraints. AMAST 2004: 27-41 - Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely
:
µABC: A Minimal Aspect Calculus. CONCUR 2004: 209-224 - Glenn Bruns, Patrice Godefroid:
Model Checking with Multi-valued Logics. ICALP 2004: 281-293 - 2003
- Glenn Bruns, Satish Chandra:
Searching for Points-To Analysis. IEEE Trans. Software Eng. 29(10): 883-897 (2003) - 2002
- Glenn Bruns, Satish Chandra:
Searching for points-to analysis. SIGSOFT FSE 2002: 61-70 - 2001
- Glenn Bruns, Patrice Godefroid:
Temporal Logic Query Checking. LICS 2001: 409-417 - 2000
- Glenn Bruns, Alan E. Frey, Peter Mataga, Susan J. Tripp:
Automated software development with XML and the Java* language. Bell Labs Tech. J. 5(2): 32-43 (2000) - Glenn Bruns, Patrice Godefroid:
Generalized Model Checking: Reasoning about Partial State Spaces. CONCUR 2000: 168-182 - 1999
- David L. Atkins, Thomas Ball, Glenn Bruns, Kenneth C. Cox:
Mawl: A Domain-Specific Language for Form-Based Services. IEEE Trans. Software Eng. 25(3): 334-346 (1999) - Glenn Bruns, Patrice Godefroid:
Model Checking Partial State Spaces with 3-Valued Temporal Logics. CAV 1999: 274-287
skipping 12 more matches
loading more results
failed to load more results, please try again later
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-08-10 06:14 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint