Andrei Popescu - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 26 from 26

2021

An Overview of Recommender Systems and Machine Learning in Feature Modeling and ConfigurationAlexander Felfernig, Viet Man Le, Andrei Popescu, Mathias Uta, Thi Ngoc Trang Tran, Müslüm Atas. vamos 2021: [doi]

2019

3d H∞ Controller Design for an Experimental Scanning Tunneling Microscope DeviceAndrei Popescu, Alina Voda, Gildas Besançon, Yujin Wu. cdc 2019: 6838-6843 [doi]

2018

Development of a Digital Platform Based on the Integration of Augmented Reality and BIM for the Management of Information in Construction ProcessesAlice Schweigkofler, Gabriele Pasetti Monizza, Erdal Domi, Andrei Popescu, Julia Ratajczak, Carmen Marcher, Michael Riedl, Dominik T. Matt. ifip5-1 2018: 46-55 [doi]

2014

Bounded-Deducibility SecurityAndrei Popescu, Peter Lammich. afp, 2014, 2014. [doi]

A shallow embedding of HyperCTLMarkus N. Rabe, Peter Lammich, Andrei Popescu. afp, 2014, 2014. [doi]

2010

Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle FormalizationAndrei Popescu, Elsa L. Gunter. fossacs 2010: 109-127 [doi]

Strong Normalization for System F by HOAS on Top of FOASAndrei Popescu, Elsa L. Gunter, Christopher J. Osborn. lics 2010: 31-40 [doi]

2009

A semantic approach to interpolationAndrei Popescu, Traian-Florin Serbanuta, Grigore Rosu. TCS, 410(12-13):1109-1128, 2009. [doi]

Weak Bisimilarity CoalgebraicallyAndrei Popescu. calco 2009: 157-172 [doi]

2008

Term-Generic LogicAndrei Popescu, Grigore Rosu. WADT 2009: 290-307 [doi]

2007

An Institution-Independent Proof of the Robinson Consistency TheoremDaniel Gâinâ, Andrei Popescu. sLogica, 85(1):41-73, 2007. [doi]

Auto-update: a concept for automatic downloading of web content to a mobile deviceElina Vartiainen, Virpi Roto, Andrei Popescu. mobility 2007: 683-689 [doi]

2006

2005

Similarity Convergence in Residuated StructuresGeorge Georgescu, Andrei Popescu. igpl, 13(4):389-413, 2005. [doi]

Behavioral Extensions of InstitutionsAndrei Popescu, Grigore Rosu. calco 2005: 331-347 [doi]

Lukasiewicz-Moisil Relation AlgebrasAndrei Popescu. sLogica, 81(2):167-189, 2005. [doi]

2004

Non-dual fuzzy connectionsGeorge Georgescu, Andrei Popescu. AML, 43(8):1009-1039, 2004. [doi]

Non-commutative fuzzy structures and pairs of weak negationsGeorge Georgescu, Andrei Popescu. fss, 143(1):129-155, 2004. [doi]

A general approach to fuzzy conceptsAndrei Popescu. mlq, 50(3):265-280, 2004. [doi]

2003

Non-commutative fuzzy Galois connectionsGeorge Georgescu, Andrei Popescu. soco, 7(7):458-467, 2003. [doi]

2002

Concept lattices and similarity in non-commutative fuzzy logicGeorge Georgescu, Andrei Popescu. FUIN, 53(1):23-54, 2002. [doi]

1995

A differential encoding method for the LTP delay in CELP codersAndrei Popescu, Nicolas Moreau, Claude Lamblin. interspeech 1995: 731-733 [doi]

Subband analysis-by-synthesis codingAndrei Popescu, Nicolas Moreau. interspeech 1995: 673-676 [doi]

Sign in or sign up to see more results.

runs on WebDSL