ANDREI STEFAN

Collaboration Map View Statistics Email Alert RSS Feed

Full Name

ANDREI STEFAN

Variants

Andrei, Ş.
Andrei, S.

Main Affiliation

SINGAPORE-MIT ALLIANCE

Faculty

NON-FACULTY-BASED DEPARTMENTS

dcsas@nus.edu.sg

Results 1-13 of 13 (Search time: 0.122 seconds).

Refman EndNote Bibtex RefWorks Excel CSV PDF Send via email

	Issue Date	Title	Author(s)
1	2003	A new algorithm for regularizing one-letter context-free grammars	Andrei, S. ; Cavadini, S.V.; Chin, W.-N.
2	2005	An integrated performance and power model for superscalar processor designs	Zhu, Y. ; Wong, W.-F. ; Andrei, S.
3	2006	Automatic debugging of real-time systems based on incremental satisfiability counting	Andrei, Ş. ; Chin, W.N. ; Cheng, A.M.K.; Lupu, M.
4	2005	Calculating polynomial runtime properties	Anderson, H. ; Khoo, S.-C. ; Andrei, S. ; Luca, B.
5	2006	Co-optimization of performance and power in a superscalar processor design	Zhu, Y.; Wong, W.-F. ; Andrei, Ş.
6	Dec-2004	Counting for satisfiability by inverting resolution	Andrei, S.
7	2006	Faster verification of RTL-specified systems via decomposition and constraint extension	Andrei, Ş. ; Cheng, A.M.K.
8	2007	Incremental deterministic planning	Andrei, Ş. ; Chin, W.-N. ; Rinard, M.
9	2006	Optimization of real-time systems timing specifications	Andrei, Ş. ; Cheng, A.M.K.
10	2006	Program transformation by solving recurrences	Luca, B.; Andrei, S. ; Anderson, H. ; Khoo, S.-C.
11	2005	Runtime-coordinated scalable incremental checksum testing of combinational circuits	Andrei, Ş. ; Chin, W.-N. ; Cheng, A.M.K.; Zhu, Y.
12	2004	Self-embedded context-free grammars with regular counterparts	Andrei, S. ; Chin, W.-N. ; Cavadini, S.V.
13	2004	Solving a class of higher-order equations over a group structure	Andrei, Ş. ; Chin, W.-N.