29 Janvier 2019
Publikacje i prezentacje Książki: Wadhwa, B. Podejście obiektowe, Mc-Graw Hill, Singapur, 2007, 160 stron, ISBN: 978-007-126610-9 Tanasa, S. 2007, drugie wydanie, 864 strony, ISBN: 978-973-46-0317-6, 2003, pierwsze wydanie, 840 stron, ISBN: 973-681-201-4 Andrei, S. Cuza "University of Iasi Academic Press, Iasi, 2004, 178 stron, ISSN: 1221-9363 Jucan, T. Cuza "University of Iasi Academic Press, 2002, 327 stron, ISBN: 973-8243-41-6 Masalagiu, C. Cuza "University of Iasi Academic Press, Iasi, 1998 Jucan, T. Cuza "University of Iasi Academic Press, Iasi, wydanie pierwsze (1997) i drugie wydanie (2001) Andrei, S. : Konstrukcja kompilatora: problemy praktyczne. Cuza "University of Iasi Academic Press, Iasi, 1995 Andrei, S. Policromia Press, Piatra Neamt, 1995 top Book Chapters: Andrei, S. : Pobieżność dwukierunkowa dla języków liniowych. Thomas, World Scientific, Singapore, pp. 257-269 (2000) top Artykuły z czasopisma: Kishor Datta Gupta, Md Manjurul Ahsan, Stefan Andrei: Zwiększenie pojemności pamięci i redukcja szumów szybszego kodu QR. MÓZG - Szerokie badania w Sztucznej Inteligencji i Neurobiologii, Edusoft Publishing, Tom. 59-71 (2018) Kishor Datta Gupta, Manjurul Ahsan, Stefan Andrei, Kazi Md.
Rokibul Alam: Solidne podejście rozpoznawania twarzy z twarzy. MÓZG - Szerokie badania w Sztucznej Inteligencji i Neurobiologii, Edusoft Publishing, Tom. 5-12 (2017) Vraj Pandya, Stefan Andrei: O projekcie protokołu QUIC Firefox Transport Protocol. MÓZG - Szerokie badania w Sztucznej Inteligencji i Neurobiologii, Edusoft Publishing, Tom. 26-32 (2017) Stefan Andrei, Arnob Saha i Sojibur Rahman: Dwa nowe wzorce behawioralnego wzornictwa oprogramowania: link do zobowiązania i przypomnienie historii. MÓZG - Szerokie badania w Sztucznej Inteligencji i Neurobiologii, Edusoft Publishing, Tom. 78-90 (2016) Stefan Andrei, Milin Joshi, Chandrakant Rudani, Ankur Shah i Bharatkumar Tejwani: Modelowanie, projektowanie i wdrażanie interaktywnej mapy opartej na awatarach. MÓZG - Szerokie badania w Sztucznej Inteligencji i Neurobiologii, Edusoft Publishing, Tom. 50-60 (2016) Stefan Andrei, Lawrence Osborne i Zanthia Smith: Zaprojektowanie amerykańskiego avatara języka migowego do nauki koncepcji informatycznych dla uczniów niesłyszących lub niedosłyszących oraz głuchoniemych. AACE Journal of Educational Multimedia and Hypermedia, (2013) Stefan Andrei, Albert Cheng, Gheorghe Grigoras, Vlad Radulescu: Skuteczny algorytm planowania dla niepodzielnej niezależnej platformy wieloprocesorowej. International Journal of Grid and Utility Computing, wol. 215-223 (2012) Stefan Andrei, Hikyoo Koh: Podejście punktowe w kierunku efektywnej konwersji modeli. Information Technologies and Control, vol. : Wydajna weryfikacja i optymalizacja systemów określonych w logice czasu rzeczywistego. IEEE Transaction on Computers, December, Vol.
Cristian Masalagiu, Wei-Ngan Chin, Stefan Andrei, Vasile Alaiba: Rygorystyczna metodologia określania i weryfikacji procesów biznesowych, Formalne aspekty komputerów, Springer Verlag, 2009. Technologie informacyjne i sterowanie, Information Technologies and Control, vol. : Automatyczny Debugowanie systemów czasu rzeczywistego na podstawie przyrostowego liczenia satysfakcji. 830-842 (2006) Wybrany jako artykuł z wydaniem z lipca wydania dla "gorących" temat i szybka publikacja. : Liczymy na satysfakcjonowalność dzięki odwróceniu rozdzielczości. : Specyfikacja i walidacja kontraktów globalnych. Roczniki naukowe Uniwersytetu im. Aleksandra Ioana w Iasi, Wydział Informatyki, Tomul XV, Iasi, Rumunia, ss.. : Samozintegrowane gramatyki bezkontekstowe z regularnymi odpowiednikami. Acta Informatica, Volume 40, Number 5, pp. : Rozwiązywanie równań klasy wyższego rzędu w strukturze grupy. Journal of Symbolic Computation, Volume 37, Issue 3, pp. : De Gramaticas Unarias Libres de Contexto A Expresiones Regulares. Nuevas Propuestas: Revista de la Universidad Cat lica de Santiago del Estero. : Nowy algorytm regulowania jednoliterowych gramatyk bez kontekstu. Theoretical Computer Science, Volume 306, Issues 1-3, pp. : Samouczek na temat monadycznego podejścia do oceny wyrażeń, roczne opracowania naukowe "University of Iasi" w Iasi, Wydział Informatyki, Tomul XII, Iasi, Rumunia, str..
Roczniki naukowe Uniwersytetu im. Aleksandra Ioana w Iasi, Wydział Informatyki, Tomul X, Iasi, Rumunia, ss.. : Niektóre wyniki dotyczące problemu Collatza. Roczniki naukowe Uniwersytetu w Bukareszcie, Wydział Informatyki, Ano. : Wydajny algorytm równoległy do konwersji wyrażeń regularnych na prawe gramatyki liniowe. Roczniki naukowe Uniwersytetu w Bukareszcie, Wydział Informatyki, Ano. : Bezpieczeństwo danych i bezpieczeństwo w sieciach komputerowych, (TEX) Restrukturyzacja (ponownego) szkolenia nauczycieli szkolnych w zakresie informatyki, Tempus S_Jep 11168-96, pp. Roczniki naukowe Uniwersytetu im. Aleksandra Ioana w Iasi, Wydział Informatyki, Tomul V-VI, Iasi, Rumunia, ss.. : Znajdowanie kluczy w poszczególnych klasach zależności funkcyjnych. Roczniki naukowe Uniwersytetu im. Aleksandra Ioana w Iasi, Wydział Informatyki, Tomul IV, Iasi, Rumunia, ss.. : Model Boolean dla macierzy Hadamarda i systemu Walsha. Journal of North China University of Technology, wol. Roczniki naukowe Uniwersytetu w Bukareszcie, Wydział Informatyki, Ano. XLIV, Uniwersytet w Bukareszcie, Rumunia, str.
83-92 (1995) do góry Dokumenty konferencyjne: Vlad Radulescu, Stefan Andrei, Albert Cheng. Ograniczanie zasobów wykonawczych dla zadania planowania problemu w systemach cyber-fizycznych. Pierwsze warsztaty ESWeek dotyczące deklaratywnych systemów wbudowanych i cyber-fizycznych (DECPS 2017), 19 października 2017 r., Seul, Korea Południowa. Vlad Radulescu, Stefan Andrei, Albert Cheng. Skuteczne ograniczenie liczby procesorów zadania planowania zadań. Materiały z 19. międzynarodowego sympozjum na temat algorytmów symbolicznych i numerycznych do obliczeń naukowych (SYNASC 17), IEEE Computer Society, Timisoara, Rumunia, 21-24 września 2017 r.. Kishor Datta Gupta, Md Manjurul Ahsan, Stefan Andrei. Zwiększenie pojemności pamięci i redukcja szumów szybszego kodu QR. Metody naukowe w badaniach naukowych i nauczaniu (SMART-2017), Rumunia, 8-9 września 2017 r. Wydajność elektrohydrodynamicznej pompy gazowej w kanale kwadratowym. Materiały z corocznego posiedzenia Amerykańskiego Towarzystwa Elektrostatycznego w 2017 r. (ESA 2017), University of Ottawa, Kanada, 13-15 czerwca 2017 r.. Vlad Radulescu, Stefan Andrei, Albert Cheng. Ograniczanie zasobów dla niezapewniającego planowania zadań na wieloprocesorowej platformie. Proceedings of 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 16), IEEE Computer Society, Timisoara, Rumunia, 24-27 września 2016 r.. Kumer Pial Das, Dale Daniel, Stefan Andrei, Lawrence Osborne: Program ASCENT-A przeznaczony do wspierania studentów STEM poprzez studia licencjackie i mentoring, doroczna konferencja i ekspozycja ASEE ASEE 2016, Proceedings of the Annual ASEE Annual Conference and Exposition, 10. Stefan Andrei, Albert Cheng, Vlad Radulescu, Sharfuddin Alam, Suresh Vadlakonda: Nowy algorytm szeregowania dla niezależnych zadań z wyprzedzeniem na platformie wieloprocesorowej, Pierwsze warsztaty na temat programowania deklaratywnego dla systemów czasu rzeczywistego i cyber-fizycznego (DPRTCPS) , SIGBED Recenzja biuletynu i Cyfrowej Biblioteki ACM, San Antonio, U.
Stefan Andrei, Albert Cheng, Vlad Radulescu. Poprawiony algorytm górnego ograniczenia dla niezapewniającego planowania zadań. Materiały z 17. międzynarodowego sympozjum na temat algorytmów symbolicznych i numerycznych do obliczeń naukowych (SYNASC 15), IEEE Computer Society, Timisoara, Rumunia, 21-24 września 2015 r.. (zaproszony wykład) Stefan Andrei: Weryfikacja modelu systemu za pomocą liniowej logiki czasu rzeczywistego. Sympozjum NoMagic World (NMWS2015), Allen, TX, USA, 7-10 czerwca 2015 r. Vlad Radulescu, Stefan Andrei, Albert Cheng. Podejście heurystyczne do zmniejszenia zużycia energii wbudowanych systemów czasu rzeczywistego. Proceedings of 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 14), IEEE Computer Society, Timisoara, Rumunia, 22-25 września 2014 r Stefan Andrei, Albert Cheng, Vlad Radulescu: Wydajny algorytm planowania niezależnych zadań nieprzewidujących dla systemów biomedycznych. 12. Międzynarodowa Konferencja Nowych Obwodów I Systemów IEEE (NEWCAS), Trois-Rivieres, Kanada, 22-25 czerwca 2014 r.. Stefan Andrei, Albert Cheng, Haque Mozahid: Matematyczne aspekty liniowej weryfikacji logiki w czasie rzeczywistym. Materiały z XX Sympozjum IEEE Real-Time i Embedded Technology and Applications (RTAS 14), WiP Session, IEEE Computer Society, Filadelfia, Stany Zjednoczone, 9-11 kwietnia 2014 Hediyeh Baban, S. Kami Makki, Stefan Andrei: Porównanie różnych implementacji odwróconych indeksów w Hadoop. Druga międzynarodowa konferencja nt. E-technologii i biznesu w Internecie (EBW2014), Kuala Lumpur, Malezja, 18-20 marca 2014 r. Albert Cheng, Stefan Andrei, Haque Mozahid. Optymalizacja liniowego weryfikatora logicznego w czasie rzeczywistym. Materiały z XIX Sympozjum IEEE Realtime i Embedded Technology and Applications (RTAS 13), sesja WiP, IEEE Computer Society, Filadelfia, Stany Zjednoczone, 9-11 kwietnia 2013 r Stefan Andrei, Albert Cheng, Vlad Radulescu, Timothy McNicholl.
W stronę optymalnej techniki planowania uwzględniającej moc. Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC '12), IEEE Computer Society, Timisoara, Rumunia, 26-29 września 2012 r Stefan Andrei, Zanthia Smith, Lawrence Osborne. Wdrażanie amerykańskiego awatara języka migowego w celu poprawy uczenia się informatyki w przypadku uczniów niesłyszących lub niedosłyszących oraz głuchoniemych. Proceedings of the Society for Information Technology & Teacher Education Międzynarodowa konferencja (WITRYNA 2012), Austin, Teksas, USA, 5-9 marca 2012 r Stefan Andrei, Albert Cheng, Vlad Radulescu. Oszacowanie liczby procesorów w kierunku efektywnego algorytmu planowania nieuciążliwego. Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC "11), IEEE Computer Society, Timisoara, Rumunia, 26-29 września 2011 r Kami Makki, Stefan Andrei, Yanwen Guan, Mattie Sue Judd. Ocena wydajności strategii przycinania zapytań w środowisku semantycznego buforowania. 13. międzynarodowa konferencja na temat systemów informatycznych dla przedsiębiorstw (ICEIS '2011), IEEE Computer Society, Pekin, Chiny, 8-11 czerwca 2011 r Stefan Andrei, Kathlyn Doss, Kami Makki. Proof Automation do zakończenia programu. Materiały z II Światowego Kongresu Informatyki i Inżynierii Informatycznej (CSIE "11), IEEE Computer Society, Changchun, Chiny, 17-19 czerwca 2011 r. Stefan Andrei, Albert Cheng, Gheorghe Grigoras, Vlad Radulescu. Wydajny algorytm planowania dla wieloprocesorowej platformy. Materiały z 12. Międzynarodowego Sympozjum na temat algorytmów symbolicznych i numerycznych do obliczeń naukowych (SYNASC 10), strony 245-252, IEEE Computer Society, Timisoara, Rumunia, 26-29 września 2010 r. Stefan Andrei, Albert Cheng, Martin Rinard, Lawrence Osborne. Optymalny harmonogram pilnych zadań wyprzedzających.
Materiały z 16. Międzynarodowej Konferencji IEEE na temat systemów i aplikacji do wbudowania w czasie rzeczywistym (RTCSA 10), IEEE Computer Society, Makao, Chiny, 23-25 sierpnia 2010 r. Stefan Andrei i Lawrence Osborne: Ulepszanie uczenia się za pomocą metody Dynamic Instructor-Student Collaborative Approach. Coroczna międzynarodowa konferencja nt. Edukacji i nowych technologii uczenia się (EDULEARN 2010), Barcelona, Hiszpania, 5-7 lipca 2010. Kami Makki: Podejście oparte na protokole SAT dla problemu z planową platformą dla wielu procesorów. Międzynarodowa konferencja 2010 na temat systemów wbudowanych i inteligentnej technologii (ICESIT 2010), Chiang Mai, Tajlandia, 5-7 lutego 2010 r. Stefan Andrei, Albert Cheng: Dekompozycja w oparciu o liniowe specyfikacje systemów czasu rzeczywistego. Materiały z II Warsztatu poświęconego teorii i technice kompozycyjnej dla wbudowanych systemów czasu rzeczywistego (CRTS 2009), IEEE Computer Society, Washington D. , (Współwystępujące z RTSS 2009 - http: // www. Stefan Andrei, Gheorghe Grigoras, Martin Rinard, Roland Yap: Hierarchia łatwych podklas dla SAT i liczenie problemów SAT. Materiały z 11. Międzynarodowego Sympozjum na temat algorytmów symbolicznych i numerycznych do obliczeń naukowych (SYNASC 2009), IEEE Computer Society, Timisoara, Rumunia, 26-29 września 2009 r. Kami Makki i Stefan Andrei: Wykorzystanie semantycznego buforowania w wszechobecnym środowisku. Materiały z V Międzynarodowej Konferencji Wireless Communications i Mobile Computing (IWCMC 2009), ACM, Lipsk, Niemcy, 21-24 czerwca 2009 r. Stefan Andrei: Paralelna odwrotna inżynieria. Materiały z pierwszego światowego kongresu na świecie w zakresie informatyki i inżynierii informacji (CSIE 2009), IEEE Computer Society, pp. 503-507, Los Angeles, USA, 31 marca-2 kwietnia 2009 r.
Ricky Guidry, Stefan Andrei: Badanie technik planowania satelitarnego w porównaniu z tradycyjnymi podejściami. Materiały z 19 Dorocznego Sympozjum Argonne dla studentów, inżynierów i matematyków (ARGONNE 2009), Argonne National Laboratory, Chicago, Ilinois, 7-8 listopada 2008. Stefan Andrei: Analiza zakończenia przez odwrócenie programu. Proceedings of the 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC '08), IEEE Computer Society, Timisoara, Rumunia, 26-29 września 2008 r. : Optymalizacja Specyfikacje Systemu Cyber-Fizycznego Samochodu z Zależnościami Wielu Zdarzenia, Materiały z II Międzynarodowych warsztatów na temat systemów czasu rzeczywistego i systemów wbudowanych, (RTES "08), IEEE Computer Society, Timisoara, Rumunia, 28 września 2008. Międzynarodowa konferencja na temat automatyzacji, robotyki i systemów sterowania z 2008 r., (ARCS-08), Orlando, FL, USA, str. : Weryfikacja liniowej logiki czasu rzeczywistego Dane techniczne. Materiały z 28. sympozjum IEEE Real-Time Systems (RTSS "07), IEEE Computer Society, Tucson, Arizona, U. 8 stron, 3-6 grudnia, 2007 Stefan Andrei, Samarjit Chakraborty: Zrelaksowany Ścieżką Zrelaksowany Schedulability Analiza. Materiały z pierwszych międzynarodowych warsztatów na temat czasu rzeczywistego i Systemy wbudowane (RTES '07), IEEE Computer Society, Timisoara, Rumunia, 8 stron, 28-29 września, 2007 Nilam Chand, Bindiya Mansharamani, Rafael Romero, Will Beazley i Stefan Andrei: PERŁY: Zintegrowane środowisko do planowania zadań. Materiały z pierwszych międzynarodowych warsztatów na temat czasu rzeczywistego i Systemy wbudowane (RTES '07), IEEE Computer Society, Timisoara, Rumunia, 8 stron, 28-29 września, 2007 Stefan Andrei, Gabriel Manolache, Roland H. Yap, Victor Felea: Przybliżony poziom satysfakcji. Proceedings of International Symposium on Symbolic and Numeric Algorytmy obliczeń naukowych (SYNASC '07), IEEE Computer Society, Timisoara, Rumunia, 8 stron, 26-29 września, 2007 Andrei, S.
: Szybsza weryfikacja specyfikacji RTL Systemy poprzez dekompozycję i rozszerzenie ograniczeń. Materiały z 27 sympozjum IEEE Real-Time Systems (RTSS 06), IEEE Computer Society, Rio de Janeiro, Brazylia, 5-8 grudnia, 2006, 8 stron Andrei, S. Materiały z VIII Międzynarodowego Sympozjum na temat symboliki i numeryczności Algorytmy do obliczeń naukowych (SYNASC-06), IEEE Computer Society, Timisoara, Rumunia, 26-29 września 2006 r., 8 stron Andrei, S. : Optymalizacja czasu w systemach czasu rzeczywistego Dane techniczne. Materiały z 12. Międzynarodowej Konferencji IEEE na temat Embedded and Systemy i aplikacje komputerowe czasu rzeczywistego (RTCSA 2006), IEEE Computer Society, Sydney, Australia, 16-18 sierpnia 2006, str. : Co-optymalizacja wydajności i Moc w projektowaniu procesorów Superskalar. Proceedings of 1st International Workshop on Embedded Software Optymalizacja (ESO 2006) (ESO 2006), 1 - 4 sierpnia 2006 r., Seul, Korea, 10 stron Luca, B. : Transformacja programu przez rozwiązywanie nawrotów. Materiały z warsztatu ACM SIGPLAN z 2006 r. Na temat częściowej oceny i Semantyka manipulacji programem (PEPM 2006), Charleston, USA, 9-10 stycznia 2006, 121-129 Anderson, H. : Obliczanie właściwości środowiska wykonawczego wielomianu. Trzecie azjatyckie sympozjum na temat Języki i systemy programowania (APLAS 2005), Tsukuba, Japonia, 3-5 listopada 2005, 230-246 Andrei, S. : Skalowane skalowalne przyrostowo Sprawdzanie sumy kontrolnej układów kombinacyjnych. 11. Międzynarodowa konferencja IEEE dotycząca systemów i aplikacji do wbudowania i czasu rzeczywistego (RTCSA 05), Hongkong, Chiny, 17 sierpnia - 19 sierpnia 2005 r., 357-360 Andrei, S.
: Systematyczne debugowanie systemów czasu rzeczywistego na podstawie przyrostowego liczenia satysfakcji. 11. Sympozjum IEEE Real-Time oraz Embedded Technology and Applications Symposium (RTAS '05), San Francisco, Stany Zjednoczone, 7 marca - 10 marca, 10 stron, 2005 Zhu, Y. : Zintegrowany model wydajności i zasilania dla projektów procesorów superskalarnych. Konferencja IEEE / ACM Asia i South Pacific Design Automation 2005 (ASP-DAC 2005), 18-18 stycznia, Szanghaj, Chiny, 4 strony, 2005 Chin, W. : Specyfikacja i walidacja kontraktów globalnych. 12 stron, Sympozjum rumuńskie w informatyce (ROSYCS "04), 21 lipca - 23 lipca, Iasi, Rumunia, 2004 http: // galaxy. : Odliczanie rosnącej satysfakcji dla systemów czasu rzeczywistego. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS '04), Toronto, Kanada, 25-28 maja, 8 stron, 2004 http: // galaxy. : Dwukierunkowe przetwarzanie rosnące w przetwarzaniu języka naturalnego. Materiały z VII Międzynarodowych Warsztatów nt. Parsing Technologies (IWPT '01), 17 - 19 października, Uniwersytet Pekiński, Pekin, Chiny, ss.. : Parsowanie dwukierunkowe w przetwarzaniu języka naturalnego. Proceedings of Workshop Programowanie modułowe stosowane w przetwarzaniu języka naturalnego (Eurolan '01). Tworzenie i eksploatacja adnotowanych zasobów językowych, 30 lipca - 11 sierpnia, Iasi, Rumunia, str.
Proceedings of the International Workshop on Advanced Technology Compiler for High Performance and Embedded Systems, str. 119-124, Bukareszt, Rumunia, 19-20 lipca 2001 r. Andrei, S. : Dwukierunkowy analizator składni dla gramatyk LR-RL. Conferinta de Informatica Teoretica si Tehnologii Informatice (CITTI 2000). Tehnologii informatice pentru anii 2000, pp. 94-99, Editura Leda i Muntenia, Constanta, Rumunia, 25-27 maja 2000 r. Andrei, S. : Dwukierunkowe podejście do równoczesnej oceny atrybutów. Conferinta de Informatica Teoretica si Tehnologii Informatice (CITTI 2000). Tehnologii informatice pentru anii 2000, pp. 89-93, Editura Leda i Muntenia, Constanta, Rumunia, 25-27 maja 2000 r. Andrei, S. Proceedings of European Summer School on Logic, Language and Information (ESSLI 99), Utrecht, Holandia, 9-20 sierpnia, str.. Proceedings of International Conference on the Collatz's Problem and Related Topics, Eichstaett, Germany, 5-6 sierpnia 1999> Andrei, S. : Pobieżność dwukierunkowa dla języków liniowych. Proceedings of Developments of Language Theory (DLT 99), Akwizgran, Niemcy, 6-9 lipca, ss.
: Wydajny algorytm równoległy do konwersji wyrażeń regularnych na prawe gramatyki liniowe. Sympozjum rumuńskie w informatyce (ROSYCS 98), Iasi, Rumunia, maj 1998 r. Andrei, S. : Na temat Generatywnej Mocy Dwupoziomowych Gramatur Morfologicznych. Letnia Szkoła Sztuki ACM - Inteligentne i naturalne interfejsy językowe, Belis - Fantanele, Rumunia, 15-21 lipca 1996 r. Andrei, S. Druga letnia szkoła przetwarzania języka naturalnego (Eurolan 95), Iasi - Rumunia, 18-28 lipca 1995 r. Andrei, S. : Morfologiczny analizator języka rumuńskiego. Pierwsza letnia szkoła w dziedzinie przetwarzania języka naturalnego pod honorowym patronatem Stowarzyszenia Lingwistyki Komputerowej i Europejskiej Fundacji Logiki, Języka i Informacji (Eurolan 93), Iasi - Rumunia, 19-29 lipca 1993 r. Do góry. Oto lista cytowań Scholar Google i inne wyszukiwarki. Raporty techniczne: [Bardziej aktualna lista o Stefanie Andrei jako współautorze] Raporty techniczne z Wydziału Informatyki Uniwersytetu Lamar, ISSN 1940-8978 Andrei, S. : Odliczanie rosnącej satysfakcji dla systemów czasu rzeczywistego. TR03-04, Uniwersytet Iasi, Rumunia, str. : Przekształcanie wbudowanych gramatyk bezkontekstowych w wyrażenia regularne. : Java Security Manager (w języku rumuńskim).
7 (118), lipiec 2002, ISSN: 1583-6967 Andrei, St: Kompresja i dekompresja danych w Javie (w języku rumuńskim). 6 (117), czerwiec 2002, ISSN: 1583-6967 Andrei, S. : Java Remote Method Interface (w języku rumuńskim). 4 (115), kwiecień 2002, ISSN: 1583-6967 Andrei, S. 2 (113), luty 2002, ISSN: 1583-6967 Buraga, S. 10, 12 (111), grudzień 2001 r., ISSN: 1583-6967 Andrei, S. : Aplikacje klienckie / serwerowe w językach C i Java. 10 (109), październik 2001, ISSN: 1583-6967 Andrei, S. : Implementacja Java dla wydajnej generacji partycji w środowisku równoległym. 8 (107), sierpień 2001, ISSN: 1583-6967 Andrei, S. , Mihalache, G: Efektywne generowanie baz danych zawierających rekordy. 4-5 (68), kwiecień-maj 1998, ISSN 1220-9856 Andrei, S. Szacunki złożoności dla klasy formuł rachunku zdań. Fachbereich Informatik, Universitat Hamburg, FBI-HH-B-233, pp. : Pobieżna dwukierunkowa analiza składniowa dla języków bez kontekstu. Fachbereich Informatik, Universitat Hamburg, FBI-HH-B-221, pp.
Fachbereich Informatik, Universitat Hamburg, FBI-HH-B-220, pp. : Pobieżność dwukierunkowa dla języków bez kontekstu. Fachbereich Informatik, Universitat Hamburg, FBI-HH-B-219, pp. Fachbereich Informatik, Universitat Hamburg, FBI-HH-B-217, pp. : Liniowe dwukierunkowe analizowanie podklasy języków liniowych. Fachbereich Informatik, Universitat Hamburg, FBI-HH-B-215, pp. Fachbereich Informatik, Universitat Hamburg, FBI-HH-B-203, pp. Fachbereich Informatik, Universitat Hamburg, FBI-HH-B-202, pp. 1-27 (1997) top Prezentacje: Rozmowy naukowe Stefan Andrei: Uwagi dotyczące szacowania liczby procesorów pod kątem efektywnego algorytmu planowania nieprzeprowadzającego, University of Houston, 23 sierpnia 2013 r. Stefan Andrei: Implementacja amerykańskiego języka migowego Avatar, Cuza University of Iasi, Rumunia, 3 lipca 2012 Stefan Andrei: Tłumaczenie kursów informatycznych i matematycznych na amerykański język migowy dla uczniów niesłyszących lub niedosłyszących, Uniwersytet Cuza w Iasi, Rumunia, 27 maja 2011 r. Stefan Andrei: Skuteczny algorytm szeregowania wydajności dla wieloprocesorowej platformy, Uniwersytet w Houston, 16 września 2010 r. Stefan Andrei: Wielomianowe przybliżenia do liczenia satysfakcji, Uniwersytet Lamar, 10 lutego 2010 Stefan Andrei: Weryfikacja liniowych specyfikacji logicznych w czasie rzeczywistym, University of California w Irvine, 31 marca 2009 Stefan Andrei: Odwrotna inżynieria odwrotna, Lamar University, 20 marca 2009 Stefan Andrei: Analiza terminacji przez Inversion programu, Uniwersytet Lamar, 31 października 2008 Zaproszony wykład: Stefan Andrei, Gheorghe Grigoras, Albert Cheng: Twierdzenie udowadniające dzięki stopniowemu zliczaniu satysfakcji, materiały z trzeciej bałkańskiej konferencji w dziedzinie informatyki (BCI 2007), http: // bci2007. bg /, 27-29 września 2007 r., Sofia, Bułgaria Andrei, S.. : Weryfikacja i debugowanie specyfikacji systemów czasu rzeczywistego. Seminarium badawcze na Uniwersytecie Południowej Karoliny, 13 stycznia 2006 http: // www.
: Weryfikacja i debugowanie systemów czasu rzeczywistego za pomocą inkrementacja zliczania przyrostowego. Seminarium badawcze na Uniwersytecie Tsukuba, 4 listopada 2005 http: // www. : Weryfikacja i debugowanie systemów czasu rzeczywistego za pomocą liczenie SAT. Seminarium badawcze na Chińskim Uniwersytecie w Hongkongu, 19 sierpnia 2005 http: // www. : Weryfikacja i debugowanie systemów czasu rzeczywistego za pomocą liczenie SAT. Seminarium badawcze w Katedrze Informatyki Uniwersytetu Narodowego w Poznaniu Singapur, 22 marca 2005 r. Http: // www. : Dowodzenie potwierdzające poprzez liczenie przyrostowe Satysfakcja. Seminarium badawcze w SRI International, Menlo Park, U. : Dowodzenie potwierdzające poprzez liczenie przyrostowe Satysfakcja. Seminarium badawcze w Instytucie Kestrel, Palo Alto, U. Seminarium badawcze w PLS Research Group, National University of Singapore, School of Computing, 14 maja 2003 http: // galaxy. Seminarium badawcze w PLS Research Group, National University of Singapore, School of Computing, 14 października 2002 http: // galaxy. edu / ~ sandrei / MonadsForIncrementalComputing.
Seminarium badawcze w PLS Research Group, National University of Singapore, School of Computing, 21 sierpnia 2002 http: // galaxy. : Kombinatoryjne rozważania dotyczące klasycznej logiki zdań. Seminarium badawcze, Uniwersytet w Hamburgu, Fachbereich Informatik. : Combinatorial Problems for Propositional Logic. Konferencja Raportów Badawczych Wydziału Informatyki, Al. Uniwersytet Cuza w Iasi, Rumunia Październik 2001 Andrei, S. : Programowanie sieciowe w językach C i Java. Konferencja Raportów Badawczych Wydziału Informatyki, Al. Uniwersytet Cuza w Iasi, Rumunia Październik 2001 Andrei, S. Seminarium badawcze, Uniwersytet w Hamburgu, Fachbereich Informatik, Niemcy, grudzień 1998. : Nowa konstruktywna metoda jednoliterowych gramatyk bez kontekstu. Plakat zaprezentowany na sympozjum Singapore-MIT Alliance Annual, styczeń 2004, http: // hdl.
: Rozwiązywanie równań klasy wyższego rzędu w strukturze grupy. Plakat zaprezentowany na sympozjum Singapore-MIT Alliance Annual, styczeń 2003, http: // hdl.
/https%3A%2F%2Fwww.wiseloan.com%2Fstatic%2Fimg%2Fog.jpg)
/https%3A%2F%2Fwww.debtawayloan.com%2FContent%2Fimages%2Fhowitwork_img1.png)
/https%3A%2F%2Fbonsaifinance.com%2Fwp-content%2Fuploads%2F2016%2F09%2Floans-with-no-credit-check.jpg)
/https%3A%2F%2Fd1ic4altzx8ueg.cloudfront.net%2Ffinder-us%2Fwp-uploads%2Fsites%2F3%2F2017%2F12%2FUntitled-design-2.png)