Vafeiadis, T: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

Evaluation of Selected Ken-Drgs in Greek Public Hospitals: The Degree to Which they Reflect Actual Expenditure and Average Length of Stay

Siskou, O., Galanis, P., Kaitelidou, D., Kalogeropoulou, M., Kouli, E., Thireos, E., Vafeiadis, J., Theodorou, M., Prezerakos, P., Lemonidou, C., Liaropoulos, L.

Journal:

Value in Health

Year:

2014

Language:

english

File:

PDF, 65 KB

english, 2014

52

Economic Consequences of the Adaption of the 21 Gene Reverse Transcriptase-Polymerase Chain Reaction RT-PCR Assay from The Greek Third Payer Perspective

Kikilias, N., Siskou, O., Kaitelidou, D., Galanis, P., Tsoulos, N., Vafeiadis, J., Liaropoulos, L.

Journal:

Value in Health

Year:

2014

Language:

english

File:

PDF, 84 KB

english, 2014

53

[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - Finding heap-bounds for hardware synthesis

Cook, B., Gupta, A., Magill, S., Rybalchenko, A., Simsa, J., Singh, S., Vafeiadis, V.

Year:

2009

Language:

english

File:

PDF, 199 KB

english, 2009

54

Evaluation of Linear Trend Tests Using Resampling Techniques

Vafeiadis, Thanasis, Bora-Senta, Efthimia, Kugiumtzis, Dimitris

Journal:

Communications in Statistics - Simulation and Computation

Year:

2008

Language:

english

File:

PDF, 1.25 MB

english, 2008

55

[IEEE 2011 IEEE Vehicular Networking Conference (IEEE VNC) - Amsterdam, Netherlands (2011.11.14-2011.11.16)] 2011 IEEE Vehicular Networking Conference (VNC) - Implementation of a vehicular networking architecture supporting dynamic spectrum access

Rzayev, Tayyar, Shi, Yuan, Vafeiadis, Anastasios, Pagadarai, Srikanth, Wyglinski, Alexander M.

Year:

2011

Language:

english

File:

PDF, 216 KB

english, 2011

56

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Separation Logic in the Presence of Garbage Collection

Hur, Chung-Kil, Dreyer, Derek, Vafeiadis, Viktor

Year:

2011

Language:

english

File:

PDF, 339 KB

english, 2011

57

[IEEE 2013 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Birmingham, United Kingdom (2013.07.1-2013.07.3)] 2013 International Symposium on Theoretical Aspects of Software Engineering - A Programming Language Approach to Fault Tolerance for Fork-Join Parallelism

Zengin, Mustafa, Vafeiadis, Viktor

Year:

2013

Language:

english

File:

PDF, 244 KB

english, 2013

58

[ACM Press the 9th International Conference - Graz, Austria (2013.09.04-2013.09.06)] Proceedings of the 9th International Conference on Semantic Systems - I-SEMANTICS '13 - Insights in global public spending

Vafopoulos, Michalis, Meimaris, Marios, Rodríguez, Jose María Álvarez, Xidias, Ioannis, Klonaras, Michael, Vafeiadis, Giorgos

Year:

2013

Language:

english

File:

PDF, 1.09 MB

english, 2013

59

Marketing Decision Support Using Artificial Intelligence and Knowledge Modeling: Application to Tourist Destination Management

Stalidis, George, Karapistolis, Dimitrios, Vafeiadis, Athanasios

Journal:

Procedia - Social and Behavioral Sciences

Year:

2015

Language:

english

File:

PDF, 546 KB

english, 2015

60

In Utero Exposure to Compounds with Dioxin-like Activity and Birth Outcomes

Vafeiadi, Marina, Agramunt, Silvia, Pedersen, Marie, Besselink, Harrie, Chatzi, Leda, Fthenou, Eleni, Fleming, Sarah, Hardie, Laura J., Wright, John, Knudsen, Lisbeth E., Nielsen, Jeanette K.S., Sunye

Journal:

Year:

2014

Language:

english

File:

PDF, 402 KB

english, 2014

61

[ACM Press the 36th annual ACM SIGPLAN-SIGACT symposium - Savannah, GA, USA (2009.01.21-2009.01.23)] Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09 - Proving that non-blocking algorithms don't block

Gotsman, Alexey, Cook, Byron, Parkinson, Matthew, Vafeiadis, Viktor

Year:

2008

Language:

english

File:

PDF, 300 KB

english, 2008

62

[ACM Press the 37th annual ACM SIGPLAN-SIGACT symposium - Madrid, Spain (2010.01.17-2010.01.23)] Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10 - Structuring the verification of heap-manipulating programs

Nanevski, Aleksandar, Vafeiadis, Viktor, Berdine, Josh

Year:

2010

Language:

english

File:

PDF, 481 KB

english, 2010

63

[ACM Press the 36th ACM SIGPLAN Conference - Portland, OR, USA (2015.06.13-2015.06.17)] Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 - A formal C memory model supporting integer-pointer casts

Kang, Jeehoon, Hur, Chung-Kil, Mansky, William, Garbuzov, Dmitri, Zdancewic, Steve, Vafeiadis, Viktor

Year:

2015

Language:

english

File:

PDF, 416 KB

english, 2015

64

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it

Vafeiadis, Viktor, Balabonski, Thibaut, Chakraborty, Soham, Morisset, Robin, Zappa Nardelli, Francesco

Year:

2015

Language:

english

File:

PDF, 979 KB

english, 2015

65

Relaxed-memory concurrency and verified compilation

Ŝevčik, Jaroslav, Vafeiadis, Viktor, Zappa Nardelli, Francesco, Jagannathan, Suresh, Sewell, Peter

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 510 KB

english, 2011

66

[ACM Press the eleventh ACM SIGPLAN symposium - New York, New York, USA (2006.03.29-2006.03.31)] Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '06 - Proving correctness of highly-concurrent linearisable objects

Vafeiadis, Viktor, Herlihy, Maurice, Hoare, Tony, Shapiro, Marc

Year:

2006

Language:

english

File:

PDF, 132 KB

english, 2006

67

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Mtac

Ziliani, Beta, Dreyer, Derek, Krishnaswami, Neelakantan R., Nanevski, Aleksandar, Vafeiadis, Viktor

Year:

2013

Language:

english

File:

PDF, 597 KB

english, 2013

68

[ACM Press the 2013 ACM SIGPLAN international conference - Indianapolis, Indiana, USA (2013.10.29-2013.10.31)] Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications - OOPSLA '13 - Relaxed separation logic

Vafeiadis, Viktor, Narayan, Chinmay

Year:

2013

Language:

english

File:

PDF, 827 KB

english, 2013

69

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Relaxed-memory concurrency and verified compilation

Ŝevčik, Jaroslav, Vafeiadis, Viktor, Zappa Nardelli, Francesco, Jagannathan, Suresh, Sewell, Peter

Year:

2011

Language:

english

File:

PDF, 510 KB

english, 2011

70

[ACM Press the 2014 ACM International Conference - Portland, Oregon, USA (2014.10.20-2014.10.24)] Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications - OOPSLA '14 - GPS

Turon, Aaron, Vafeiadis, Viktor, Dreyer, Derek

Year:

2014

Language:

english

File:

PDF, 836 KB

english, 2014

71

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - The marriage of bisimulations and Kripke logical relations

Hur, Chung-Kil, Dreyer, Derek, Neis, Georg, Vafeiadis, Viktor

Year:

2012

Language:

english

File:

PDF, 561 KB

english, 2012

72

[ACM Press the 36th ACM SIGPLAN Conference - Portland, OR, USA (2015.06.13-2015.06.17)] Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 - Verifying read-copy-update in a logic for weak memory

Tassarotti, Joseph, Dreyer, Derek, Vafeiadis, Viktor

Year:

2015

Language:

english

File:

PDF, 474 KB

english, 2015

73

CompCertTSO

Ševčík, Jaroslav, Vafeiadis, Viktor, Zappa Nardelli, Francesco, Jagannathan, Suresh, Sewell, Peter

Journal:

Journal of the ACM

Year:

2013

Language:

english

File:

PDF, 1.60 MB

english, 2013

74

Formal Reasoning about the C11 Weak Memory Model

Year:

2015

Language:

english

File:

PDF, 359 KB

english, 2015

75

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - The power of parameterization in coinductive proof

Hur, Chung-Kil, Neis, Georg, Dreyer, Derek, Vafeiadis, Viktor

Year:

2013

Language:

english

File:

PDF, 696 KB

english, 2013

76

Structuring the verification of heap-manipulating programs

Nanevski, Aleksandar, Vafeiadis, Viktor, Berdine, Josh

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 481 KB

english, 2010

77

Natural History of Chronic Hepatitis B Virus Infection in Children of Different Ethnic Origins: A Cohort Study with Up to 12 Yearsʼ Follow-up in Northern Greece

Zacharakis, George, Koskinas, John, Kotsiou, Stamatia, Pouliou, Evaggelia, Papoutselis, Menelaos, Tzara, Fevronia, Vafeiadis, Nikolaos, Maltezos, Eustratios, Archimandritis, Athanasios, Papoutselis, K

Journal:

Journal of Pediatric Gastroenterology & Nutrition

Year:

2007

Language:

english

File:

PDF, 188 KB

english, 2007

78

[ACM Press the 2016 International Symposium - Barcelona, Spain (2016.03.12-2016.03.18)] Proceedings of the 2016 International Symposium on Code Generation and Optimization - CGO 2016 - Validating optimizations of concurrent C/C++ programs

Chakraborty, Soham, Vafeiadis, Viktor

Year:

2016

Language:

english

File:

PDF, 543 KB

english, 2016

79

[IEEE 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) - Heraklion, Crete, Greece (2016.2.17-2016.2.19)] 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) - Reasoning about Fences and Relaxed Atomics

