المؤلفون: Alshmrany, K, Bhayat, A, Brauße, F, Cordeiro, L, Korovin, K, Melham, T, Mustafa, M, Olivier, P, Reger, G, Shmarov, F

Relation: https://ora.ox.ac.uk/objects/uuid:48d6474b-79fd-44f8-9b84-5b54d8109488; https://doi.org/10.1109/SecDev53368.2022.00020

الاتاحة: https://doi.org/10.1109/SecDev53368.2022.00020
https://ora.ox.ac.uk/objects/uuid:48d6474b-79fd-44f8-9b84-5b54d8109488

المؤلفون: Bartocci, E., Falcone, Y., Bonakdarpour, B., Colombo, C., Decker, N., Havelund, K., Joshi, Y., Klaedtke, F., Milewicz, R., Reger, G., Rosu, G., Signoles, J., Thoma, D., Zalinescu, E., Zhang, Y.

المساهمون: Vienna University of Technology = Technische Universität Wien (TU Wien), Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 ), University of Illinois at Urbana-Champaign Urbana (UIUC), University of Illinois System, McMaster University Hamilton, Ontario, University of Malta Malta, Lübeck University of Applied Sciences, Jet Propulsion Laboratory (JPL), NASA-California Institute of Technology (CALTECH), University of Waterloo Waterloo, NEC Europe Ltd., Network Laboratories, NEC Corporation, University of Alabama at Birmingham Birmingham (UAB), University of Manchester Manchester, Département Ingénierie Logiciels et Systèmes (DILS (CEA, LIST)), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology Zürich (ETH Zürich)

المصدر: ISSN: 1433-2779.

مصطلحات موضوعية: Verification, Benchmarking, C (programming language), Competition, Computer software, Monitoring, Partial discharges, C programs, International competitions, Java program, Off-line monitoring, Online monitoring, Participating teams, Run-time verification, Toronto, Canada, [INFO]Computer Science [cs]

الاتاحة: https://cea.hal.science/cea-01845191
https://cea.hal.science/cea-01845191v1/document
https://cea.hal.science/cea-01845191v1/file/10.1007%252Fs10009-017-0454-5.pdf
https://doi.org/10.1007/s10009-017-0454-5

المؤلفون: Rizzo, A., Pair, J., Graap, K., Rothbaum, B. O., Difede, J., Reger, G., Parsons, T., Mclay, R. N., Perlman, K.

المساهمون: Cunningham, Steve, Skala, Václav

مصطلحات موضوعية: virtuální realita, virtuální prostředí, expoziční terapie, posttraumatická stresová porucha, virtual reality, virtual environments, exposure therapy, post traumatic stress disorder

وصف الملف: 1 s., 1 video; application/pdf

Relation: WSCG '2008: Full Papers; WSCG '2008: Full Papers: The 16-th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in co-operation with EUROGRAPHICS, University of West Bohemia Plzen, Czech Republic, February 4 - 7, 2008, p. i.; http://wscg.zcu.cz/wscg2008/Papers_2008/full/!_WSCG2008_Full_final.zip; http://hdl.handle.net/11025/10940

الاتاحة: http://hdl.handle.net/11025/10940
http://wscg.zcu.cz/wscg2008/Papers_2008/full/!_WSCG2008_Full_final.zip

المؤلفون: Ahrendt, Wolfgang, 1967, Huisman, Marieke, Reger, G., Rozier, Kristin Yvonne

المصدر: 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, Limassol, Cyprus Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 11245 LNCS:3-7

URL الوصول: https://research.chalmers.se/publication/507144

المؤلفون: Gold, J., Reger, G., Rizzo, A., Buckwalter, G., Kim, S., Joseph, M.

المصدر: The Journal of Pain ; volume 6, issue 3, page S57 ; ISSN 1526-5900

الاتاحة: http://dx.doi.org/10.1016/j.jpain.2005.01.224
https://api.elsevier.com/content/article/PII:S1526590005002403?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S1526590005002403?httpAccept=text/plain

المؤلفون: Reger, G., Suda, M., Voronkov, Andrei, 1959

المصدر: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10375 LNCS:152-161

URL الوصول: https://research.chalmers.se/publication/252199
http://dx.doi.org/10.1007/978-3-319-61467-0_10

المؤلفون: Bourassa, K. J., Smolenski, D. J., Edwards-Stewart, A., Campbell, S. B., Reger, G. M., Norr, A. M.

المصدر: J Affect Disord

مصطلحات موضوعية: Article, psy, socio

Relation: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7570950/

الاتاحة: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7570950/

المؤلفون: Kotelnikov, Evgenii, 1990, Kovacs, Laura, 1980, Reger, G., Voronkov, Andrei, 1959

المصدر: :37-48

مصطلحات موضوعية: program analysis, program verification, automated theorem proving, TPTP, Vampire, first-order logic

URL الوصول: https://research.chalmers.se/publication/234413

المؤلفون: Hoder, Kryštof, Reger, G., Suda, M., Voronkov, Andrei, 1959

المصدر: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9706:313-329

URL الوصول: https://research.chalmers.se/publication/241560
http://dx.doi.org/10.1007/978-3-319-40229-1_22

المؤلفون: Reger, G., Suda, M., Voronkov, Andrei, 1959

المصدر: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9710:323-341

URL الوصول: https://research.chalmers.se/publication/246036
http://dx.doi.org/10.1007/978-3-319-40970-2_20

المؤلفون: Reger, G., Falcone, Y., Havelund, K.

