Stefan Andrei
Orcid: 0009-0009-8406-3757Affiliations:
- Lamar University, Beaumont, TX, USA
- National University of Singapore (NUS) (former)
According to our database1,
Stefan Andrei
authored at least 63 papers
between 1995 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
1
1
1
1
2
1
1
4
1
1
1
1
1
1
1
3
2
4
1
1
1
1
2
1
2
2
3
3
4
5
4
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on lamar.edu
On csauthors.net:
Bibliography
2023
Comparative Study of Several Educational Robotics to Introduce Engineering and Computing Concepts for Middle School and High School Students.
Proceedings of the IEEE Frontiers in Education Conference, 2023
An Innovative Way to Teach Computer Programming for Middle and High Schools Students in Summer Camps.
Proceedings of the IEEE Frontiers in Education Conference, 2023
Proceedings of the International Conference on Embedded Software, 2023
2022
Introducing Programming to Middle School Students to Increase Knowledge and Interest in Computer Science.
Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022
Introducing Engineering and Programming Concepts to Middle School and High School Students using SparkFun Inventor's Kit, Scratch, and Java.
Proceedings of the IEEE Frontiers in Education Conference, 2022
2021
Designing a New Soft-Hard Task Model for Scheduling Real-Time Systems on a Multiprocessor Platform.
Proceedings of the 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2021
Work-in-Progress Abstract: A New Criterion for Job Switching in Semi-Clairvoyant Systems.
Proceedings of the 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2021
Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021
Proceedings of the IEEE Frontiers in Education Conference, 2021
2020
Proceedings of the IEEE Frontiers in Education Conference, 2020
2019
Math. Comput. Sci., 2019
A Coding/Programming Academy for 6th-Grade Females to Increase Knowledge and Interest in Computer Science.
Proceedings of the IEEE Frontiers in Education Conference, 2019
2018
Bounding execution resources for the task scheduling problem in cyber-physical systems.
SIGBED Rev., 2018
2016
A new scheduling algorithm for non-preemptive independent tasks on a multi-processor platform.
SIGBED Rev., 2016
Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016
2015
Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015
2014
A Heuristic-Based Approach for Reducing the Power Consumption of Real-Time Embedded Systems.
Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014
An efficient scheduling algorithm of non-preemptive independent tasks for biomedical systems.
Proceedings of the IEEE 12th International New Circuits and Systems Conference, 2014
2012
An efficient scheduling algorithm for the non-preemptive independent multiprocessor platform.
Int. J. Grid Util. Comput., 2012
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012
2011
Estimating the Number of Processors towards an Efficient Non-preemptive Scheduling Algorithm.
Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011
Performance Evaluation of Query Trimming Strategies in Semantic Caching Environment.
Proceedings of the ICEIS 2011, 2011
2010
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010
Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010
2009
IEEE Trans. Computers, 2009
Formal Aspects Comput., 2009
Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009
Proceedings of the International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly, 2009
Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009
2008
Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies.
Proceedings of the SYNASC 2008, 2008
SAT-based Weighted Planning.
Proceedings of the International Conference on Automation, Robotics and Control Systems, 2008
2007
Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007
Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007
Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007
2006
Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting.
IEEE Trans. Computers, 2006
Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006
Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension.
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006
Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006
Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006
Proceedings of the Emerging Directions in Embedded and Ubiquitous Computing, 2006
2005
Authoring and Retrieving Tool for Multimedia E-Learning Tutorials using XML Techniques.
Sci. Ann. Cuza Univ., 2005
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005
Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting.
Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005
Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005
Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005
2004
J. Symb. Comput., 2004
Sci. Ann. Cuza Univ., 2004
Acta Informatica, 2004
Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 2004
2003
Theor. Comput. Sci., 2003
2002
Sci. Ann. Cuza Univ., 2002
2001
Bidirectional Ascendant Parsing for Natural Language Processing.
Proceedings of the Seventh International Workshop on Parsing Technologies (IWPT-2001), 2001
2000
1999
Weak Equivalence in Propositional Calculus.
Proceedings of the 4th Student Session of ESSLLI'99 (European Summer School on Logic, 1999
Proceedings of the Developments in Language Theory, 1999
1998
1996
Morphological Grammars.
Sci. Ann. Cuza Univ., 1996
1995
Finding keys in particular classes of functional dependencies.
Sci. Ann. Cuza Univ., 1995