MOHAMED, Heba

Email Alert RSS Feed

Profile

Full Name
MOHAMED, Heba
Email
heba.mohamed@uhasselt.be
 
Loading... 5 0 5 0 false
Loading... 6 0 5 0 false

Publications

Results 1-6 of 6 (Search time: 0.002 seconds).

Issue DateTitleContributor(s)TypeCat.
12023What Can Database Query Processing Do for Instance-Spanning Constraints?MOHAMED, Heba; Montali, Marco; VAN DEN BUSSCHE, JanProceedings PaperC1
22023Logical Analysis of Input and Output Sensitivity in the Logic of Information FlowsMOHAMED, HebaTheses and DissertationsT1
32021Expressiveness within Sequence DatalogAAMER, Heba; Hidders, Jan; Paredaens, Jan; VAN DEN BUSSCHE, JanProceedings PaperC1
42021Input–Output Disjointness for Forward Expressions in the Logic of Information FlowsAAMER, Heba; VAN DEN BUSSCHE, JanProceedings PaperC1
52020Executable First-Order Queries in the Logic of Information FlowsAAMER, Heba; Bogaerts, Bart; SURINX, Dimitri; Ternovska, Eugenia; VAN DEN BUSSCHE, JanProceedings PaperC1
62020Inputs, Outputs, and Composition in the Logic of Information FlowsAAMER, Heba; Bogaerts, Bart; Ternovska, Eugenia; SURINX, Dimitri; VAN DEN BUSSCHE, JanProceedings PaperC1