Area of research
Artificial Intelligence · Computational Theory and Mathematics
Research interest
Research interests include Formal Methods in Verification, Logic, programming, and type systems, Distributed systems and fault tolerance, and Parallel Computing and Optimization Techniques.
Hereditary Renal Amyloidosis Associated With a Novel Apolipoprotein A-II Variant
Interaction of tau with the RNA-Binding Protein TIA1 Regulates tau Pathophysiology and Toxicity
Confirmation of translatability and functionality certifies the dual endothelin1/VEGFsp receptor (DEspR) protein
COMBREX-DB: an experiment centered database of protein function: knowledge, predictions and knowledge gaps
The COMBREX Project: Design, Methodology, and Initial Results
Negative Elongation Factor (NELF) Coordinates RNA Polymerase II Pausing, Premature Termination, and Chromatin Remodeling to Regulate HIV Transcription
Thousands of missed genes found in bacterial genomes and their analysis with COMBREX