Corneliu

Results: 57



#Item
1Efficient CTL Verification via Horn Constraints Solving Tewodros A. Beyene Corneliu Popeea Andrey Rybalchenko

Efficient CTL Verification via Horn Constraints Solving Tewodros A. Beyene Corneliu Popeea Andrey Rybalchenko

Add to Reading List

Source URL: hcvs2016.it.uu.se

- Date: 2016-04-02 04:10:27
    2Agenda Workshop – GIS in Educatie Soluții Geospațiale în Mediul Universitar Sambata 25 Aprilie 2015

    Agenda Workshop – GIS in Educatie Soluții Geospațiale în Mediul Universitar Sambata 25 Aprilie 2015 "Facultatea de Geografie, Universitatea Alexandru Ioan Cuza din Iasi" Organizatori: Esri Romania, IATU Corneliu (co

    Add to Reading List

    Source URL: edu.esriro.ro

    Language: Romanian - Date: 2015-04-20 06:47:42
      3Comparison of Plastic and Glass Collection and Pipetting of Whole Blood for Cocaine Assay by GC-MS DALIBORCA CRISTINA VLAD1, VICTOR DUMITRASCU1, ROXANA POPESCU2*, ADINELA CIMPORESCU3, CRISTIAN S. VLAD1, BOGDAN CORNELIU A

      Comparison of Plastic and Glass Collection and Pipetting of Whole Blood for Cocaine Assay by GC-MS DALIBORCA CRISTINA VLAD1, VICTOR DUMITRASCU1, ROXANA POPESCU2*, ADINELA CIMPORESCU3, CRISTIAN S. VLAD1, BOGDAN CORNELIU A

      Add to Reading List

      Source URL: www.revmaterialeplastice.ro

      Language: English - Date: 2016-03-14 05:45:32
        4Designing and Prototyping a Bespoke Spinal Implant Using Additive Technologies CRISTIAN VASILE DOICIN1, MIHAELA ELENA ULMEANU1*, CORNELIU NEAGU1, LILIANA POPA1 Politehnica University of Bucharest, Department of Manufactu

        Designing and Prototyping a Bespoke Spinal Implant Using Additive Technologies CRISTIAN VASILE DOICIN1, MIHAELA ELENA ULMEANU1*, CORNELIU NEAGU1, LILIANA POPA1 Politehnica University of Bucharest, Department of Manufactu

        Add to Reading List

        Source URL: www.revmaterialeplastice.ro

        Language: English - Date: 2016-03-14 05:45:31
          5Qualitative and Quantitative Comparisons Concerning the Influence of Jointing Parameters on the Quality of the PPR Without Insertion Components Assembly DUMITRU TITI CICIC, CORNELIU RONTESCU*, CATALIN GHEORGHE AMZA , OAN

          Qualitative and Quantitative Comparisons Concerning the Influence of Jointing Parameters on the Quality of the PPR Without Insertion Components Assembly DUMITRU TITI CICIC, CORNELIU RONTESCU*, CATALIN GHEORGHE AMZA , OAN

          Add to Reading List

          Source URL: www.revmaterialeplastice.ro

          Language: English - Date: 2016-03-14 05:45:38
            6Exploring multi-language resources for unsupervised spoken term discovery Bogdan Ludusan1, Alexandru Caranica2, Horia Cucu2, Andi Buzo2, Corneliu Burileanu2, Emmanuel Dupoux1 Laboratoire de Sciences Cognitives et Psychol

            Exploring multi-language resources for unsupervised spoken term discovery Bogdan Ludusan1, Alexandru Caranica2, Horia Cucu2, Andi Buzo2, Corneliu Burileanu2, Emmanuel Dupoux1 Laboratoire de Sciences Cognitives et Psychol

            Add to Reading List

            Source URL: www.lscp.net

            Language: English - Date: 2015-12-15 13:06:25
              7Dual Analysis for Proving Safety and Finding Bugs Corneliu Popeeaa , Wei-Ngan Chinb a Max Planck Institute for Software Systems (MPI-SWS) b National University of Singapore

              Dual Analysis for Proving Safety and Finding Bugs Corneliu Popeeaa , Wei-Ngan Chinb a Max Planck Institute for Software Systems (MPI-SWS) b National University of Singapore

              Add to Reading List

              Source URL: www.comp.nus.edu.sg

              Language: English - Date: 2013-07-17 21:22:36
                8PHYSICAL REVIEW B 90, Structure and magnetism of Tm atoms and monolayers on W(110) Corneliu Nistor,1,2 Aitor Mugarza,2 Sebastian Stepanow,1 and Pietro Gambardella1,2 1

                PHYSICAL REVIEW B 90, Structure and magnetism of Tm atoms and monolayers on W(110) Corneliu Nistor,1,2 Aitor Mugarza,2 Sebastian Stepanow,1 and Pietro Gambardella1,2 1

                Add to Reading List

                Source URL: www.intermag.mat.ethz.ch

                Language: English - Date: 2016-03-05 16:44:51
                  9PHYSICAL REVIEW B 89, Fieldlike and antidamping spin-orbit torques in as-grown and annealed Ta/CoFeB/MgO layers Can Onur Avci,1,2 Kevin Garello,1,2 Corneliu Nistor,1,2 Sylvie Godey,2 Bel´en Ballesteros,2

                  PHYSICAL REVIEW B 89, Fieldlike and antidamping spin-orbit torques in as-grown and annealed Ta/CoFeB/MgO layers Can Onur Avci,1,2 Kevin Garello,1,2 Corneliu Nistor,1,2 Sylvie Godey,2 Bel´en Ballesteros,2

                  Add to Reading List

                  Source URL: www.intermag.mat.ethz.ch

                  Language: English - Date: 2016-03-05 16:44:14
                    10Analysing Memory Resource Bounds for Low-Level Programs Wei-Ngan Chin1 Huu Hai Nguyen1 Corneliu Popeea1

                    Analysing Memory Resource Bounds for Low-Level Programs Wei-Ngan Chin1 Huu Hai Nguyen1 Corneliu Popeea1

                    Add to Reading List

                    Source URL: www.comp.nus.edu.sg

                    Language: English - Date: 2008-08-13 08:43:14