Gen Zou

11 papers Journal 2Unranked 9
YearRankTypeTitle / Venue / Authors
2017 J jnl
Perspectival Knowledge in PSOA RuleML: Representation, Model Theory, and Translation.
CoRR
Harold Boley, Gen Zou
2017 — conf
Port Clearance Rules in PSOA RuleML: From Controlled-English Regulation to Object-Relational Logic.
RuleML+RR (Supplement)
Gen Zou, Harold Boley, Dylan Wood, Kieran Lea
2016 — conf
Minimal Objectification and Maximal Unnesting in PSOA RuleML.
RuleML
Gen Zou, Harold Boley
2015 — conf
PSOA RuleML Integration of Relational and Object-Centered Geospatial Data.
Challenge+DC@RuleML
Gen Zou
2015 — conf
PSOA2Prolog: Object-Relational Rule Interoperation and Implementation by Translation from PSOA RuleML to ISO Prolog.
RuleML
Gen Zou, Harold Boley
2014 — conf
A Datalog + Plus RuleML 1.01 Architecture for Rule-Based Data Access in Ecosystem Research.
RuleML
Harold Boley, Rolf Grütter, Gen Zou, Tara Athan, Sophia Etzold
2014 J jnl
Computing Refined Ordering Relations with Uncertainty for Acyclic Process Models.
IEEE Trans. Serv. Comput.
Tao Jin, Jianmin Wang, Lijie Wen, Gen Zou
2014 — conf
GeospatialRules: A Datalog+ RuleML Rulebase for Geospatial Reasoning.
Challenge+DC@RuleML
Gen Zou
2012 — conf
PSOA2TPTP: A Reference Translator for Interoperating PSOA RuleML with TPTP Reasoners.
RuleML
Gen Zou, Reuben Peter-Paul, Harold Boley, Alexandre Riazanov
2012 — conf
PSOATransRun: Translating and Running PSOA RuleML via the TPTP Interchange Language for Theorem Provers.
RuleML (2)
Gen Zou, Reuben Peter-Paul, Harold Boley, Alexandre Riazanov
2009 — conf
Gossip-Based Workload Prediction and Process Model for Composite Workflow Service.
SERVICES I
Weihong Song, Dejun Jiang, Chi-Hung Chi, Pengfei Jia, Xintong Zhou, Gen Zou
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski