Finding keys in particular classes of functional dependencies. - Stefan Andrei (Sci. Ann. Cuza Univ., 1995)

Morphological Grammars. - Stefan Andrei; Manfred Kudlek (Sci. Ann. Cuza Univ., 1996)

About the Collatz Conjecture. - Stefan Andrei; Cristian Masalagiu (Acta Informatica, 1998)

Bidirectional parsing for linear languages. - Stefan Andrei; Manfred Kudlek (Developments in Language Theory, 1999)

Weak Equivalence in Propositional Calculus. - Stefan Andrei (ESSLLI Student Papers, 1999)

Some results on the Collatz problem. - Stefan Andrei; Manfred Kudlek; Radu Stefan Niculescu (Acta Informatica, 2000)

Bidirectional parsing. - Stefan Andrei (2000)

Bidirectional Ascendant Parsing for Natural Language Processing. - Stefan Andrei (IWPT, 2001)

On the Complexity of Propositional Calculus Formulae. - Stefan Andrei; Gheorghe Grigoras; Manfred Kudlek; Cristian Masalagiu (Sci. Ann. Cuza Univ., 2001)

A Tutorial on a Monadic Approach for Expressions Evaluation. - Stefan Andrei; Wei-Ngan Chin; Gheorghe Grigoras (Sci. Ann. Cuza Univ., 2002)

A new algorithm for regularizing one-letter context-free grammars. - Stefan Andrei; Salvador Valerio Cavadini; Wei-Ngan Chin (Theor. Comput. Sci., 2003)

Incremental Satisfiability Counting for Real-Time Systems. - Stefan Andrei; Wei-Ngan Chin (IEEE Real-Time and Embedded Technology and Applications Symposium, 2004)

Self-embedded context-free grammars with regular counterparts. - Stefan Andrei; Wei-Ngan Chin; Salvador Valerio Cavadini (Acta Informatica, 2004)

Counting for Satisfiability by Inverting Resolution. - Stefan Andrei (Artif. Intell. Rev., 2004)

Co-determinism and unambiguity of automata accepting finite or infinite words. - Stefan Andrei; Wei-Ngan Chin; Gheorghe Grigoras (Sci. Ann. Cuza Univ., 2004)

Solving a class of higher-order equations over a group structure. - Stefan Andrei; Wei-Ngan Chin (J. Symb. Comput., 2004)

Calculating Polynomial Runtime Properties. - Hugh Anderson; Siau-Cheng Khoo; Stefan Andrei; Beatrice Luca (APLAS, 2005)

An integrated performance and power model for superscalar processor designs. - Yongxin Zhu 001; Weng-Fai Wong; Stefan Andrei (ASP-DAC, 2005)

Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting. - Stefan Andrei; Albert Mo Kim Cheng; Wei-Ngan Chin; Mihai Lupu (IEEE Real-Time and Embedded Technology and Applications Symposium, 2005)

Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits. - Stefan Andrei; Wei-Ngan Chin; Albert Mo Kim Cheng; Yongxin Zhu 001 (RTCSA, 2005)

Authoring and Retrieving Tool for Multimedia E-Learning Tutorials using XML Techniques. - Mihaela Brut; Stefan Andrei (Sci. Ann. Cuza Univ., 2005)

Co-optimization of Performance and Power in a Superscalar Processor Design. - Yongxin Zhu 001; Weng-Fai Wong; Stefan Andrei (EUC Workshops, 2006)

Program transformation by solving recurrences. - Beatrice Luca; Stefan Andrei; Hugh Anderson; Siau-Cheng Khoo (PEPM, 2006)

Optimization of Real-Time Systems Timing Specifications. - Stefan Andrei; Albert Mo Kim Cheng (RTCSA, 2006)

Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension. - Stefan Andrei; Albert Mo Kim Cheng (RTSS, 2006)

Incremental Deterministic Planning. - Stefan Andrei; Wei-Ngan Chin; Martin C. Rinard (SYNASC, 2006)

Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting. - Stefan Andrei; Wei-Ngan Chin; Albert Mo Kim Cheng; Mihai Lupu (IEEE Trans. Computers, 2006)

Verifying Linear Real-Time Logic Specifications. - Stefan Andrei; Albert M. K. Cheng (RTSS, 2007)

Path-Constrained Relaxed Schedulability Analysis. - Stefan Andrei; Samarjit Chakraborty (SYNASC, 2007)

Approximate Satisfiability Counting. - Stefan Andrei; Gabriel Manolache; Roland H. C. Yap; Victor Felea (SYNASC, 2007)

PEARLS: An Integrated Environment for Task Scheduling. - Nilam Chand; Bindiya Mansharamani; Rafael Romero 003; Will Beazley; Stefan Andrei (SYNASC, 2007)

SAT-based Weighted Planning. - Stefan Andrei; Peggy Doerschuk (ARCS, 2008)

Termination Analysis by Program Inversion. - Stefan Andrei (SYNASC, 2008)

Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies. - Stefan Andrei; Albert Mo Kim Cheng (SYNASC, 2008)

Parallel Parsing-Based Reverse Engineering. - Stefan Andrei (CSIE (7), 2009)

Utilizing semantic caching in ubiquitous environment. - S. Kami Makki; Stefan Andrei (IWCMC, 2009)

A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems. - Stefan Andrei; Gheorghe Grigoras; Martin C. Rinard; Roland H. C. Yap (SYNASC, 2009)

A rigorous methodology for specification and verification of business processes. - Cristian Masalagiu; Wei-Ngan Chin; Stefan Andrei; Vasile Alaiba (Formal Aspects Comput., 2009)

Efficient Verification and Optimization of Real-Time Logic-Specified Systems. - Stefan Andrei; Albert Mo Kim Cheng (IEEE Trans. Computers, 2009)

Optimal Scheduling of Urgent Preemptive Tasks. - Stefan Andrei; Albert Mo Kim Cheng; Martin C. Rinard; Lawrence J. Osborne (RTCSA, 2010)

An Efficient Scheduling Algorithm for the Multiprocessor Platform. - Stefan Andrei; Albert M. K. Cheng; Gheorghe Grigoras; Vlad Radulescu (SYNASC, 2010)

Performance Evaluation of Query Trimming Strategies in Semantic Caching Environment. - S. Kami Makki; Stefan Andrei; Yanwen Guan; Mattie Sue Judd (ICEIS (1), 2011)

Estimating the Number of Processors towards an Efficient Non-preemptive Scheduling Algorithm. - Stefan Andrei; Albert M. K. Cheng; Vlad Radulescu (SYNASC, 2011)

Toward an Optimal Power-Aware Scheduling Technique. - Stefan Andrei; Albert M. K. Cheng; Vlad Radulescu; Timothy H. McNicholl (SYNASC, 2012)

An efficient scheduling algorithm for the non-preemptive independent multiprocessor platform. - Stefan Andrei; Albert M. K. Cheng; Gheorghe Grigoras; Vlad Radulescu (Int. J. Grid Util. Comput., 2012)

An efficient scheduling algorithm of non-preemptive independent tasks for biomedical systems. - Stefan Andrei; Albert M. K. Cheng; Vlad Radulescu (NEWCAS, 2014)

A Heuristic-Based Approach for Reducing the Power Consumption of Real-Time Embedded Systems. - Vlad Radulescu; Stefan Andrei; Albert M. K. Cheng (SYNASC, 2014)

An Improved Upper-Bound Algorithm for Non-preemptive Task Scheduling. - Stefan Andrei; Albert M. K. Cheng; Vlad Radulescu (SYNASC, 2015)

Resource Bounding for Non-Preemptive Task Scheduling on a Multiprocessor Platform. - Vlad Radulescu; Stefan Andrei; Albert M. K. Cheng (SYNASC, 2016)

A new scheduling algorithm for non-preemptive independent tasks on a multi-processor platform. - Stefan Andrei; Albert M. K. Cheng; Vlad Radulescu; Sharfuddin Alam; Suresh Vadlakonda (SIGBED Rev., 2016)

Bounding execution resources for the task scheduling problem in cyber-physical systems. - Vlad Radulescu; Stefan Andrei; Albert M. K. Cheng (SIGBED Rev., 2018)

A Coding/Programming Academy for 6th-Grade Females to Increase Knowledge and Interest in Computer Science. - Sujing Wang; Stefan Andrei; Otilia Urbina; Dorothy A. Sisk (FIE, 2019)

Processor Bounding for an Efficient Non-preemptive Task Scheduling Algorithm. - Stefan Andrei; Albert M. K. Cheng; Vlad Radulescu (Math. Comput. Sci., 2019)

Introducing STEM to 7th Grade Girls using SeaPerch and Scratch. - Sujing Wang; Stefan Andrei; Otilia Urbina; Dorothy A. Sisk (FIE, 2020)

Integrating Programming and Engineering Concepts using Raspberry Pi and Scratch. - Madison Boudreaux; Sujing Wang; Stefan Andrei; Otilia Urbina; Dorothy A. Sisk (FIE, 2021)

Work in Progress: Heart Disease Detection Methodology using E-Stethoscope. - Sayeda Farzana Aktar; Stefan Andrei; Albert M. K. Cheng (RTAS, 2021)

Work-in-Progress Abstract: A New Criterion for Job Switching in Semi-Clairvoyant Systems. - Vlad Radulescu; Stefan Andrei; Albert M. K. Cheng (RTCSA, 2021)

Designing a New Soft-Hard Task Model for Scheduling Real-Time Systems on a Multiprocessor Platform. - Stefan Andrei; Albert M. K. Cheng; Vlad Radulescu (SYNASC, 2021)

Introducing Engineering and Programming Concepts to Middle School and High School Students using SparkFun Inventor's Kit, Scratch, and Java. - Callan J. Noak; Sujing Wang; Stefan Andrei; Jennifer L. Tsan (FIE, 2022)

Introducing Programming to Middle School Students to Increase Knowledge and Interest in Computer Science. - Callan J. Noak; Jennifer L. Tsan; Sujing Wang; Stefan Andrei (SIGCSE (2), 2022)

Work-in-Progress: Flexible bus arbitration in mixed criticality systems. - Vlad Radulescu; Albert M. K. Cheng; Stefan Andrei (EMSOFT, 2023)

An Innovative Way to Teach Computer Programming for Middle and High Schools Students in Summer Camps. - Stefan Andrei; Sujing Wang (FIE, 2023)

Comparative Study of Several Educational Robotics to Introduce Engineering and Computing Concepts for Middle School and High School Students. - Sujing Wang; Stefan Andrei (FIE, 2023)

Introducing Multidisciplinary Engineering Technology and Programing for High School Students Through Summer Program. - Sujing Wang; Qiang Xu 003; Stefan Andrei (FIE, 2024)

Preemptive Phased Execution Models with Scratchpad Memory Requirements. - Vlad Radulescu; Albert M. K. Cheng; Stefan Andrei (SYNASC, 2024)