共 50 条
- [1] Automatic Rule-Based Checking for the Approval of Building Architectural Designs of Airport Passenger Terminals based on BIM [J]. ECAADE SIGRADI 2019: ARCHITECTURE IN THE AGE OF THE 4TH INDUSTRIAL REVOLUTION, VOL 2, 2019, : 333 - 338
- [2] Rule-Based Consistency Checking of Railway Infrastructure Designs [J]. INTEGRATED FORMAL METHODS (IFM 2016), 2016, 9681 : 491 - 507
- [4] Leveraging rule-based designs for automatic power domain partitioning [J]. 2013 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2013, : 326 - 333
- [5] Model checking a rule-based parser [J]. PROCEEDINGS OF THE 2007 IEEE INTERNATIONAL CONFERENCE ON NATURAL LANGUAGE PROCESSING AND KNOWLEDGE ENGINEERING (NLP-KE'07), 2007, : 221 - +
- [7] AUTOMATIC RULE-BASED SYLLABICATION FOR ROMANIAN [J]. FROM SPEECH PROCESSING TO SPOKEN LANGUAGE TECHNOLOGY, 2009, : 87 - 94
- [9] Equivalence checking: A rule-based approach extended abstract [J]. FOURTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2006, : 197 - 197
- [10] Rule-based approaches for equivalence checking of SpecC programs [J]. MEMOCODE'08: SIXTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2008, : 39 - +