Heba Aamer

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 15

Top Topics

Organizational Structure

Linear Temporal Logic

Information Flows

Query Processing

Top Venues

ACM Trans. Comput. Log.

Publications

Bart Bogaerts, Bas Ketsman, Younes Zeboudj, Heba Aamer, Ruben Taelman, Ruben Verborgh
Distributed Subweb Specifications for Traversing the Web. Theory Pract. Log. Program. 24 (2) (2024)
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
Executable First-Order Queries in the Logic of Information Flows. Log. Methods Comput. Sci. 20 (2) (2024)
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
Inputs, Outputs, and Composition in the Logic of Information Flows. ACM Trans. Comput. Log. 24 (4) (2023)
Bart Bogaerts, Bas Ketsman, Younes Zeboudj, Heba Aamer, Ruben Taelman, Ruben Verborgh
Distributed Subweb Specifications for Traversing the Web. CoRR (2023)
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
Executable First-Order Queries in the Logic of Information Flows. CoRR (2022)
Heba Aamer, Jan Hidders, Jan Paredaens, Jan Van den Bussche
Expressiveness within Sequence Datalog. CoRR (2022)
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
Inputs, Outputs, and Composition in the Logic of Information Flows. CoRR (2022)
Heba Aamer, Marco Montali, Jan Van den Bussche
What Can Database Query Processing Do for Instance-Spanning Constraints? CoRR (2022)
Heba Aamer, Marco Montali, Jan Van den Bussche
What Can Database Query Processing Do for Instance-Spanning Constraints? Business Process Management Workshops (2022)
Heba Aamer, Jan Hidders, Jan Paredaens, Jan Van den Bussche
Expressiveness within Sequence Datalog. PODS (2021)
Bart Bogaerts, Bas Ketsman, Younes Zeboudj, Heba Aamer, Ruben Taelman, Ruben Verborgh
Link Traversal with Distributed Subweb Specifications. RuleML+RR (2021)
Heba Aamer, Jan Van den Bussche
Input-Output Disjointness for Forward Expressions in the Logic of Information Flows. ICDT (2021)
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
Inputs, Outputs, and Composition in the Logic of Information Flows. KR (2020)
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
Executable First-Order Queries in the Logic of Information Flows. ICDT (2020)
Heba Aamer, Haythem O. Ismail
Concatenation, Separation, and Other Properties of Variably Polyadic Relations. FoIKS (2018)