The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Stefan Andrei: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca
    Calculating Polynomial Runtime Properties. [Citation Graph (0, 0)][DBLP]
    APLAS, 2005, pp:230-246 [Conf]
  2. 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]
  3. Stefan Andrei, Manfred Kudlek
    Bidirectional parsing for linear languages. [Citation Graph (0, 0)][DBLP]
    Developments in Language Theory, 1999, pp:257-269 [Conf]
  4. Stefan Andrei
    Weak Equivalence in Propositional Calculus. [Citation Graph (0, 0)][DBLP]
    ESSLLI Student Papers, 1999, pp:79-90 [Conf]
  5. 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]
  6. Stefan Andrei
    Bidirectional Ascendant Parsing for Natural Language Processing. [Citation Graph (0, 0)][DBLP]
    IWPT, 2001, pp:- [Conf]
  7. 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]
  8. 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]
  9. 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]
  10. Stefan Andrei, Albert Mo Kim Cheng
    Optimization of Real-Time Systems Timing Specifications. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2006, pp:68-76 [Conf]
  11. 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]
  12. 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]
  13. Stefan Andrei, Wei-Ngan Chin, Martin C. Rinard
    Incremental Deterministic Planning. [Citation Graph (0, 0)][DBLP]
    SYNASC, 2006, pp:93-102 [Conf]
  14. 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]
  15. 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]
  16. Stefan Andrei, Cristian Masalagiu
    About the Collatz Conjecture. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1998, v:35, n:2, pp:167-179 [Journal]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. Stefan Andrei, Manfred Kudlek
    Morphological Grammars. [Citation Graph (0, 0)][DBLP]
    Sci. Ann. Cuza Univ., 1996, v:5, n:, pp:85-114 [Journal]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]

  28. Verifying Linear Real-Time Logic Specifications. [Citation Graph (, )][DBLP]


  29. Path-Constrained Relaxed Schedulability Analysis. [Citation Graph (, )][DBLP]


  30. Approximate Satisfiability Counting. [Citation Graph (, )][DBLP]


  31. PEARLS: An Integrated Environment for Task Scheduling. [Citation Graph (, )][DBLP]


  32. Termination Analysis by Program Inversion. [Citation Graph (, )][DBLP]


  33. Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies. [Citation Graph (, )][DBLP]


  34. Utilizing semantic caching in ubiquitous environment. [Citation Graph (, )][DBLP]


  35. SAT-based Weighted Planning. [Citation Graph (, )][DBLP]


  36. Parallel Parsing-Based Reverse Engineering. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002