The Lean Theorem Prover (System Description) von de Moura, Leonardo, Kong, Soonho, Avigad, Jeremy, van Doorn, Floris, von Raumer, Jakob

Volltext

Quantomatic: A Proof Assistant for Diagrammatic Reasoning von Kissinger, Aleks, Zamdzhiev, Vladimir

Volltext

Full Study Report of Andexanet Alfa for Bleeding Associated with Factor Xa Inhibitors von Connolly, Stuart J, Crowther, Mark, Eikelboom, John W, Gibson, C. Michael, Curnutte, John T, Lawrence, John H, Yue, Patrick, Bronson, Michele D, Lu, Genmin, Conley, Pamela B, Verhamme, Peter, Schmidt, Jeannot, Middeldorp, Saskia, Cohen, Alexander T, Beyer-Westendorf, Jan, Albaladejo, Pierre, Lopez-Sendon, Jose, Demchuk, Andrew M, Pallin, Daniel J, Concha, Mauricio, Goodman, Shelly, Leeds, Janet, Souza, Sonia, Siegal, Deborah M, Zotova, Elena, Meeks, Brandi, Ahmad, Sadia, Nakamya, Juliet, Milling, Truman J

Volltext

Termination Competition (termCOMP 2015) von Giesl, Jürgen, Mesnard, Frédéric, Rubio, Albert, Thiemann, René, Waldmann, Johannes

Volltext

Andexanet Alfa for Acute Major Bleeding Associated with Factor Xa Inhibitors von Connolly, Stuart J, Milling, Truman J, Eikelboom, John W, Gibson, C. Michael, Curnutte, John T, Gold, Alex, Bronson, Michele D, Lu, Genmin, Conley, Pamela B, Verhamme, Peter, Schmidt, Jeannot, Middeldorp, Saskia, Cohen, Alexander T, Beyer-Westendorf, Jan, Albaladejo, Pierre, Lopez-Sendon, Jose, Goodman, Shelly, Leeds, Janet, Wiens, Brian L, Siegal, Deborah M, Zotova, Elena, Meeks, Brandi, Nakamya, Juliet, Lim, W. Ting, Crowther, Mark

Volltext

CTL Model Checking in Deduction Modulo von Ji, Kailiang

Volltext

KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems von Fulton, Nathan, Mitsch, Stefan, Quesel, Jan-David, Völp, Marcus, Platzer, André

Volltext

Identification of common genetic risk variants for autism spectrum disorder von Grove, Jakob, Ripke, Stephan, Als, Thomas D., Mattheisen, Manuel, Walters, Raymond K., Won, Hyejung, Pallesen, Jonatan, Agerbo, Esben, Andreassen, Ole A., Anney, Richard, Awashti, Swapnil, Belliveau, Rich, Bettella, Francesco, Buxbaum, Joseph D., Bybjerg-Grauholm, Jonas, Bækvad-Hansen, Marie, Cerrato, Felecia, Chambert, Kimberly, Christensen, Jane H., Churchhouse, Claire, Dellenvall, Karin, Demontis, Ditte, De Rubeis, Silvia, Devlin, Bernie, Djurovic, Srdjan, Dumont, Ashley L., Goldstein, Jacqueline I., Hansen, Christine S., Hauberg, Mads Engel, Hollegaard, Mads V., Hope, Sigrun, Howrigan, Daniel P., Huang, Hailiang, Hultman, Christina M., Klei, Lambertus, Maller, Julian, Martin, Joanna, Martin, Alicia R., Moran, Jennifer L., Nyegaard, Mette, Nærland, Terje, Palmer, Duncan S., Palotie, Aarno, Pedersen, Carsten Bøcker, Pedersen, Marianne Giørtz, dPoterba, Timothy, Poulsen, Jesper Buchhave, Pourcain, Beate St, Qvist, Per, Rehnström, Karola, Reichenberg, Abraham, Reichert, Jennifer, Robinson, Elise B., Roeder, Kathryn, Roussos, Panos, Saemundsen, Evald, Sandin, Sven, Satterstrom, F. Kyle, Davey Smith, George, Stefansson, Hreinn, Steinberg, Stacy, Stevens, Christine R., Sullivan, Patrick F., Turley, Patrick, Walters, G. Bragi, Xu, Xinyi, Stefansson, Kari, Geschwind, Daniel H., Nordentoft, Merete, Hougaard, David M., Werge, Thomas, Mors, Ole, Mortensen, Preben Bo, Neale, Benjamin M., Daly, Mark J., Børglum, Anders D.

Volltext

Quantifier-Free Equational Logic and Prime Implicate Generation von Echenim, Mnacho, Peltier, Nicolas, Tourret, Sophie

Volltext

Expressing Symmetry Breaking in DRAT Proofs von Heule, Marijn J. H., Hunt, Warren A., Wetzler, Nathan

Volltext

KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS von Din, Crystal Chang, Bubel, Richard, Hähnle, Reiner

Volltext

Theorem Proving with Bounded Rigid E-Unification von Backeman, Peter, Rümmer, Philipp

