Shiguang Feng
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2014–2015
Best venue rank
National
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | CSR | Satisfiability of ECTL* with Tree Constraints. | Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey |
| 2015 | DLT | Path Checking for MTL and TPTL over Data Words. | Shiguang Feng, Markus Lohrey, Karin Quaas |
| 2014 | LATA | Satisfiability for MTL and TPTL over Non-monotonic Data Words. | Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas |