Stefan Andrei

2008
31		Stefan Andrei, Peggy Doerschuk: SAT-based Weighted Planning. ARCS 2008: 70-75
2007
30	EE	Stefan Andrei, Albert M. K. Cheng: Verifying Linear Real-Time Logic Specifications. RTSS 2007: 333-342
29	EE	Stefan Andrei, Gabriel Manolache, Roland H. C. Yap, Victor Felea: Approximate Satisfiability Counting. SYNASC 2007: 196-202
28	EE	Nilam Chand, Bindiya Mansharamani, Rafael Romero, Will Beazley, Stefan Andrei: PEARLS: An Integrated Environment for Task Scheduling. SYNASC 2007: 467-473
27	EE	Stefan Andrei, Samarjit Chakraborty: Path-Constrained Relaxed Schedulability Analysis. SYNASC 2007: 474-482
2006
26	EE	Yongxin Zhu, Weng-Fai Wong, Stefan Andrei: Co-optimization of Performance and Power in a Superscalar Processor Design. EUC Workshops 2006: 868-878
25	EE	Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo: Program transformation by solving recurrences. PEPM 2006: 121-129
24	EE	Stefan Andrei, Albert Mo Kim Cheng: Optimization of Real-Time Systems Timing Specifications. RTCSA 2006: 68-76
23	EE	Stefan Andrei, Albert Mo Kim Cheng: Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension. RTSS 2006: 67-76
22	EE	Stefan Andrei, Wei-Ngan Chin, Martin C. Rinard: Incremental Deterministic Planning. SYNASC 2006: 93-102
21	EE	Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Mihai Lupu: Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting. IEEE Trans. Computers 55(7): 830-842 (2006)
2005
20	EE	Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca: Calculating Polynomial Runtime Properties. APLAS 2005: 230-246
19	EE	Yongxin Zhu, Weng-Fai Wong, Stefan Andrei: An integrated performance and power model for superscalar processor designs. ASP-DAC 2005: 948-951
18	EE	Stefan Andrei, Albert Mo Kim Cheng, Wei-Ngan Chin, Mihai Lupu: Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting. IEEE Real-Time and Embedded Technology and Applications Symposium 2005: 519-528
17	EE	Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Yongxin Zhu: Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits. RTCSA 2005: 357-360
16		Mihaela Brut, Stefan Andrei: Authoring and Retrieving Tool for Multimedia E-Learning Tutorials using XML Techniques. Sci. Ann. Cuza Univ. 15: 153-160 (2005)
2004
15	EE	Stefan Andrei, Wei-Ngan Chin: Incremental Satisfiability Counting for Real-Time Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2004: 482-489
14	EE	Stefan Andrei, Wei-Ngan Chin, Salvador Valerio Cavadini: Self-embedded context-free grammars with regular counterparts. Acta Inf. 40(5): 349-365 (2004)
13	EE	Stefan Andrei: Counting for Satisfiability by Inverting Resolution. Artif. Intell. Rev. 22(4): 339-366 (2004)
12	EE	Stefan Andrei, Wei-Ngan Chin: Solving a class of higher-order equations over a group structure. J. Symb. Comput. 37(3): 329-341 (2004)
11		Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras: Co-determinism and unambiguity of automata accepting finite or infinite words. Sci. Ann. Cuza Univ. 14: 1-11 (2004)
2003
10	EE	Stefan Andrei, Salvador Valerio Cavadini, Wei-Ngan Chin: A new algorithm for regularizing one-letter context-free grammars. Theor. Comput. Sci. 306(1-3): 113-122 (2003)
2002
9		Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras: A Tutorial on a Monadic Approach for Expressions Evaluation. Sci. Ann. Cuza Univ. 12: 1-27 (2002)
2001
8		Stefan Andrei: Bidirectional Ascendant Parsing for Natural Language Processing. IWPT 2001
7		Stefan Andrei, Gheorghe Grigoras, Manfred Kudlek, Cristian Masalagiu: On the Complexity of Propositional Calculus Formulae. Sci. Ann. Cuza Univ. 10: 27-44 (2001)
2000
6	EE	Stefan Andrei, Manfred Kudlek, Radu Stefan Niculescu: Some results on the Collatz problem. Acta Inf. 37(2): 145-160 (2000)
1999
5		Stefan Andrei, Manfred Kudlek: Bidirectional parsing for linear languages. Developments in Language Theory 1999: 257-269
4		Stefan Andrei: Weak Equivalence in Propositional Calculus. ESSLLI Student Papers 1999: 79-90
1998
3	EE	Stefan Andrei, Cristian Masalagiu: About the Collatz Conjecture. Acta Inf. 35(2): 167-179 (1998)
1996
2		Stefan Andrei, Manfred Kudlek: Morphological Grammars. Sci. Ann. Cuza Univ. 5: 85-114 (1996)
1995
1		Stefan Andrei: Finding keys in particular classes of functional dependencies. Sci. Ann. Cuza Univ. 4: 5-12 (1995)

Coauthor Index

1	Hugh Anderson	[20] [25]
2	Will Beazley	[28]
3	Mihaela Brut	[16]
4	Salvador Valerio Cavadini	[10] [14]
5	Samarjit Chakraborty	[27]
6	Nilam Chand	[28]
7	Albert Mo Kim Cheng (Albert M. K. Cheng)	[17] [18] [21] [23] [24] [30]
8	Wei-Ngan Chin	[9] [10] [11] [12] [14] [15] [17] [18] [21] [22]
9	Peggy Doerschuk	[31]
10	Victor Felea	[29]
11	Gheorghe Grigoras	[7] [9] [11]
12	Siau-Cheng Khoo	[20] [25]
13	Manfred Kudlek	[2] [5] [6] [7]
14	Beatrice Luca	[20] [25]
15	Mihai Lupu	[18] [21]
16	Gabriel Manolache	[29]
17	Bindiya Mansharamani	[28]
18	Cristian Masalagiu	[3] [7]
19	Radu Stefan Niculescu	[6]
20	Martin C. Rinard	[22]
21	Rafael Romero	[28]
22	Weng-Fai Wong	[19] [26]
23	Roland H. C. Yap	[29]
24	Yongxin Zhu	[17] [19] [26]

Colors in the list of coauthors