Symbolic model checking of software product lines
Classen, Andreas, Heymans, Patrick, Schobbens, Pierre-Yves, Legay, Axel
Published in 2011 33rd International Conference on Software Engineering (ICSE) (21.05.2011)
Published in 2011 33rd International Conference on Software Engineering (ICSE) (21.05.2011)
Get full text
Conference Proceeding
Insect Infestations Linked to Shifts in Microclimate: Important Climate Change Implications
Classen, A. T., Hart, S. C., Whitman, T. G., Cobb, N. S., Koch, G. W.
Published in Soil Science Society of America journal (01.01.2006)
Published in Soil Science Society of America journal (01.01.2006)
Get full text
Journal Article
Responses of tundra plant community carbon flux to experimental warming, dominant species removal and elevation
Sundqvist, Maja K., Sanders, Nathan J., Dorrepaal, Ellen, Lindén, Elin, Metcalfe, Daniel B., Newman, Gregory S., Olofsson, Johan, Wardle, David A., Classen, Aimée T., Niu, Shuli
Published in Functional ecology (01.07.2020)
Published in Functional ecology (01.07.2020)
Get full text
Journal Article
Posterior Lateral Arthrodesis as a Treatment Option for Lumbar Spinal Stenosis: Safety and Early Clinical Outcomes
Shah, Anuj, Hagedorn, Jonathan M, Latif, Usman, Bailey-Classen, Ashley, Azeem, Nomen, Beall, Douglas P, Mehta, Pankaj, Stephens, Chad, Khoo, Larry, Deer, Timothy Ray
Published in Journal of pain research (01.01.2024)
Published in Journal of pain research (01.01.2024)
Get full text
Journal Article
CO 2 snow jet cleaning as a roll-to-roll compatible method for deburring IMI substrates after laser patterning
Wagner, M, Distler, A, Schmidt, H-D, Classen, A, Stubhan, T, Koegl, M, Illg, J, Brabec, C J, Egelhaaf, H-J
Published in Flexible and printed electronics (01.03.2023)
Published in Flexible and printed electronics (01.03.2023)
Get full text
Journal Article
Informed Consent for Spine Procedures: Best Practice Guideline from the American Society of Pain and Neuroscience (ASPN)
Deer, Timothy, Patel, Ankur A, Sayed, Dawood, Bailey-Classen, Ashley, Comer, Ashley, Gill, Benjamin, Patel, Kiran, Abd-Elsayed, Alaa, Strand, Natalie, Hagedorn, Jonathan M, Hussaini, Zohra, Khatri, Nasir, Budwany, Ryan, Murphy, Melissa, Nguyen, Dan, Orhurhu, Vwaire, Rabii, Morteza, Beall, Douglas, Hochschuler, Stephen, Schatman, Michael E, Lubenow, Timothy, Guyer, Richard, Raslan, Ahmed M
Published in Journal of pain research (31.10.2023)
Published in Journal of pain research (31.10.2023)
Get full text
Journal Article
The influence of impurities on limiter tokamak plasmas and relevant mechanisms
Tokar, M Z, Baelmans, T, Philipps, V, Reiter, D, Samm, U, Unterberg, B, Classen, H A, Gerhauser, H, Hey, J D, Huber, A, Mertens, P, Lie, Y T, Ongena, J, Pospieszczyk, A, Putz, T, Rapp, J, Rusbuld, D, Schorn, R P, Schweer, B
Published in Plasma physics and controlled fusion (01.11.1995)
Published in Plasma physics and controlled fusion (01.11.1995)
Get full text
Journal Article
Climate and multiple dimensions of plant diversity regulate ecosystem carbon exchange along an elevational gradient
Prager, Case M., Jing, Xin, Henning, Jeremiah A., Read, Quentin D., Meidl, Peter, Lavorel, Sandra, Sanders, Nathan J., Sundqvist, Maja, Wardle, David A., Classen, Aimee T.
Published in Ecosphere (Washington, D.C) (01.04.2021)
Published in Ecosphere (Washington, D.C) (01.04.2021)
Get full text
Journal Article
Simulation-based abstractions for software product-line model checking
Cordy, M., Classen, A., Perrouin, G., Schobbens, P., Heymans, P., Legay, A.
Published in 2012 34th International Conference on Software Engineering (ICSE) (01.06.2012)
Published in 2012 34th International Conference on Software Engineering (ICSE) (01.06.2012)
Get full text
Conference Proceeding
Intrathecal Drug Delivery for Treatment of Chronic Low Back Pain: Report from the National Outcomes Registry for Low Back Pain
Deer, Timothy, Chapple, Iva, Classen, Ashley, Javery, Keith, Stoker, Valerie, Tonder, Lisa, Burchiel, Kim
Published in Pain medicine (Malden, Mass.) (01.03.2004)
Published in Pain medicine (Malden, Mass.) (01.03.2004)
Get full text
Journal Article
The anatomy and treatment of camptodactyly of the small finger
McFarlane, R M, Classen, D A, Porte, A M, Botz, J S
Published in The Journal of hand surgery (American ed.) (01.01.1992)
Published in The Journal of hand surgery (American ed.) (01.01.1992)
Get more information
Journal Article
Comparing intra- and inter-specific effects on litter decomposition in an old-field ecosystem
Crutsinger, Gregory M., Sanders, Nathan J., Classen, Aimée T.
Published in Basic and applied ecology (01.09.2009)
Published in Basic and applied ecology (01.09.2009)
Get full text
Journal Article