| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | S. Kami Makki, Stefan Andrei, Yanwen Guan, Mattie Sue Judd |
Performance Evaluation of Query Trimming Strategies in Semantic Caching Environment.  |
ICEIS  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu |
Estimating the Number of Processors towards an Efficient Non-preemptive Scheduling Algorithm. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Albert M. K. Cheng, Gheorghe Grigoras, Vlad Radulescu |
An Efficient Scheduling Algorithm for the Multiprocessor Platform. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Albert Mo Kim Cheng, Martin C. Rinard, Lawrence Osborne |
Optimal Scheduling of Urgent Preemptive Tasks. |
RTCSA |
2010 |
DBLP DOI BibTeX RDF |
urgent task, polynomial-time algorithm, optimal scheduling |
| 1 | Cristian Masalagiu, Wei-Ngan Chin, Stefan Andrei, Vasile Alaiba |
A rigorous methodology for specification and verification of business processes. |
Formal Asp. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Albert Mo Kim Cheng |
Efficient Verification and Optimization of Real-Time Logic-Specified Systems. |
IEEE Trans. Computers |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Kami Makki, Stefan Andrei |
Utilizing semantic caching in ubiquitous environment. |
IWCMC |
2009 |
DBLP DOI BibTeX RDF |
optimization, query processing, semantic caching |
| 1 | Stefan Andrei, Gheorghe Grigoras, Martin C. Rinard, Roland H. C. Yap |
A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei |
Parallel Parsing-Based Reverse Engineering. |
CSIE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Albert Mo Kim Cheng |
Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei |
Termination Analysis by Program Inversion. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Peggy Doerschuk |
SAT-based Weighted Planning. |
ARCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Nilam Chand, Bindiya Mansharamani, Rafael Romero, Will Beazley, Stefan Andrei |
PEARLS: An Integrated Environment for Task Scheduling. |
SYNASC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Gabriel Manolache, Roland H. C. Yap, Victor Felea |
Approximate Satisfiability Counting. |
SYNASC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Samarjit Chakraborty |
Path-Constrained Relaxed Schedulability Analysis. |
SYNASC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Albert M. K. Cheng |
Verifying Linear Real-Time Logic Specifications. |
RTSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
system development tools, automatic debugging, counting SAT problem, Real-time system, formal methods, timing constraint, incremental computation |
| 1 | Stefan Andrei, Wei-Ngan Chin, Martin C. Rinard |
Incremental Deterministic Planning. |
SYNASC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo |
Program transformation by solving recurrences. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
efficient time complexity, recurrences with one or multiple parameters, program transformation |
| 1 | Stefan Andrei, Albert Mo Kim Cheng |
Optimization of Real-Time Systems Timing Specifications. |
RTCSA |
2006 |
DBLP DOI BibTeX RDF |
optimization, formal method, timing constraint |
| 1 | Stefan Andrei, Albert Mo Kim Cheng |
Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension. |
RTSS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongxin Zhu, Weng-Fai Wong, Stefan Andrei |
Co-optimization of Performance and Power in a Superscalar Processor Design. |
EUC Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihaela Brut, Stefan Andrei |
Authoring and Retrieving Tool for Multimedia E-Learning Tutorials using XML Techniques. |
Sci. Ann. Cuza Univ. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yongxin Zhu, Weng-Fai Wong, Stefan Andrei |
An integrated performance and power model for superscalar processor designs. |
ASP-DAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Yongxin Zhu |
Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits. |
RTCSA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca |
Calculating Polynomial Runtime Properties. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Wei-Ngan Chin |
Solving a class of higher-order equations over a group structure. |
J. Symb. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Wei-Ngan Chin, Salvador Valerio Cavadini |
Self-embedded context-free grammars with regular counterparts. |
Acta Inf. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras |
Co-determinism and unambiguity of automata accepting finite or infinite words. |
Sci. Ann. Cuza Univ. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Stefan Andrei |
Counting for Satisfiability by Inverting Resolution. |
Artif. Intell. Rev. |
2004 |
DBLP DOI BibTeX RDF |
counting truth assignments, algorithms, satisfiability |
| 1 | Stefan Andrei, Wei-Ngan Chin |
Incremental Satisfiability Counting for Real-Time Systems. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Salvador Valerio Cavadini, Wei-Ngan Chin |
A new algorithm for regularizing one-letter context-free grammars. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras |
A Tutorial on a Monadic Approach for Expressions Evaluation. |
Sci. Ann. Cuza Univ. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Stefan Andrei, Gheorghe Grigoras, Manfred Kudlek, Cristian Masalagiu |
On the Complexity of Propositional Calculus Formulae. |
Sci. Ann. Cuza Univ. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Stefan Andrei |
Bidirectional Ascendant Parsing for Natural Language Processing. |
IWPT |
2001 |
DBLP BibTeX RDF |
|
| 1 | Stefan Andrei, Manfred Kudlek, Radu Stefan Niculescu |
Some results on the Collatz problem. |
Acta Inf. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Manfred Kudlek |
Bidirectional parsing for linear languages. |
Developments in Language Theory |
1999 |
DBLP BibTeX RDF |
|
| 1 | Stefan Andrei |
Weak Equivalence in Propositional Calculus. |
ESSLLI Student Papers |
1999 |
DBLP BibTeX RDF |
|
| 1 | Stefan Andrei, Cristian Masalagiu |
About the Collatz Conjecture. |
Acta Inf. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Manfred Kudlek |
Morphological Grammars. |
Sci. Ann. Cuza Univ. |
1996 |
DBLP BibTeX RDF |
|
| 1 | Stefan Andrei |
Finding keys in particular classes of functional dependencies. |
Sci. Ann. Cuza Univ. |
1995 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")