He, Mengda, Vafeiadis, Viktor, Qin, Shengchao, Ferreira, Joao F.

Year:

2016

Language:

english

File:

PDF, 257 KB

english, 2016

80

Impact of prenatal exposure to cadmium on cognitive development at preschool age and the importance of selenium and iodine

Kippler, Maria, Bottai, Matteo, Georgiou, Vaggelis, Koutra, Katerina, Chalkiadaki, Georgia, Kampouri, Mariza, Kyriklaki, Andriani, Vafeiadi, Marina, Fthenou, Eleni, Vassilaki, Maria, Kogevinas, Manoli

Journal:

European Journal of Epidemiology

Year:

2016

Language:

english

File:

PDF, 588 KB

english, 2016

81

Mtac: A monad for typed tactic programming in Coq

ZILIANI, BETA, DREYER, DEREK, KRISHNASWAMI, NEELAKANTAN R., NANEVSKI, ALEKSANDAR, VAFEIADIS, VIKTOR

Journal:

Journal of Functional Programming

Year:

2015

Language:

english

File:

PDF, 1.67 MB

english, 2015

82

SPIE Proceedings [SPIE SPIE Commercial + Scientific Sensing and Imaging - Baltimore, Maryland, United States (Sunday 17 April 2016)] Computational Imaging - Independent component analysis for improving the quality of interferometric products

