Authors: Hannes Saffrich, Peter Thiemann
Superior Title: Logical Methods in Computer Science, Vol Volume 18, Issue 3 (2022)
Subject Terms: computer science - programming languages, d.1.3, d.3.1, f.3.2, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
File Description: electronic resource
Authors: Rodrigo Guzman Iturra, Peter Thiemann
Superior Title: Electronics, Vol 12, Iss 6, p 1382 (2023)
Subject Terms: synchronous machines, sensorless control, variable speed drives, space vector pulse width, system simulation, Electronics, TK7800-8360
File Description: electronic resource
Authors: Rodrigo Guzman Iturra, Peter Thiemann
Superior Title: Energies, Vol 13, Iss 1, p 141 (2019)
Subject Terms: active filter, active damping, converter circuit, efficiency, harmonics, multilevel converters, power quality, silicon carbide (sic), voltage source converter, wide bandgap devices, Technology
File Description: electronic resource
Authors: Emma Russell, BA, Alison M. Treichel, MD, Kord Honda, MD, Peter Rady, MD, PhD, Stephen Tyring, MD, PhD, Kevin Cooper, MD, Bethany R. Rohr, MD, Timmie R. Sharma, MD
Superior Title: JAAD Case Reports, Vol 35, Iss , Pp 25-27 (2023)
Subject Terms: foreign body, human papilloma virus, immunocompromised district, shrapnel, verruca plana, warts, Dermatology, RL1-803
Relation: http://www.sciencedirect.com/science/article/pii/S2352512623000838; https://doaj.org/toc/2352-5126; https://doaj.org/article/222a3f63016145fb8a4a3fecd949d214
Authors: Angela Yen Moore, MD, Stephen A. Moore, Qin He, MD, Peter Rady, MD, PhD, Stephen K. Tyring, MD, PhD, MBA
Superior Title: JAAD Case Reports, Vol 22, Iss , Pp 58-59 (2022)
Subject Terms: Dermatology, RL1-803
Relation: http://www.sciencedirect.com/science/article/pii/S2352512622000613; https://doaj.org/toc/2352-5126; https://doaj.org/article/c65c34eb28b0469e8c05c41ebe7d963f
Authors: Rayan Saade, Saleh Najjar, Mustafa Erdem Arslan, Peter Rady, Stephen K. Tyring, Tipu Nazeer
Superior Title: Dermatopathology; Volume 8; Issue 2; Pages: 190-201
Subject Terms: Merkel cell carcinoma, CLL/SLL, Merkel cell polyomavirus, concurrent tumorigenesis
File Description: application/pdf
Relation: Molecular Dermatopathology; https://dx.doi.org/10.3390/dermatopathology8020025
Availability: https://doi.org/10.3390/dermatopathology8020025
Authors: Preeya Bhavsar‐Bhakta, Mugahed Hamza, Sepideh Mehravaran, Bhuvaneswari Krishnan, Qin He, Steven Tyring, Peter Rady, Gustavo Rivero, Daniel N. Cohen, Iberia Romina Sosa
Superior Title: eJHaem, Vol 2, Iss 2, Pp 228-235 (2021)
Subject Terms: chronic lymphocytic leukemia (CLL), cutaneous squamous cell carcinoma, human papilloma virus (HPV), Diseases of the blood and blood-forming organs, RC633-647.5
Relation: https://doi.org/10.1002/jha2.181; https://doaj.org/toc/2688-6146; https://doaj.org/article/15c09e124ffe44769689ab0425052653
Authors: Kevin Kwan, BA, Samantha Sears, MD, Jeffrey Callen, MD, Peter Rady, MD, Stephen Tyring, MD, PhD, MBA, Soon Bahrami, MD, Meagan Huelsman, MD, Janine Malone, MD
Superior Title: JAAD Case Reports, Vol 7, Iss , Pp 103-106 (2021)
Subject Terms: HPyV6, HPyV7, human polyomavirus, immunosuppression, keratotic papules, PDD, Dermatology, RL1-803
Relation: http://www.sciencedirect.com/science/article/pii/S2352512620308109; https://doaj.org/toc/2352-5126; https://doaj.org/article/a712d93aa9e74ed084ec5f1bcadfefc7
Authors: Massimo Bartoletti, Castellani Ilaria, Pierre Malo Denielou, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Vieira Hugo Torres, DEZANI, Mariangiola
Contributors: Massimo Bartoletti, Castellani Ilaria, Pierre-Malo Denielou, Dezani Mariangiola, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Vieira Hugo Torres
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000365453100004; volume:84; firstpage:763; lastpage:780; numberofpages:18; journal:THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING; http://hdl.handle.net/2318/1569401; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84997755144; http://dx.doi.org/10.1016/j.jlamp.2015.09.003
Authors: Min Chen, Charles D. Hansen, Penny Rheingans, Gerik Scheuermann, Jakob Rehof, Moshe Y. Vardi, Roberto Giacobazzi, Axel Simon, Sarah Zennou, Harald Gall, Tim Menzies, Laurie Williams, Thomas Zimmermann, Fritz Henglein, Ranjit Jhala, Shriram Krishnamurthi, Peter Thiemann
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://drops.dagstuhl.de/opus/volltexte/dagrep-complete/2014/dagrep-v004-i006-complete.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.775; http://drops.dagstuhl.de/opus/volltexte/dagrep-complete/2014/dagrep-v004-i006-complete.pdf
Availability: http://drops.dagstuhl.de/opus/volltexte/dagrep-complete/2014/dagrep-v004-i006-complete.pdf
Authors: Pooja Kadam, Janne Rand, Peter Rady, Stephen Tyring, Jan Stehlik, Monica Sedivcova, Dmitry V. Kazakov, Kathy Ray, Jerome Hill, Richard Agag, J. Andrew Carlson
Superior Title: Dermatopathology, Vol 1, Iss 2, Pp 55-69 (2014)
Subject Terms: Epidermal nevus, Human papillomavirus, Lymphedema, Elephantiasis, Blaschko’s lines, GATA2, GJC2, HRAS, KRAS, Congenital lymphedema, Dermatology, RL1-803
Relation: http://www.karger.com/Article/FullText/367967; https://doaj.org/toc/2296-3529; https://doaj.org/article/f1ad9f648dc14c7695e6531fb83c2aa4
Authors: Matthias Keil, Peter Thiemann
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: ERATING SYSTEMS, Security and Protection—Access controls General Terms Design, Languages, Security, Verification Keywords Access Permission Contracts, JavaScript, Proxies
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.678.5715; http://www2.informatik.uni-freiburg.de/%7Ekeilr/papers/techrep2013-proxy.pdf
Authors: Tejas Patel, L. Katie Morrison, Peter Rady, Stephen Tyring
Superior Title: Disease Markers, Vol 29, Iss 3-4, Pp 199-206 (2010)
Subject Terms: Medicine (General), R5-920
Relation: http://dx.doi.org/10.3233/DMA-2010-0733; https://doaj.org/toc/0278-0240; https://doaj.org/toc/1875-8630; https://doaj.org/article/2503167b2d3e43b387b37db84cabc9e6
Authors: Annette Bieniusa, Arie Middelkoop, Peter Thiemann
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://proglang.informatik.uni-freiburg.de/projects/syncstm/techreport2010twilight.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.626.6057; http://proglang.informatik.uni-freiburg.de/projects/syncstm/techreport2010twilight.pdf
Availability: http://proglang.informatik.uni-freiburg.de/projects/syncstm/techreport2010twilight.pdf
Authors: Peter Thiemann, Martin Sulzmann
Contributors: The Pennsylvania State University CiteSeerX Archives
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.542.4644; http://proglang.informatik.uni-freiburg.de/projects/polyspec/polyspec.pdf
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://cs.au.dk/~amoeller/papers/lazy/paper.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.486.180; http://cs.au.dk/~amoeller/papers/lazy/paper.pdf
Availability: http://cs.au.dk/~amoeller/papers/lazy/paper.pdf
Authors: Phillip Heidegger, Peter Thiemann
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://proglang.informatik.uni-freiburg.de/JavaScript/recency.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.301.970; http://proglang.informatik.uni-freiburg.de/JavaScript/recency.pdf
Authors: Markus Degen, Peter Thiemann, Stefan Wehr
Contributors: The Pennsylvania State University CiteSeerX Archives
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.595.3143; http://www.informatik.uni-freiburg.de/~wehr/publications/Degen_True_lies.pdf
Authors: Stefan Wehr, Peter Thiemann
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.informatik.uni-freiburg.de/~wehr/publications/Wehr_On_the_decidability_of_subtyping_with_bounded_existential_types.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.568.5092; http://www.informatik.uni-freiburg.de/~wehr/publications/Wehr_On_the_decidability_of_subtyping_with_bounded_existential_types.pdf
Authors: Phillip Heidegger, Peter Thiemann
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.cs.cmu.edu/~aldrich/FOOL09/heidegger.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.566.7219; http://www.cs.cmu.edu/~aldrich/FOOL09/heidegger.pdf
Availability: http://www.cs.cmu.edu/~aldrich/FOOL09/heidegger.pdf