|
Publications
and Presentations [7] Tanasa, S., Andrei, S., Olaru, C.: Java from 0 to expert level. The Java Book Evaluation.pdf Polirom Publishing Press, Romania . 2007, Second Edition, 864 pages, ISBN: 978-973-46-0317-6, 2003, First Edition, 840 pages, ISBN: 973-681-201-4 [1] Andrei, S. jr., Andrei, S.: Research Themes in Mathematics. Policromia Press, [I.1] Andrei, S., Kudlek, M.: Bidirectional Parsing for Linear Languages. Developments in Language
Theory. Foundations, Applications, and Perspectives. Eds. G. Rozenberg, and W. Thomas, World Scientific, [II.29]
Kishor Datta Gupta, Md Manjurul Ahsan, Stefan Andrei:
Extending the Storage Capacity and Noise Reduction of a Faster QR-Code.
BRAIN - Broad Research in Artificial Intelligence and Neuroscience,
Edusoft Publishing, Vol. 9, No. 1, pp. 59-71 (2018)
[II.28]
Kishor Datta Gupta, Manjurul Ahsan, Stefan Andrei, Kazi Md. Rokibul Alam:
A Robust Approach of Facial Orientation Recognition from Facial Features.
BRAIN - Broad Research in Artificial Intelligence and Neuroscience,
Edusoft Publishing, Vol. 8, No. 3, pp. 5-12 (2017)
[II.27]
Vraj Pandya, Stefan Andrei:
About the Design of QUIC Firefox Transport Protocol.
BRAIN - Broad Research in Artificial Intelligence and Neuroscience,
Edusoft Publishing, Vol. 8, No. 2, pp. 26-32 (2017)
[II.26]
Stefan Andrei, Arnob Saha, and Sojibur Rahman:
Two New Software Behavioral Design Patterns: Obligation Link and History Reminder.
BRAIN - Broad Research in Artificial Intelligence and Neuroscience, Edusoft Publishing, Vol. 7, No. 2, pp. 78-90 (2016)
[II.25]
Stefan Andrei, Milin Joshi, Chandrakant Rudani, Ankur Shah, and Bharatkumar Tejwani:
Modeling, Designing, and Implementing an Avatar-based Interactive Map.
BRAIN - Broad Research in Artificial Intelligence and Neuroscience, Edusoft Publishing, Vol. 7, No. 1, pp. 50-60 (2016)
[II.24]
Stefan Andrei, Lawrence Osborne, and Zanthia Smith:
Designing an American Sign Language Avatar for Learning Computer Science Concepts for Deaf or Hard-of-Hearing Students and Deaf Interpreters.
AACE Journal of Educational Multimedia and Hypermedia, (2013)
[II.23]
Stefan Andrei, Albert Cheng, Gheorghe Grigoras, Vlad Radulescu:
An Efficient Scheduling Algorithm for the Non-preemptive Independent Multiprocessor Platform.
International Journal of Grid and Utility Computing, Vol. 3, No. 4, pp. 215-223 (2012)
[II.22]
Stefan Andrei, Hikyoo Koh: A Fixed-Point Approach towards Efficient Models Conversion.
Information Technologies and Control, vol. 2, pp. 12-17 (2010).
[II.21]
Andrei, S., Cheng, A.M.K.:
Efficient Verification and Optimization of Real-Time Logic Specified Systems.
IEEE Transaction on Computers,
December, Vol. 58, No. 12, pp. 1640-1653, 2009.
[II.20]
Cristian Masalagiu, Wei-Ngan Chin, Stefan Andrei, Vasile Alaiba: A Rigorous Methodology for Specification and Verification
of Business Processes,
Formal Aspects of Computing,
Springer Verlag, 2009.
[II.19]
Andrei, S., Cheng, A.M.K., Grigoras, G., Osborne, L.: Incremental Theorem Proving. Information Technologies and Control,
Information Technologies and Control,
vol. 3, pp. 2-9 (2007).
[II.18]
Andrei, S., Chin, W.-N., Cheng, A.M.K., Lupu, M.: Automatic
Debugging of Real-Time Systems based on Incremental Satisfiability Counting.
IEEE Transaction on Computers,
vol. 55(7), pp. 830-842 (2006) Selected as July issue's Feature Article
for 'hot' topic and fast publication.
[II.17] Andrei, S.:
Counting for Satisfiability by Inverting
Resolution. Artificial
Intelligence Review, vol. 22, no. 4, pp. 339-366 (2004) [II.16] Chin, W.-N.,
Andrei, S., Lupu, M.: Specification and Validation
of Global Contracts. Scientific
Annals of the "Alexandru Ioan
Cuza" University of Iasi,
Computer Science Section, Tomul XV, [II.15] Andrei, S.,
Chin, W.N., [II.14] Andrei, S.,
Chin, W.N.: Solving a Class of Higher-Order Equations over a Group Structure.
Journal of
Symbolic Computation, Volume 37, Issue 3, pp. 329-341 (2004) [II.13] [II.12] Andrei, S., [II.11] Andrei, S.,
Chin, W.-N., Grigoras, G.: A Tutorial on a Monadic
Approach for Expressions Evaluation, Scientific Annals of the "Alexandru Ioan Cuza" University of Iasi,
Computer Science Section, Tomul XII, Iasi, Romania, pp. 1-27 (2002) [II.10] Andrei, S., Grigoras, G., Kudlek, M., Masalagiu, C.: On the Complexity of Propositional
Calculus Formulae. Scientific
Annals of the "Alexandru Ioan
Cuza" University of Iasi,
Computer Science Section, Tomul X, Iasi, Romania, pp. 27-43 (2001) [II.9] Andrei, S., Kudlek, M., Niculescu, R., S.:
Some results on the Collatz problem. Acta Informatica No.
37, Vol. 2, pp. 145-160 (2000) [II.8] Masalagiu, C., Andrei, S.: Duality in Resolution. Scientific Annals of the
Bucharest University, Computer Science Section, Ano.
XLIX, [II.7] Andrei, S., Grigoras, G., Masalagiu, C., Rotaru, T.: An efficient
parallel algorithm for converting regular expressions into right linear
grammars. Scientific
Annals of the Bucharest University, Computer Science Section, Ano. XLVIII, [II.6] Andrei, S., Masalagiu, C.: About the Collatz
Conjecture. Acta Informatica, No.
35, Vol. 2, pp. 167-179 (1998) [II.5] Andrei, S.: Data Security and Safety in Computer Networks, (TEX)Restructuring of the (re)training of school teachers in Computer Science,Tempus S_Jep 11168-96 , pp. 25-50 (1998)[III.58] Vlad Radulescu, Stefan Andrei, Albert Cheng. Bounding Execution Resources for the Task Scheduling Problem in Cyber-Physical Systems. The First ESWeek Workshop on Declarative Embedded and Cyber-Physical Systems (DECPS 2017), October 19, 2017, Seoul, South Korea. [III.57] Vlad Radulescu, Stefan Andrei, Albert Cheng. Effective Bounding for the Number of Processors of a Task Scheduling Problem. Proceedings of 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'17), IEEE Computer Society, Timisoara, Romania, September 21-24, 2017. [III.56] Kishor Datta Gupta, Md Manjurul Ahsan, Stefan Andrei. Extending the Storage Capacity and Noise Reduction of a Faster QR-Code. Scientific Methods in Academic Research and Teaching (SMART'2017), Romania, September 8-9, 2017. [III.55] Farhana A. Khan, Stefan Andrei, A. K. M. Monayem H. Mazumder, Ramesh K. Guduru. Performance of Electrohydrodynamic Gas Pump in a Square Channel. Proceedings of the 2017 Annual Meeting of the Electrostatics Society of America (ESA'2017), University of Ottawa, Canada, June 13-15, 2017. [III.54] Vlad Radulescu, Stefan Andrei, Albert Cheng. Resource Bounding for Non-preemptive Task Scheduling on a Multiprocessor Platform. Proceedings of 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'16), IEEE Computer Society, Timisoara, Romania, September 24-27, 2016. [III.53] Kumer Pial Das, Dale Daniel, Stefan Andrei, Lawrence Osborne: ASCENT-A Program Designed to Support STEM Students through Undergraduate Research and Mentoring, ASEE Annual Conference and Exposition ASEE 2016, Proceedings of the 2016 ASEE Annual Conference and Exposition, 10.18260/p.26282, New Orleans, U.S.A., June 26-29, 2016. [III.52] Stefan Andrei, Albert Cheng, Vlad Radulescu, Sharfuddin Alam, Suresh Vadlakonda: A new scheduling algorithm for non-preemptive independent tasks on a multi-processor platform, The First Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems (DPRTCPS), SIGBED Review newsletter and ACM Digital Library, San Antonio, U.S.A., December 1, 2015. [III.51] Stefan Andrei, Albert Cheng, Vlad Radulescu. An Improved Upper-bound Algorithm for Non-preemptive Task Scheduling. Proceedings of 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'15), IEEE Computer Society, Timisoara, Romania, September 21-24, 2015. [III.50] (invited talk) Stefan Andrei: Verification of a System Model Using Linear Real-Time Logic. NoMagic World Symposium (NMWS2015), Allen, TX, USA, June 7-10, 2015. [III.49] Vlad Radulescu, Stefan Andrei, Albert Cheng. A Heuristic-Based Approach for Reducing the Power Consumption of Real-Time Embedded Systems. Proceedings of 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'14), IEEE Computer Society, Timisoara, Romania, September 22-25, 2014 [III.48] Stefan Andrei, Albert Cheng, Vlad Radulescu: An Efficient Scheduling Algorithm of Non-Preemptive Independent Tasks for Biomedical Systems. The 12th IEEE International New Circuits and Systems Conference, (NEWCAS), Trois-Rivieres, Canada, June 22 - 25, 2014. [III.47] Stefan Andrei, Albert Cheng, Haque Mozahid: Mathematical Considerations of the Linear Real-Time Logic Verification. Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'14), WiP Session, IEEE Computer Society, Philadelphia, United States, April 9-11, 2014 [III.46] Hediyeh Baban, S. Kami Makki, Stefan Andrei: Comparison of Different Implementation of Inverted Indexes in Hadoop. The Second International Conference on E-Technologies and Business on the Web (EBW2014), Kuala Lumpur, Malaysia, March 18-20, 2014. [III.45] Albert Cheng, Stefan Andrei, Haque Mozahid. Optimizing the Linear Real-Time Logic Verifier. Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'13), WiP Session, IEEE Computer Society, Philadelphia, United States, April 9-11, 2013 [III.44] Stefan Andrei, Albert Cheng, Vlad Radulescu, Timothy McNicholl. Toward an optimal power-aware scheduling technique. Proceedings of 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'12), IEEE Computer Society, Timisoara, Romania, September 26-29, 2012 [III.43] Stefan Andrei, Zanthia Smith, Lawrence Osborne. Implementing an American Sign Language Avatar for Enhancing Learning of Computer Science Concepts for Deaf or Hard-of-Hearing Students and Deaf Interpreters. Proceedings of the Society for Information Technology & Teacher Education International Conference (SITE 2012), Austin, Texas, USA, March 5-9, 2012 [III.42] Stefan Andrei, Albert Cheng, Vlad Radulescu. Estimating the number of processors towards an efficient non-preemptive scheduling algorithm. Proceedings of 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'11), IEEE Computer Society, Timisoara, Romania, September 26-29, 2011 [III.41] Kami Makki, Stefan Andrei, Yanwen Guan, Mattie Sue Judd. Performance Evaluation of Query Trimming Strategies in Semantic Caching Environment. The 13th International Conference on Enterprise Information Systems (ICEIS'2011), IEEE Computer Society, Beijing, China, June 8-11, 2011 [III.40] Stefan Andrei, Kathlyn Doss, Kami Makki. Proof Automation for Program Termination. Proceedings of 2nd World Congress on Computer Science and Information Engineering (CSIE'11), IEEE Computer Society, Changchun, China, June 17-19, 2011. [III.39] Stefan Andrei, Albert Cheng, Gheorghe Grigoras, Vlad Radulescu. An Efficient Scheduling Algorithm for the Multiprocessor Platform. Proceedings of 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'10), pages 245-252, IEEE Computer Society, Timisoara, Romania, September 26-29, 2010. [III.38] Stefan Andrei, Albert Cheng, Martin Rinard, Lawrence Osborne. Optimal Scheduling of Urgent Preemptive Tasks. Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'10), IEEE Computer Society, Macao, China, August 23-25, 2010. [III.37] Stefan Andrei and Lawrence Osborne: Enhancing Learning using a Dynamic Instructor-Student Collaborative Approach. The Annual International Conference on Education and New Learning Technologies (EDULEARN 2010), Barcelona, Spain, July 5-7, 2010. [III.36] Stefan Andrei, David Foley, S. Kami Makki: A SAT-based Approach for the Multi-Processor Platform Scheduling Problem. The 2010 International Conference on Embedded Systems and Intelligent Technology (ICESIT 2010), Chiang Mai, Thailand, February 5-7, 2010. [III.35] Stefan Andrei, Albert Cheng: Decomposition-based Verification of Linear Real-Time Systems Specifications. Proceedings of the 2nd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2009), IEEE Computer Society, Washington D.C., U.S.A., (Co-located with RTSS 2009 - http://www.rtss.org/), December 1, 2009. [III.34] Stefan Andrei, Gheorghe Grigoras, Martin Rinard, Roland Yap: A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems. Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2009), IEEE Computer Society, Timisoara, Romania, September 26-29, 2009. [III.33] S. Kami Makki and Stefan Andrei: Utilizing Semantic Caching in Ubiquitous Environment. Proceedings of the 5th International Wireless Communications and Mobile Computing Conference (IWCMC 2009), ACM, Leipzig, Germany, June 21-24, 2009. [III.32] Stefan Andrei: Parallel Parsing-based Reverse Engineering. Proceedings of the First 2009 World Congress on Computer Science and Information Engineering (CSIE 2009), IEEE Computer Society, pp. 503-507, Los Angeles, USA, March 31-April 2, 2009. [III.31] Ricky Guidry, Stefan Andrei: Investigation of SAT-based Scheduling Techniques in Comparison with Traditional Approaches. Proceedings of the 19th Annual Argonne Symposium for Undergraduates in Science, Engineering and Mathematics (ARGONNE 2009), Argonne National Laboratory, Chicago, Ilinois, November 7-8, 2008. [III.30] Stefan Andrei: Termination Analysis by Program Inversion. Proceedings of 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'08), IEEE Computer Society, Timisoara, Romania, September 26-29, 2008.
[III.29]
Andrei, S., Cheng, A.M.K.:
Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies,
Proceedings of the Second International Workshop on Real Time and Embedded Systems,
(RTES'08),
IEEE Computer Society, Timisoara, Romania, September 28, 2008.
Here is a list of citations Scholar Google and other search engines. [More recent list having Stefan Andrei as co-author] Technical Reports of Computer Science Department of Lamar University, ISSN 1940-8978 [I.22] Stefan Andrei: Considerations on the Estimating of the Number of Processors Toward an Efficient Non-preemptive Scheduling Algorithm, University of Houston, August 23, 2013 [I.21] Stefan Andrei: Implementing an American Sign Language Avatar, Cuza University of Iasi, Romania, July 3, 2012 [I.20] Stefan Andrei: Translation of Computer Science and Mathematics Courses into American Sign Language for Deaf or Hard of Hearing Students, Cuza University of Iasi, Romania, May 27, 2011 [I.19] Stefan Andrei: An Efficient Power-Aware Scheduling Algorithm for the Multiprocessor Platform, University of Houston, September 16, 2010 [I.18] Stefan Andrei: Polynomial-time approximations toward counting satisfiability, Lamar University, February 10, 2010 [I.17] Stefan Andrei: Verification of Linear Real-Time Logic Specifications, University of California at Irvine, March 31, 2009 [I.16] Stefan Andrei: Parallel Parsing-based Reverse Engineering, Lamar University, March 20, 2009 [I.15] Stefan Andrei: Termination Analysis by Program Inversion, Lamar University, October 31, 2008 [I.14] Invited Talk: Stefan Andrei, Gheorghe Grigoras, Albert Cheng: Theorem Proving through Incremental Counting Satisfiability, Proceedings of the 3rd Balkan Conference in Informatics (BCI'2007), http://bci2007.uni-sofia.bg/, 27-29 September 2007, Sofia, Bulgaria |
|