Volltext

Program Synthesis Using Dual Interpretation von Tiwari, Ashish, Gascón, Adrià, Dutertre, Bruno

Volltext

SEPIA: Search for Proofs Using Inferred Automata von Gransden, Thomas, Walkinshaw, Neil, Raman, Rajeev

Volltext

Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent von Sakai, Masahiko, Oyamaguchi, Michio, Ogawa, Mizuhito

Volltext

Increased frequency of 20q gain and copy-neutral loss of heterozygosity in mismatch repair proficient familial colorectal carcinomas von Middeldorp, A., van Eijk, R., Oosting, J., Forte, G.I., van Puijenbroek, M., van Nieuwenhuizen, M., Corver, W.E., Ruano, D., Caldes, T., Wijnen, J., Morreau, H., van Wezel, T.

Volltext

Fondaparinux for the Treatment of Superficial-Vein Thrombosis in the Legs von Decousus, Hervé, Prandoni, Paolo, Mismetti, Patrick, Bauersachs, Rupert M, Boda, Zoltán, Brenner, Benjamin, Laporte, Silvy, Matyas, Lajos, Middeldorp, Saskia, Sokurenko, German, Leizorovicz, Alain

Volltext

Enoxaparin for the prevention of preeclampsia and intrauterine growth restriction in women with a history: a randomized trial von Groom, Katie M., MBBS, PhD, FRANZCOG, CMFM, McCowan, Lesley M., MB ChB, MD, FRANZCOG, CMFM, Mackay, Laura K., BSc, Lee, Arier C., PhD, Said, Joanne M., MBBS, PhD, FRANZCOG, CMFM, Kane, Stefan C., MBBS, FRANZCOG, Walker, Susan P., MBBS, MD, FRANZCOG, CMFM, van Mens, Thijs E., MD, MBA, Hannan, Natalie J., PhD, Tong, Stephen, MBBS, PhD, FRANZCOG, Chamley, Larry W., PhD, Stone, Peter R., MB ChB, MD, FRANZCOG, CMFM, McLintock, Claire, MB ChB, FRACP

Volltext

Dissecting the Shared Genetic Architecture of Suicide Attempt, Psychiatric Disorders, and Known Risk Factors von Mullins, Niamh, Campos, Adrian I., Shabalin, Andrey, Hafferty, Jonathan D., Okazaki, Satoshi, Bohus, Martin, Johnson, Craig, Li, Dong, Magistretti, Pierre J., Van der Auwera, Sandra, Byrne, Enda M., Casas, Miguel, Jonsson, Lina, O’Donovan, Michael C., Pato, Carlos, Ramos-Quiroga, Josep Antoni, Sánchez-Mora, Cristina, Smeland, Olav B., Shannon Weickert, Cynthia, Hauser, Elizabeth R., Andlauer, Till F.M., Colodro-Conde, Lucía, Craddock, Nick, Derks, Eske M., Escott-Price, Valentina, Gordon, Scott D., Wu, Yang, Xi, Hualin S., Esko, Tõnu, Kohane, Isaac S., McGrath, Patrick, McGuffin, Peter, Middeldorp, Christel M., Milaneschi, Yuri, Nauck, Matthias, Nyholt, Dale R., Nöthen, Markus M., Pedersen, Nancy L., Pedersen, Carsten Bøcker, Steinberg, Stacy, Potash, James B., Schaefer, Catherine, Smoller, Jordan W., Völzke, Henry, Drange, Ole Kristian, Ikeda, Masashi, Panagiotaropoulou, Georgia, Sloofman, Laura G., Casas, Miquel, Ferrier, I. Nicol, Guzman-Parra, José, Kogevinas, Manolis, Lee, Phil H., Magnusson, Sigurdur H., Mühleisen, Thomas W., Sirignano, Lea, Adolfsson, Rolf, Alda, Martin, Catts, Stanley, Corvin, Aiden, Craddock, Nicholas, Fullerton, Janice M., Iwata, Nakao, Mayoral, Fermin, Mowry, Bryan, McQuillin, Andrew, Bulik, Cynthia M., Courtet, Philippe, Dina, Christian, Fichter, Manfred M., Föcker, Manuel, Hinney, Anke, Hübel, Christopher, Purves, Kirstin L., Rujescu, Dan, Scherer, Stephen W., Slagboom, P. Eline, Steen, Vidar W., Karhunen, Leila, Kennedy, Martin A., Tsitsika, Artemis, Yao, Shuyang, Schwarze, Cornelia E., Bohus, Martin, Crivelli, Silvia, Muralidhar, Sumitra, Huang, Grant, Moser, Jennifer, Brewer, Jessica V., Connor, Todd, Humphries, Donald E., Hauser, Elizabeth, Whittle, Jeffrey, Hammer, Kimberly, Godschalk, Michael, Sriram, Peruvemba, Liangpunsakul, Suthat, Wallbom, Agnes, Esko, Tõnu, Martin, Nicholas G.

Volltext

Playing with AVATAR von Reger, Giles, Suda, Martin, Voronkov, Andrei

Volltext