Mahalanobis, Abhijit, Kubala, Kenneth S., Ashok, Amit, Petruccelli, Jonathan C., Tian, Lei, Saqellari-Likoka, A., Vafeiadi-Billa, E., Karathanassi, V.

Year:

2016

Language:

english

File:

PDF, 841 KB

english, 2016

83

Acute

Sewell, Peter, Leifer, James J., Wansbrough, Keith, Nardelli, Francesco Zappa, Allen-Williams, Mair, Habouzit, Pierre, Vafeiadis, Viktor

Journal:

ACM SIGPLAN Notices

Year:

2005

Language:

english

File:

PDF, 190 KB

english, 2005

84

Relaxed separation logic

Vafeiadis, Viktor, Narayan, Chinmay

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 827 KB

english, 2013

85

Ultralow background periods in CAST Micromegas detectors and tests in the Canfranc Underground Laboratory

Iguaz, F J, Dafni, T, Ferrer-Ribas, E, Galán, J, García, J A, Gardikiotis, A, Giomataris, I, Irastorza, I, Mols, J P, Papaevangelou, T, Rodríguez, A, Tomás, A, Vafeiadis, T, Yildiz, C

Journal:

Journal of Physics Conference Series

Year:

2011

Language:

english

File:

PDF, 3.22 MB

english, 2011

86

Low-background X-ray detection with Micromegas for axion research

García, J A, Dafni, T, Diago, A, Ferrer-Ribas, E, Galán, J, Gardikiotis, A, Giomataris, I, Garza, J G, Iguaz, F J, Irastorza, I G, Ortega, I, Papaevangelou, T, Rodríguez, A, Tomás, A, Vafeiadis, T, Yi

Journal:

Journal of Physics Conference Series

Year:

2013

Language:

english

File:

PDF, 823 KB

english, 2013

87

Mtac

Ziliani, Beta, Dreyer, Derek, Krishnaswami, Neelakantan R., Nanevski, Aleksandar, Vafeiadis, Viktor

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 597 KB

english, 2013

88

The marriage of bisimulations and Kripke logical relations

Hur, Chung-Kil, Dreyer, Derek, Neis, Georg, Vafeiadis, Viktor

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 561 KB

english, 2012

89

Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it

Vafeiadis, Viktor, Balabonski, Thibaut, Chakraborty, Soham, Morisset, Robin, Zappa Nardelli, Francesco

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 979 KB

english, 2015

90

Prenatal exposure to persistent organic pollutants in association with offspring neuropsychological development at 4years of age: The Rhea mother-child cohort, Crete, Greece

Kyriklaki, Andriani, Vafeiadi, Marina, Kampouri, Mariza, Koutra, Katerina, Roumeliotaki, Theano, Chalkiadaki, Georgia, Anousaki, Despoina, Rantakokko, Panu, Kiviranta, Hannu, Fthenou, Eleni, Bitsios,

