dblp.uni-trier.dewww.uni-trier.de

Stefan Andrei Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
32EES. Kami Makki, Stefan Andrei: Utilizing semantic caching in ubiquitous environment. IWCMC 2009: 1213-1217
2008
31 Stefan Andrei, Peggy Doerschuk: SAT-based Weighted Planning. ARCS 2008: 70-75
2007
30EEStefan Andrei, Albert M. K. Cheng: Verifying Linear Real-Time Logic Specifications. RTSS 2007: 333-342
29EEStefan Andrei, Gabriel Manolache, Roland H. C. Yap, Victor Felea: Approximate Satisfiability Counting. SYNASC 2007: 196-202
28EENilam Chand, Bindiya Mansharamani, Rafael Romero, Will Beazley, Stefan Andrei: PEARLS: An Integrated Environment for Task Scheduling. SYNASC 2007: 467-473
27EEStefan Andrei, Samarjit Chakraborty: Path-Constrained Relaxed Schedulability Analysis. SYNASC 2007: 474-482
2006
26EEYongxin Zhu, Weng-Fai Wong, Stefan Andrei: Co-optimization of Performance and Power in a Superscalar Processor Design. EUC Workshops 2006: 868-878
25EEBeatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo: Program transformation by solving recurrences. PEPM 2006: 121-129
24EEStefan Andrei, Albert Mo Kim Cheng: Optimization of Real-Time Systems Timing Specifications. RTCSA 2006: 68-76
23EEStefan Andrei, Albert Mo Kim Cheng: Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension. RTSS 2006: 67-76
22EEStefan Andrei, Wei-Ngan Chin, Martin C. Rinard: Incremental Deterministic Planning. SYNASC 2006: 93-102
21EEStefan 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
20EEHugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca: Calculating Polynomial Runtime Properties. APLAS 2005: 230-246
19EEYongxin Zhu, Weng-Fai Wong, Stefan Andrei: An integrated performance and power model for superscalar processor designs. ASP-DAC 2005: 948-951
18EEStefan 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
17EEStefan 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
15EEStefan Andrei, Wei-Ngan Chin: Incremental Satisfiability Counting for Real-Time Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2004: 482-489
14EEStefan Andrei, Wei-Ngan Chin, Salvador Valerio Cavadini: Self-embedded context-free grammars with regular counterparts. Acta Inf. 40(5): 349-365 (2004)
13EEStefan Andrei: Counting for Satisfiability by Inverting Resolution. Artif. Intell. Rev. 22(4): 339-366 (2004)
12EEStefan 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
10EEStefan 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
6EEStefan 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
3EEStefan 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)