학술논문
'학술논문'
에서 검색결과 51건 | 목록
1~10
Academic Journal
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on. 39(7):1524-1531 Jul, 2020
Academic Journal
Manzi, M.; Palena, M.; Maene, L.; Lichtenberg, M.; Lansink, W.; Daniel, H.; Schmidt, A.; Scheinert, D.; Deloose, K.; Brodmann, M.
In: Journal of Critical Limb Ischemia . (Journal of Critical Limb Ischemia, September 2022, 2(3):E74-E82)
Academic Journal
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on. 38(2):380-384 Feb, 2019
Conference
2016 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2016. :25-32 Oct, 2016
Academic Journal
In: Formal Methods in System Design . (Formal Methods in System Design, April 2022, 60(2):117-146)
Academic Journal
Benson, R.A.; Ruffino, M.A.; Chan, S.; Coughlin, P.; Awopetu, A.; Stather, P.; Lane, T.; Theodosiou, D.; Ahmed, M.A.; Vasudevan, T.; Ibrahim, M.; Al Maadany, F.; Eljareh, M.; Alkhafeefi, F.S.; Coscas, R.; Ünal, E.U.; Pulli, R.; Zacà, S.; Angiletta, D.; Kotsis, T.; Moawad, M.; Tozzi, M.; Patelis, N.; Lazaris, A.M.; Chuen, J.; Croo, A.; Tsolaki, E.; Zenunaj, G.; Kamal, D.; Tolba, M.M.; Maresch, M.; Khetarpaul, V.; Mills, J.; Gangwani, G.; Elahwal, M.; Khalil, R.; Azab, M.A.; Mahomed, A.; Whiston, R.; Contractor, U.; Esposito, D.; Pratesi, C.; Giacomelli, E.; Troncoso, M.V.; Elkouri, S.; Johansson, F.G.; Dodos, I.; Benezit, M.; Vidoedo, J.; Rocha-Neves, J.; Pereira-Neves, A.H.; Dias-Neto, M.F.; Campos Jácome, A.F.; Loureiro, L.; Silva, I.; Garza-Herrera, R.; Canata, V.; Bezard, C.; Bowser, K.; Tobar, J.F.; Vera, C.G.; Parra, C.S.; Lopez, E.; Serra, Y.G.; Varela, J.; Rubio, V.; Victoria, G.; Johnson, A.; O'Banion, L.A.; Makar, R.; Tantawy, T.G.; Storck, M.; Jongkind, V.; falah, O.; McBride, O.; Isik, A.; Papaioannou, A.; Ocke Reis, P.E.; Bracale, U.M.; Atkins, E.; Tinelli, G.; Scott, E.; Wales, L.; Sivaharan, A.; Priona, G.; Nesbitt, C.; Grainger, T.; Shelmerdine, L.; Chong, P.; Bajwa, A.; Arwynck, L.; Hadjievangelou, N.; Elbasty, A.; Rubio, O.; Ricardo, M.; Ulloa, J.H.; Tarazona, M.; Pabon, M.; Pitoulias, G.; Corless, K.; Ioannidis, O.; Friedrich, O.; Van Herzeele, I.; Vijaynagar, B.; Cohnert, T.; Bell, R.; Moore, H.; Saha, P.; Gifford, E.; Laine, M.; Barkat, A.; Karkos, C.; Binti Safri, L.S.; Buitron, G.; Del Castillo, J.; Carrera, P.; Salinas, N.; Biagioni, R.B.; Benites, S.; Mafla, C.A.; Pian, P.M.; Albino, P.; Serrano, E.; Marin, A.; González, M.; Foreroga, M.; Russo, A.; Reyes, A.; Guglielmone, D.; Grillo, L.; Flumignan, R.; Palones, F.G.; Silveira, P.G.; Ramely, R.B.; Edeiken, S.; Chetter, I.; Green, L.; Sudarsanam, A.; Lyons, O.; Lemmon, G.; Neville, R.; Castelli, M.; Hinojosa, C.A.; Carvajal, R.R.; Rivera, A.; Wong, P.; Drudi, L.; Perkins, J.; Sieunarine, K.; Attia, D.; Atef, M.; Eftychios, L.; Weaver, F.; Ren, L.C.; Alomari, M.; Jamjoom, R.; Aljarrah, Q.; Abbas, A.; Alomran, F.; Kumar, A.; Altoijri, A.; ElSanhoury, K.T.; Alhumaid, A.; Fekry, T.; Sekhar, R.; Theodoridis, P.; Panagiotis, T.; Roditis, K.; Tsiantoula, P.; Antoniou, A.; Soler, R.; Hasemaki, N.; Baili, E.; Mpaili, E.; Huasen, B.; Wallace, T.; Duncan, A.; Metcalfe, M.; Mannoia, K.; Bechara, C.F.; Tsilimparis, N.; Aranson, N.; Riding, D.; Palena, M.; McDonnell, C.; Mouawad, N.J.; Banegas, S.; Rossi, P.; Oshodi, T.; Diaz, R.; Afifi, R.; Dindyal, S.; Thapar, A.; Kordzadeh, A.; Pullas, G.; Lin, S.; Davies, C.; Darvall, K.; Kodama, A.; Gooneratne, T.; Gunawansa, N.; Munoz, A.; Jie, N.J.; Bradley, N.; Al-Jundi, W.; Meyer, F.; Lee, C.; Malina, M.; Renton, S.; Lui, D.; Batchelder, A.; Oszkinis, G.; Freyrie, A.; Giordano, J.; Saratzis, N.; Tigkiropoulos, K.; Kyriakos, S.; Popov, G.; Cheema, M.U.; Lapolla, P.; Ling Patricia, Y.C.; Ennab, R.; Ullery, B.W.; Pasenidou, K.; Tam, J.; Sidel, G.; Jayaprakash, V.V.; Bennett, L.; Hardy, S.; Davies, E.; Baker, S.; Wijesinghe, L.; Tam, A.; McCune, K.; Chana, M.; Lowe, C.; Goh, A.; Powezka, K.; Kyrou, I.; Altaf, N.; Harkin, D.; Travers, H.; Cragg, J.; sharif, A.; Akhtar, T.; Chávez, J.A.; Ordonez, C.; Mazzurco, M.; Choke, E.; Asghar, I.; Summerour, V.; Dunlop, P.; Morley, R.; Hardy, T.; Bevis, P.; Cuff, R.; Stavroulakis, K.; Beropoulis, E.; Argyriou, A.; Loftus, I.; Azhar, B.; Sheth, S.; Usai, M.V.; Choudhry, A.; Nicole, K.; Boyle, E.; Joyce, D.; Abdelaty Hassan, M.H.; Saltiel, A.; Frahm-Jensen, G.; Antoniou, G.; Elhadi, M.; Kimyaghalam, A.; Malgor, R.; O'Banion, L.A.; Telve, D.; Isaak, A.; Schmidli, J.; McKevitt, K.; Siddiqui, T.; Asciutto, G.; Floros, N.; Papadopoulos, G.; Kafetzakis, A.; Koutsias, S.G.; Nana, P.; Giannoukas, A.; Kakkos, S.; Moulakakis, K.G.; Shafique, N.; Jawien, A.; Popplewell, M.; Imray, C.; Abayasekara, K.; Rowlands, T.; Kuhan, G.; Rajagopalan, S.; Jaipersad, A.; Sadia, U.; Kobe, I.; Mittapalli, D.; Enemosah, I.; Behrendt, C.-A.; Beck, A.; Almudhafer, M.; Ancetti, S.; Jacobs, D.; Jayakumar, P.; Malekpour, F.; Shalhub, S.; Keldiyorov, B.; Simon, M.; Khashram, M.; Rich, N.; Shepherd, A.; Meecham, L.; Doherty, D.
In: EJVES Vascular Forum . (EJVES Vascular Forum, January 2022, 57:28-34)
Conference
2014 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2014. :43-50 Oct, 2014
Academic Journal
In: Journal of Clinical Orthopaedics and Trauma . (Journal of Clinical Orthopaedics and Trauma, May 2021, 16:182-188)
Conference
Loiacono, C.; Palena, M.; Pasini, P.; Patti, D.; Quer, S.; Ricossa, S.; Vendraminetto, D.; Baumgartner, J.
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE) Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013. :803-806 Mar, 2013
검색 결과 제한하기
제한된 항목
[AR] Palena, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어