المصدر: Reger , G , Falcone , Y & Havelund , K 2013 , A Tutorial on Runtime Verification . in Summer School Marktoberdorf 2012 - Engineering Dependable Software Systems . vol. 34 , IOS Press , NATO Science for Peace and Security Series - D: Information and Communication Security .

وصف الملف: application/pdf

الاتاحة: https://research.manchester.ac.uk/en/publications/d2f15e14-7ff8-410c-b86a-66b4044dd431
https://pure.manchester.ac.uk/ws/files/33443611/FULL_TEXT.PDF

المؤلفون: Rizzo, A.A., Reger, G., Perlman, K., Rothbaum, B., Difede, J., McLay, R., Graap, K., Gahm, G., Johnson, S., Deal, R., Pair, J., Parsons, T.D., Roy, M., Shilling, R., Sharkey, P.M.

Relation: Rizzo, A.A., Reger, G., Perlman, K., Rothbaum, B., Difede, J., McLay, R., Graap, K., Gahm, G., Johnson, S., Deal, R., Pair, J., Parsons, T.D., Roy, M., Shilling, R. and Sharkey, P.M. (2008) Virtual reality Post Traumatic Stress Disorder (PTSD) exposure therapy results with active duty Iraq war combatants. In: 7th International Conference on Disability, Virtual Reality and Associated Technologies with ArtAbilitation 2008, Maia & Porto, Portugal.

الاتاحة: https://centaur.reading.ac.uk/14836/

المؤلفون: Schultz, C., Nolting, M., Dautzenberg, K., Miller-Seitz, G., Reger, G.

المصدر: 2007 IEEE International Conference on Industrial Engineering and Engineering Management ; volume 14, page 1733-1737

الاتاحة: http://dx.doi.org/10.1109/ieem.2007.4419489
http://xplorestaging.ieee.org/ielx5/4419130/4419131/04419489.pdf?arnumber=4419489

المؤلفون: Pair, J., Allen, B., Dautricourt, M., Treskunov, A., Liewer, M., Graap, K., Reger, G.

المصدر: IEEE Virtual Reality Conference (VR 2006) ; page 67-72

الاتاحة: http://dx.doi.org/10.1109/vr.2006.23
http://xplorestaging.ieee.org/ielx5/11055/34910/01667628.pdf?arnumber=1667628

المؤلفون: Reger, G., Suda, M., Voronkov, Andrei, 1959

المصدر: CEUR Workshop Proceedings. 1889

URL الوصول: https://research.chalmers.se/publication/252763

المؤلفون: Reger, G., Zafrane-Bravo, C.-E.

المصدر: IEEE International Engineering Management Conference ; volume 1, page 178-183

الاتاحة: http://dx.doi.org/10.1109/iemc.2002.1038403
http://xplorestaging.ieee.org/ielx5/8054/22257/01038403.pdf?arnumber=1038403

المؤلفون: Reger, G.

المصدر: PICMET '01. Portland International Conference on Management of Engineering and Technology. Proceedings Vol.1: Book of Summaries (IEEE Cat. No.01CH37199) ; page 797-809

الاتاحة: http://dx.doi.org/10.1109/picmet.2001.952427
http://xplorestaging.ieee.org/ielx5/7553/20586/00952427.pdf?arnumber=952427

المؤلفون: Reger, G., Edler, J., Meyer-Krahmer, F.

المصدر: Proceedings of the 2000 IEEE Engineering Management Society. EMS - 2000 (Cat. No.00CH37139) ; page 202-207

الاتاحة: http://dx.doi.org/10.1109/ems.2000.872501
http://xplorestaging.ieee.org/ielx5/7004/18885/00872501.pdf?arnumber=872501

المؤلفون: Rizzo, A., Reger, G., Perlman, K., Rothbaum, B., Difede, J., McLay, R., Graap, K., Gahm, G., Johnson, S., Deal, R., Pair, J., Parsons, T., Roy, M., Shilling, R., Sharkey, Paul M.

Relation: Rizzo, A., Reger, G., Perlman, K., Rothbaum, B., Difede, J., McLay, R., Graap, K., Gahm, G., Johnson, S., Deal, R., Pair, J., Parsons, T., Roy, M., Shilling, R. and Sharkey, P. M. (2011) Virtual reality Post Traumatic Stress Disorder (PTSD) exposure therapy results with active duty OIF/OEF service members. International Journal on Disability and Human Development, 10 (4). pp. 301-308. ISSN 2191-0367 doi: https://doi.org/10.1515/IJDHD.2011.060

الاتاحة: https://centaur.reading.ac.uk/26518/
http://www.degruyter.com/view/j/ijdhd.2011.10.issue-4/issue-files/ijdhd.2011.10.issue-4.xml

المؤلفون: Rizzo, A., Lange, B., Buckwalter, J. G., Forbell, E., Kim, J., Sagae, K., Williams, J., Difede, J., Rothbaum, B. O., Reger, G., Parsons, T., Kenny, P.

المساهمون: NATIONAL CENTER FOR TELEHEALTH AND TECHNOLOGY TACOMA WA

المصدر: DTIC

مصطلحات موضوعية: Psychology, Cybernetics, CLINICAL PSYCHOLOGY, COMPUTERIZED SIMULATION, MENTAL HEALTH, VIRTUAL REALITY, MEDICAL SERVICES, CLINICAL MEDICINE, SYMPOSIA, ARTIFICIAL INTELLIGENCE, INTELLIGENT VIRTUAL HUMANS, SIMCOACH PROJECT

وصف الملف: text/html

Relation: http://www.dtic.mil/docs/citations/ADA541005

الاتاحة: http://www.dtic.mil/docs/citations/ADA541005
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA541005