Journal:

Environment International

Year:

2016

Language:

english

File:

PDF, 814 KB

english, 2016

91

Persistent organic pollutants in early pregnancy and risk of gestational diabetes mellitus

Vafeiadi, Marina, Roumeliotaki, Theano, Chalkiadaki, Georgia, Rantakokko, Panu, Kiviranta, Hannu, Fthenou, Eleni, Kyrtopoulos, Soterios A., Kogevinas, Manolis, Chatzi, Leda

Journal:

Environment International

Year:

2016

Language:

english

File:

PDF, 356 KB

english, 2016

92

Health Expenditure By Disease Age And Gender In Greece

Siskou, O, Schneider, M, Craig, M, Kaitelidou, D, Priftis, C, Kani, C, Litsa, P, Galanis, P, Lemonidou, C, Vafeiadis, J, Liaropoulos, L

Journal:

Value in Health

Year:

2016

Language:

english

File:

PDF, 91 KB

english, 2016

93

[IEEE 2016 IEEE 14th International Conference on Industrial Informatics (INDIN) - Poitiers, France (2016.7.19-2016.7.21)] 2016 IEEE 14th International Conference on Industrial Informatics (INDIN) - Robust malfunction diagnosis in process industry time series

Vafeiadis, T., Krinidis, S., Ziogou, C., Ioannidis, D., Voutetakis, S., Tzovaras, D.

Year:

2016

Language:

english

File:

PDF, 647 KB

english, 2016

94

Adherence to the Mediterranean diet during pregnancy and offspring adiposity and cardiometabolic traits in childhood

Chatzi, L., Rifas-Shiman, S. L., Georgiou, V., Joung, K. E., Koinaki, S., Chalkiadaki, G., Margioris, A., Sarri, K., Vassilaki, M., Vafeiadi, M., Kogevinas, M., Mantzoros, C., Gillman, M. W., Oken, E.

Journal:

Pediatric Obesity

Year:

2017

Language:

english

File:

PDF, 117 KB

english, 2017

95

[ACM Press the 44th ACM SIGPLAN Symposium - Paris, France (2017.01.15-2017.01.21)] Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 - A promising semantics for relaxed-memory concurrency

Kang, Jeehoon, Hur, Chung-Kil, Lahav, Ori, Vafeiadis, Viktor, Dreyer, Derek

Year:

2017

Language:

english

File:

PDF, 368 KB

english, 2017

96

Study of Parental Beliefs and Practices about Childhood Fever in a Multicultural Population of Thrace, Greece

Tsitsani, P, Theodosiou, T, Koukou, T, Papadopoulou, N, Papadopoulou, K, Papalexandri, A, Vafeiadis, K

Journal:

Pediatric Research

Year:

2011

Language:

english

File:

PDF, 14 KB

english, 2011

97

[IEEE 2017 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) - Austin, TX, USA (2017.2.4-2017.2.8)] 2017 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) - Formalizing the concurrency semantics of an LLVM fragment

Chakraborty, Soham, Vafeiadis, Viktor

Year:

2017

Language:

english

File:

PDF, 410 KB

english, 2017

98

[IEEE 2016 24th European Signal Processing Conference (EUSIPCO) - Budapest, Hungary (2016.8.29-2016.9.2)] 2016 24th European Signal Processing Conference (EUSIPCO) - Real-time incident detection: An approach for two interdependent time series

Vafeiadis, T., Ioannidis, D., Krinidis, S., Ziogou, C., Voutetakis, S., Tzovaras, D., Likothanassis, S.

Year:

2016

Language:

english

File:

PDF, 403 KB

english, 2016

99

High maternal vitamin D levels in early pregnancy may protect against behavioral difficulties at preschool age: the Rhea mother–child cohort, Crete, Greece

Daraki, Vasiliki, Roumeliotaki, Theano, Koutra, Katerina, Chalkiadaki, Georgia, Katrinaki, Marianna, Kyriklaki, Andriani, Kampouri, Mariza, Margetaki, Katerina, Vafeiadi, Marina, Papavasiliou, Stathis

Journal:

European Child & Adolescent Psychiatry

Year:

2017

Language:

english

File:

PDF, 898 KB

english, 2017

100

Leptin, acylcarnitine metabolites and development of adiposity in the Rhea mother-child cohort in Crete, Greece

Perng, W., Oken, E., Roumeliotaki, T., Sood, D., Siskos, A. P., Chalkiadaki, G., Dermitzaki, E., Vafeiadi, M., Kyrtopoulos, S., Kogevinas, M., Keun, H. C., Chatzi, L.

Journal:

Obesity Science & Practice

Year:

2016

Language:

english

File:

PDF, 65 KB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски