Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas von Danicic, Sebastian, Fox, Chris, Harman, Mark, Hierons, Rob, Howroyd, John, Laurence, Michael R

Volltext

On the computational complexity of dynamic slicing problems for program schemas von DANICIC, SEBASTIAN, HIERONS, ROBERT. M., LAURENCE, MICHAEL R.

Volltext

On Completeness of Omega-Regular Algebras von Laurence, Michael R., Struth, Georg

Volltext

Omega Algebras and Regular Equations von Laurence, Michael R., Struth, Georg

Volltext

Completeness Theorems for Pomset Languages and Concurrent Kleene Algebras von Laurence, Michael R, Struth, Georg

Volltext bestellen

Characterizing Minimal Semantics-preserving Slices of predicate-linear, Free, Liberal Program Schemas von Danicic, Sebastian, Hierons, Robert M, Laurence, Michael R

Volltext bestellen

On the computational complexity of dynamic slicing problems for program schemas von Danicic, Sebastian, Hierons, Robert M, Laurence, Michael R

Volltext bestellen

Characterizing minimal semantics-preserving slices of function-linear, free, liberal program schemas von Laurence, Michael R.

Volltext

The Integrator complex controls the termination of transcription at diverse classes of gene targets von Skaar, Jeffrey R, Ferris, Andrea L, Wu, Xiaolin, Saraf, Anita, Khanna, Kum Kum, Florens, Laurence, Washburn, Michael P, Hughes, Stephen H, Pagano, Michele

Volltext

Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas von Danicic, Sebastian, Hierons, Robert M., Laurence, Michael R.

Volltext

Complexity of Data Dependence problems for Program Schemas with Concurrency von Danicic, Sebastian, Hierons, Robert M, Laurence, Michael R

Volltext bestellen

Complexity of Data Dependence problems for Program Schemas with Concurrency von Danicic, Sebastian, Hierons, Robert M, Laurence, Michael R

Volltext

50 Years of Integer Programming 1958-2008: From the Early Years to the State-of-the-Art von Jünger, Michael, Liebling, Thomas M, Naddef, Denis, Nemhauser, George L, Pulleyblank, William R

Volltext

A simplification of the untiming procedure for timed automata von Laurence, M.R., Spathopoulos, M.P.

Volltext

The impact of visually simulated self-motion on predicting object motion-A registered report protocol von Jörges, Björn, Harris, Laurence R

Volltext

Cancer Surveillance in Gorlin Syndrome and Rhabdoid Tumor Predisposition Syndrome von Foulkes, William D, Kamihara, Junne, Evans, D Gareth R, Brugières, Laurence, Bourdeaut, Franck, Molenaar, Jan J, Walsh, Michael F, Brodeur, Garrett M, Diller, Lisa

Volltext

Increased risk of incident chronic medical conditions in infertile men: analysis of United States claims data von Eisenberg, Michael L., M.D, Li, Shufeng, M.S, Cullen, Mark R., M.D, Baker, Laurence C., Ph.D

Volltext

Ancient and modern genomes reveal microsatellites maintain a dynamic equilibrium through deep time von McComish, Bennet J, Charleston, Michael A, Parks, Matthew, Baroni, Carlo, Salvatore, Maria Cristina, Li, Ruiqiang, Zhang, Guojie, Millar, Craig D, Holland, Barbara R, Lambert, David M

Volltext

Convergent evolution of escape from hepaciviral antagonism in primates von Patel, Maulik R, Loo, Yueh-Ming, Horner, Stacy M, Gale, Jr, Michael, Malik, Harmit S

Volltext

Phase 1 studies of central memory–derived CD19 CAR T–cell therapy following autologous HSCT in patients with B-cell NHL von Wang, Xiuli, Popplewell, Leslie L., Wagner, Jamie R., Naranjo, Araceli, Blanchard, M.Suzette, Mott, Michelle R., Norris, Adam P., Wong, ChingLam W., Urak, Ryan Z., Chang, Wen-Chung, Khaled, Samer K., Siddiqi, Tanya, Budde, Lihua E., Xu, Jingying, Chang, Brenda, Gidwaney, Nikita, Thomas, Sandra H., Cooper, Laurence J.N., Riddell, Stanley R., Brown, Christine E., Jensen, Michael C., Forman, Stephen J.

Volltext