VAN DEN BUSSCHE, Jan

Email Alert RSS Feed

Profile

Full Name
VAN DEN BUSSCHE, Jan
Email
jan.vandenbussche@uhasselt.be
 
Loading... 5 0 5 0 false
Loading... 6 0 5 0 false

Publications

Refined By:
Author:  AMELOOT, Tom

Results 1-12 of 12 (Search time: 0.014 seconds).

Issue DateTitleContributor(s)TypeCat.
12016Putting logic-based distributed systems on stable groundsAMELOOT, Tom; VAN DEN BUSSCHE, Jan; Marczak, William R.; Alvaro, Peter; Hellerstein, Joseph M.Journal ContributionA1
22015Positive Neural Networks in Discrete Time Implement Monotone-Regular BehaviorsAMELOOT, Tom; VAN DEN BUSSCHE, JanJournal ContributionA1
32015Deciding Confluence for a Simple Class of Relational Transducer NetworksAMELOOT, Tom; VAN DEN BUSSCHE, JanJournal ContributionA1
42014Positive Dedalus programs tolerate non-causalityAMELOOT, Tom; VAN DEN BUSSCHE, JanJournal ContributionA1
1452013On the expressive power of update primitivesAMELOOT, Tom; VAN DEN BUSSCHE, Jan; Waller, EmmanuelProceedings PaperC1
1462013A Declarative Semantics for DedalusAlvaro, Peter; AMELOOT, Tom; Hellerstein, Joseph M.; Marczak, William R.; VAN DEN BUSSCHE, JanResearch ReportR2
1472013Deciding Eventual Consistency for a Simple Class of Relational Transducer NetworksAMELOOT, Tom; VAN DEN BUSSCHE, JanResearch ReportR2
1482013Relational transducers for declarative networkingAMELOOT, Tom; NEVEN, Frank; VAN DEN BUSSCHE, JanResearch ReportR2
1492013Relational Transducers for Declarative NetworkingAMELOOT, Tom; NEVEN, Frank; VAN DEN BUSSCHE, JanJournal ContributionA1
1502012Deciding Eventual Consistency for a Simple Class of Relational Transducer NetworksAMELOOT, Tom; VAN DEN BUSSCHE, JanProceedings PaperC2
1512012On the CRON ConjectureAMELOOT, Tom; VAN DEN BUSSCHE, JanProceedings PaperC1
1522011Relational transducers for declarative networkingAMELOOT, Tom; VAN DEN BUSSCHE, Jan; NEVEN, FrankProceedings PaperC1