The Logical Difference Problem for Description Logic Terminologies. [Citation Graph (, )][DBLP]
Logical Difference and Module Extraction with CEX and MEX. [Citation Graph (, )][DBLP]
Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. [Citation Graph (, )][DBLP]
Semantic Modularity and Module Extraction in Description Logics. [Citation Graph (, )][DBLP]
Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. [Citation Graph (, )][DBLP]
Alternating-time temporal logic with explicit strategies. [Citation Graph (, )][DBLP]
Modeling RNA loops using sequence homology and geometric constraints. [Citation Graph (, )][DBLP]
ProMEX: a mass spectral reference database for proteins and protein phosphorylation sites. [Citation Graph (, )][DBLP]
Detection and characterization of 3D-signature phosphorylation site motifs and their contribution towards improved phosphorylation site prediction in proteins. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP