@
| About ALCom | News | People | Research | Publications | Tools | Student Info | Links |

The ALCom Lab concerns with Applied Logic and Computation in System Design. It is founded in August 2005. We are cooking an enjoyable research environment and a culture of creativity.


2017-09-17 Paper on "Path-Specific Functional Timing Verification under Floating and Transition Modes of Operation" to appear in ACM/IEEE Design Automation Conference (DAC) 2017
2017-09-17 Paper on "Closing the Accuracy Gap of Static Performance Analysis of Asynchronous Circuits" to appear in ACM/IEEE Design Automation Conference (DAC) 2017
2017-09-17 Paper on "Solving Stochastic Boolean Satisfiability under Random-Exist Quantification" to appear in International Joint Conferences on Artificial Intelligence (IJCAI) 2017
2017-09-17 Paper on "Logic Synthesis of Recombinase-Based Genetic Circuits" to appear in Scientific Reports
2017-09-17 Paper on "Recombinase-Based Genetic Circuit Optimization" to appear in IEEE Biomedical Circuits and Systems Conference (BioCAS) 2017

@
since 2007.4.2
Postal Address :
 Room 526, Ming-Dar Hall, National Taiwan University, Taipei 10617, Taiwan
Phone :
 +886-2-3366-9753
© 2007 Applied Logic and Computation Laboratory, GIEE, NTU. All rights reserved.
@