Smart simulation using collaborative formal and simulation engines
Pei-Hsin Ho, Shiple, T., Harer, K., Kukula, J., Damiano, R., Bertacco, V., Taylor, J., Jiang Long
Published in Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (2000)
Published in Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (2000)
Get full text
Conference Proceeding
Journal Article
Learning from constraints for formal property checking
In-Ho Moon, Harer, K.
Published in 2009 IEEE International High Level Design Validation and Test Workshop (01.11.2009)
Published in 2009 IEEE International High Level Design Validation and Test Workshop (01.11.2009)
Get full text
Conference Proceeding
Formal methods for coverage analysis of architectural power states in power-managed designs
Hazra, A., Dasgupta, P., Banerjee, A., Harer, K.
Published in 17th Asia and South Pacific Design Automation Conference (01.01.2012)
Published in 17th Asia and South Pacific Design Automation Conference (01.01.2012)
Get full text
Conference Proceeding
A robust solution to the timing convergence problem in high-performance design
Shenoy, N., Iyer, M., Damiano, R., Harer, K., Hi-Keung Ma, Thilking, P.
Published in Proceedings 1999 IEEE International Conference on Computer Design: VLSI in Computers and Processors (Cat. No.99CB37040) (1999)
Published in Proceedings 1999 IEEE International Conference on Computer Design: VLSI in Computers and Processors (Cat. No.99CB37040) (1999)
Get full text
Conference Proceeding
Supporting sequential assumptions in hybrid verification
Cerny, E., Dsouza, A., Harer, K., Pei-Hsin Ho, Ma, T.
Published in Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005 (2005)
Published in Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005 (2005)
Get full text
Conference Proceeding
Understanding the TeV $\gamma$-ray emission surrounding the young massive star cluster Westerlund 1
Härer, Lucia K, Reville, Brian, Hinton, Jim, Mohrmann, Lars, Vieu, Thibault
Year of Publication 25.01.2023
Year of Publication 25.01.2023
Get full text
Journal Article
Stellar wind variability in Cygnus X-1 from high-resolution excess variance spectroscopy with Chandra
Härer, Lucia K, Parker, Michael L, Ileyk El Mellah, Grinberg, Victoria, Ballhausen, Ralf, Igo, Zsofi, Joyce, Amy, Wilms, Jörn
Published in arXiv.org (21.09.2023)
Published in arXiv.org (21.09.2023)
Get full text
Paper
Journal Article
A deep spectromorphological study of the $\gamma$-ray emission surrounding the young massive stellar cluster Westerlund 1
Aharonian, F, Backes, M, Martins, V. Barbosa, Becherini, Y, Berge, D, Bradascio, F, Brose, R, Brun, F, Bulik, T, Cangemi, F, Caroff, S, Casanova, S, Chand, T, Chandra, S, Chibueze, O, Mbarubucyeye, J. Damascene, Feijen, K, Gabici, S, Gallant, Y. A, Ghafourizadeh, S, Giavitto, G, Giunti, L, Glawion, D, Goswami, P, Grondin, M. -H, Härer, L. K, Haupt, M, Hofmann, W, Holler, M, Horns, D, Jamrozy, M, Joshi, V, Jung-Richardt, I, Katarzyński, K, Khélifi, B, Kosack, K, Kostunin, D, Mezek, G. Kukec, Lang, R. G, Stum, S. Le, Lemière, A, Lemoine-Goumard, M, Lenain, J. -P, Leuschner, F, Lohse, T, Mackey, J, Majumdar, J, Malyshev, D, Marandon, V, Marcowith, A, Marx, R, Maurin, G, Mitchell, A, Mohrmann, L, Montanari, A, Moulin, E, Muller, J, Nakashima, K, de Naurois, M, Nayerhoda, A, Olivera-Nieto, L, Ostrowski, M, Panter, M, Parsons, R. D, Peron, G, Prokhorov, D. A, Pühlhofer, G, Punch, M, Quirrenbach, A, Rauth, R, Rieger, F, Rowell, G, Rudak, B, Sahakian, V, Salzmann, H, Sanchez, D. A, Sasaki, M, Schüssler, F, Schutte, H. M, Schwanke, U, Stawarz, Ł, Sushch, I, Tanaka, T, Tsuji, N, van Soelen, B, Veh, J, Vink, J, Wagner, S. J, White, R, Wierzcholska, A, Zacharias, M, Zargaryan, D, Zdziarski, A. A, Zhu, S. J, Żywucka, N, Blackwell, R, Braiding, C, Burton, M, Cubuk, K, Tothill, N
Year of Publication 22.07.2022
Year of Publication 22.07.2022
Get full text
Journal Article
A deep spectromorphological study of the \(\gamma\)-ray emission surrounding the young massive stellar cluster Westerlund 1
Aharonian, F, Ashkar, H, Backes, M, V Barbosa Martins, Becherini, Y, B Bi, M de Bony de Lavergne, Bradascio, F, Brose, R, Brun, F, Cangemi, F, Caroff, S, Casanova, S, Cerruti, M, Chibueze, O, Cristofari, P, Mbarubucyeye, J Damascene, Djannati-Ataï, A, J -P Ernenwein, Feijen, K, G Fichet de Clairfontaine, Fontaine, G, Funk, S, Gabici, S, Gallant, Y A, Giavitto, G, Giunti, L, Glawion, D, Glicenstein, J F, Goswami, P, M -H Grondin, Haupt, M, Hinton, J A, Hörbe, M, Holler, M, Horns, D, Jamrozy, M, Joshi, V, Kasai, E, Katarzyński, K, Khélifi, B, Kluźniak, W, Komin, Nu, Kosack, K, Kostunin, D, Mezek, G Kukec, Lang, R G, Leuschner, F, Mackey, J, Majumdar, J, Malyshev, D, Maurin, G, Montanari, A, Murach, T, Nakashima, K, Nayerhoda, A, Ohm, S, Olivera-Nieto, L, Ostrowski, M, Panny, S, Parsons, R D, Peron, G, Prokhorov, D A, Pühlhofer, G, Rauth, R, Reichherzer, P, Reimer, A, Reville, B, Rieger, F, Rudak, B, Ruiz-Velasco, E, Salzmann, H, Sanchez, D A, Santangelo, A, Schüssler, F, Schutte, H M, Schwanke, U, Shapopi, J N S, Spencer, S, \L Stawarz, Steenkamp, R, Sushch, I, Terrier, R, Thorpe-Morgan, C, Tsirou, M, Tsuji, N, Unbehaun, T, C van Eldik, Veh, J, Venter, C, Vink, J, Wagner, S J, White, R, Wierzcholska, A, Wong, Yu Wun, Zacharias, M, Zargaryan, D, Zdziarski, A A, the H E S S Collaboration, Cubuk, K
Published in arXiv.org (10.11.2022)
Published in arXiv.org (10.11.2022)
Get full text
Paper