Search the dblp DataBase
Stefan Andrei :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Hugh Anderson , Siau-Cheng Khoo , Stefan Andrei , Beatrice Luca Calculating Polynomial Runtime Properties. [Citation Graph (0, 0)][DBLP ] APLAS, 2005, pp:230-246 [Conf ] Yongxin Zhu , Weng-Fai Wong , Stefan Andrei An integrated performance and power model for superscalar processor designs. [Citation Graph (0, 0)][DBLP ] ASP-DAC, 2005, pp:948-951 [Conf ] Stefan Andrei , Manfred Kudlek Bidirectional parsing for linear languages. [Citation Graph (0, 0)][DBLP ] Developments in Language Theory, 1999, pp:257-269 [Conf ] Stefan Andrei Weak Equivalence in Propositional Calculus. [Citation Graph (0, 0)][DBLP ] ESSLLI Student Papers, 1999, pp:79-90 [Conf ] Yongxin Zhu , Weng-Fai Wong , Stefan Andrei Co-optimization of Performance and Power in a Superscalar Processor Design. [Citation Graph (0, 0)][DBLP ] EUC Workshops, 2006, pp:868-878 [Conf ] Stefan Andrei Bidirectional Ascendant Parsing for Natural Language Processing. [Citation Graph (0, 0)][DBLP ] IWPT, 2001, pp:- [Conf ] Beatrice Luca , Stefan Andrei , Hugh Anderson , Siau-Cheng Khoo Program transformation by solving recurrences. [Citation Graph (0, 0)][DBLP ] PEPM, 2006, pp:121-129 [Conf ] Stefan Andrei , Wei-Ngan Chin Incremental Satisfiability Counting for Real-Time Systems. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time and Embedded Technology and Applications Symposium, 2004, pp:482-489 [Conf ] Stefan Andrei , Albert Mo Kim Cheng , Wei-Ngan Chin , Mihai Lupu Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time and Embedded Technology and Applications Symposium, 2005, pp:519-528 [Conf ] Stefan Andrei , Albert Mo Kim Cheng Optimization of Real-Time Systems Timing Specifications. [Citation Graph (0, 0)][DBLP ] RTCSA, 2006, pp:68-76 [Conf ] Stefan Andrei , Wei-Ngan Chin , Albert Mo Kim Cheng , Yongxin Zhu Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits. [Citation Graph (0, 0)][DBLP ] RTCSA, 2005, pp:357-360 [Conf ] Stefan Andrei , Albert Mo Kim Cheng Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension. [Citation Graph (0, 0)][DBLP ] RTSS, 2006, pp:67-76 [Conf ] Stefan Andrei , Wei-Ngan Chin , Martin C. Rinard Incremental Deterministic Planning. [Citation Graph (0, 0)][DBLP ] SYNASC, 2006, pp:93-102 [Conf ] Stefan Andrei , Wei-Ngan Chin , Salvador Valerio Cavadini Self-embedded context-free grammars with regular counterparts. [Citation Graph (0, 0)][DBLP ] Acta Inf., 2004, v:40, n:5, pp:349-365 [Journal ] Stefan Andrei , Manfred Kudlek , Radu Stefan Niculescu Some results on the Collatz problem. [Citation Graph (0, 0)][DBLP ] Acta Inf., 2000, v:37, n:2, pp:145-160 [Journal ] Stefan Andrei , Cristian Masalagiu About the Collatz Conjecture. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1998, v:35, n:2, pp:167-179 [Journal ] Stefan Andrei Counting for Satisfiability by Inverting Resolution. [Citation Graph (0, 0)][DBLP ] Artif. Intell. Rev., 2004, v:22, n:4, pp:339-366 [Journal ] Stefan Andrei Finding keys in particular classes of functional dependencies. [Citation Graph (0, 0)][DBLP ] Sci. Ann. Cuza Univ., 1995, v:4, n:, pp:5-12 [Journal ] Stefan Andrei , Wei-Ngan Chin , Gheorghe Grigoras A Tutorial on a Monadic Approach for Expressions Evaluation. [Citation Graph (0, 0)][DBLP ] Sci. Ann. Cuza Univ., 2002, v:12, n:, pp:1-27 [Journal ] Stefan Andrei , Wei-Ngan Chin , Gheorghe Grigoras Co-determinism and unambiguity of automata accepting finite or infinite words. [Citation Graph (0, 0)][DBLP ] Sci. Ann. Cuza Univ., 2004, v:14, n:, pp:1-11 [Journal ] Stefan Andrei , Gheorghe Grigoras , Manfred Kudlek , Cristian Masalagiu On the Complexity of Propositional Calculus Formulae. [Citation Graph (0, 0)][DBLP ] Sci. Ann. Cuza Univ., 2001, v:10, n:, pp:27-44 [Journal ] Stefan Andrei , Manfred Kudlek Morphological Grammars. [Citation Graph (0, 0)][DBLP ] Sci. Ann. Cuza Univ., 1996, v:5, n:, pp:85-114 [Journal ] Wei-Ngan Chin , Stefan Andrei , Mihai Lupu Specification and Validation of Global Contracts. [Citation Graph (0, 0)][DBLP ] Sci. Ann. Cuza Univ., 2004, v:15, n:, pp:1-11 [Journal ] Stefan Andrei , Wei-Ngan Chin Solving a class of higher-order equations over a group structure. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 2004, v:37, n:3, pp:329-341 [Journal ] Stefan Andrei , Wei-Ngan Chin , Albert Mo Kim Cheng , Mihai Lupu Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 2006, v:55, n:7, pp:830-842 [Journal ] Stefan Andrei , Salvador Valerio Cavadini , Wei-Ngan Chin A new algorithm for regularizing one-letter context-free grammars. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:306, n:1-3, pp:113-122 [Journal ] Mihaela Brut , Stefan Andrei Authoring and Retrieving Tool for Multimedia E-Learning Tutorials using XML Techniques. [Citation Graph (0, 0)][DBLP ] Sci. Ann. Cuza Univ., 2005, v:15, n:, pp:153-160 [Journal ] Verifying Linear Real-Time Logic Specifications. [Citation Graph (, )][DBLP ] Path-Constrained Relaxed Schedulability Analysis. [Citation Graph (, )][DBLP ] Approximate Satisfiability Counting. [Citation Graph (, )][DBLP ] PEARLS: An Integrated Environment for Task Scheduling. [Citation Graph (, )][DBLP ] Termination Analysis by Program Inversion. [Citation Graph (, )][DBLP ] Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies. [Citation Graph (, )][DBLP ] Utilizing semantic caching in ubiquitous environment. [Citation Graph (, )][DBLP ] SAT-based Weighted Planning. [Citation Graph (, )][DBLP ] Parallel Parsing-Based Reverse Engineering. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.304secs