


Остановите войну!
for scientists:


default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Exact matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 48 matches
- 2023
- Klaus Steiniger
, René Widera, Sergey I. Bastrakov, Michael Bussmann, Sunita Chandrasekaran, Benjamín Hernández, Kristina Holsapple, Axel Huebl, Guido Juckeland, Jeffrey Kelling, Matt Leinhauser, Richard Pausch, David Rogers, Ulrich Schramm, Jeffrey Young, Alexander Debus:
EZ: An efficient, charge conserving current deposition algorithm for electromagnetic particle-in-cell simulations. Comput. Phys. Commun. 291: 108849 (2023) - Matthew Rogers
, Phillip Weigand, Jassim Happa
, Kasper Rasmussen
:
Detecting CAN Attacks on J1939 and NMEA 2000 Networks. IEEE Trans. Dependable Secur. Comput. 20(3): 2406-2420 (2023) - Priya Narayanan, Xin Hu
, Zhenyu Wu
, Matthew D. Thielke, John G. Rogers
, Andre V. Harrison
, John A. D'Agostino, James D. Brown, Long P. Quang, James R. Uplinger
, Heesung Kwon, Zhangyang Wang
:
A Multi-Purpose Realistic Haze Benchmark With Quantifiable Haze Levels and Ground Truth. IEEE Trans. Image Process. 32: 3481-3492 (2023) - Matthew Rogers
, Kasper Rasmussen
:
An Evaluation Framework for Intrusion Prevention Systems on Serial Data Bus Networks. AsiaCCS 2023: 481-493 - Felix Meyer, Benjamín Hernández, Richard Pausch, René Widera, David Groß, Sergei I. Bastrakov, Axel Huebl, Guido Juckeland, Jeffrey Kelling, Matt Leinhauser, David Rogers, Ulrich Schramm, Klaus Steiniger, Stefan Gumhold, Jeff Young, Michael Bussmann, Sunita Chandrasekaran, Alexander Debus:
Hardware-Agnostic Interactive Exascale In Situ Visualization of Particle-In-Cell Simulations. PASC 2023: 9:1-9:14 - 2022
- Matthew Rogers, Kasper Rasmussen:
Silently Disabling ECUs and Enabling Blind Attacks on the CAN Bus. CoRR abs/2201.06362 (2022) - Priya Narayanan, Xin Hu, Zhenyu Wu, Matthew D. Thielke, John G. Rogers, Andre V. Harrison, John A. D'Agostino, James D. Brown, Long P. Quang, James R. Uplinger
, Heesung Kwon, Zhangyang Wang:
A Multi-purpose Real Haze Benchmark with Quantifiable Haze Levels and Ground Truth. CoRR abs/2206.06427 (2022) - J. H. McLean, Matthew R. Jones, Brandon J. O'Connell, Andrew Eoghan Maguire, Timothy J. Rogers:
Physically Meaningful Uncertainty Quantification in Probabilistic Wind Turbine Power Curve Models as a Damage Sensitive Feature. CoRR abs/2209.15579 (2022) - 2021
- Josh Vincent Vermaas
, Ada Sedova
, Matthew B. Baker
, Swen Boehm
, David M. Rogers
, Jeff Larkin
, Jens Glaser
, Micholas Dean Smith
, Oscar R. Hernandez, Jeremy C. Smith
:
Supercomputing Pipelines Search for Therapeutics Against COVID-19. Comput. Sci. Eng. 23(1): 7-16 (2021) - Jens Glaser
, Josh Vincent Vermaas
, David M. Rogers
, Jeff Larkin, Scott LeGrand, Swen Boehm, Matthew B. Baker, Aaron Scheinberg, Andreas F. Tillack, Mathialakan Thavappiragasam, Ada Sedova, Oscar R. Hernandez:
High-throughput virtual laboratory for drug discovery using massive datasets. Int. J. High Perform. Comput. Appl. 35(5) (2021) - Tsung Tai Yeh, Matthew D. Sinclair, Bradford M. Beckmann, Timothy G. Rogers
:
Deadline-Aware Offloading for High-Throughput Accelerators. HPCA 2021: 479-492 - 2020
- Hank Childs, Sean Ahern, James P. Ahrens, Andrew C. Bauer, Janine Bennett, E. Wes Bethel, Peer-Timo Bremer, Eric Brugger, Joseph Cottam, Matthieu Dorier, Soumya Dutta
, Jean M. Favre, Thomas Fogal, Steffen Frey
, Christoph Garth, Berk Geveci, William F. Godoy
, Charles D. Hansen, Cyrus Harrison, Bernd Hentschel, Joseph A. Insley, Christopher R. Johnson, Scott Klasky, Aaron Knoll, James Kress, Matthew Larsen, Jay F. Lofstead, Kwan-Liu Ma, Preeti Malakar, Jeremy S. Meredith
, Kenneth Moreland, Paul A. Navrátil, Patrick O'Leary, Manish Parashar, Valerio Pascucci, John Patchett, Tom Peterka, Steve Petruzza, Norbert Podhorszki, David Pugmire, Michel E. Rasquin
, Silvio Rizzi, David H. Rogers, Sudhanshu Sane
, Franz Sauer, Robert Sisneros, Han-Wei Shen, Will Usher, Rhonda Vickery, Venkatram Vishwanath, Ingo Wald, Ruonan Wang, Gunther H. Weber
, Brad Whitlock, Matthew Wolf, Hongfeng Yu, Sean B. Ziegeler:
A terminology for in situ visualization and analysis systems. Int. J. High Perform. Comput. Appl. 34(6) (2020) - Atanu Acharya
, Rupesh Agarwal
, Matthew B. Baker, Jérôme Baudry
, Debsindhu Bhowmik
, Swen Böhm, Kendall G. Byler, Sam Yen-Chi Chen, Leighton Coates
, Connor J. Cooper
, Omar Demerdash, Isabella Daidone
, John D. Eblen, Sally R. Ellingson, Stefano Forli
, Jens Glaser
, James C. Gumbart
, John Gunnels, Oscar R. Hernandez, Stephan Irle
, Daniel W. Kneller
, Andrey Kovalevsky
, Jeffrey M. Larkin, Travis J. Lawrence, Scott LeGrand, Shih-Hsien Liu
, Julie C. Mitchell, Gilchan Park, Jerry M. Parks
, Anna Pavlova, Loukas Petridis
, Duncan Poole, Line Pouchard, Arvind Ramanathan, David M. Rogers
, Diogo Santos-Martins, Aaron Scheinberg, Ada Sedova
, Yue Shen, Jeremy C. Smith
, Micholas Dean Smith
, Carlos Soto, Aristides Tsaris, Mathialakan Thavappiragasam, Andreas F. Tillack, Josh Vincent Vermaas
, Van Quan Vuong
, Junqi Yin, Shinjae Yoo
, Mai Zahran, Laura Zanetti Polzi
:
Supercomputer-Based Ensemble Docking Drug Discovery Pipeline with Application to Covid-19. J. Chem. Inf. Model. 60(12): 5832-5852 (2020) - Ernest Turro
, William J. Astle
, Karyn Megy, Stefan Gräf, Daniel Greene, Olga Shamardina, Hana Lango Allen, Alba Sanchis-Juan, Mattia Frontini, Chantal Thys, Jonathan Stephens, Rutendo Mapeta, Oliver S. Burren
, Kate Downes, Matthias Haimel
, Salih Tuna, Sri V. V. Deevi, Timothy J. Aitman, David L. Bennett, Paul Calleja, Keren Carss, Mark J. Caulfield, Patrick F. Chinnery
, Peter H. Dixon, Daniel P. Gale, Roger James
, Ania Koziell, Michael A. Laffan, Adam P. Levine
, Eamonn R. Maher, Hugh S. Markus, Joannella Morales
, Nicholas W. Morrell
, Andrew D. Mumford, Elizabeth Ormondroyd, Stuart Rankin, Augusto Rendon, Sylvia Richardson, Irene Roberts, Noemi B. A. Roy, Moin A. Saleem, Kenneth G. C. Smith, Hannah Stark, Rhea Y. Y. Tan, Andreas C. Themistocleous
, Adrian J. Thrasher, Hugh Watkins, Andrew R. Webster, Martin R. Wilkins
, Catherine Williamson, James Whitworth, Sean Humphray, David R. Bentley, Stephen Abbs, Lara Abulhoul, Julian Adlard, Munaza Ahmed, Hana Alachkar, David J. Allsup, Jeff Almeida-King, Philip Ancliff, Richard Antrobus, Ruth Armstrong, Gavin Arno, Sofie Ashford, Anthony Attwood, Paul Aurora, Christian Babbs, Chiara Bacchelli, Tamam Bakchoul, Siddharth Banka, Tadbir Bariana, Julian Barwell, Joana Batista, Helen E. Baxendale, Phil L. Beales, Agnieszka Bierzynska, Tina Biss, Maria A. K. Bitner-Glindzicz, Graeme C. M. Black
, Marta Bleda, Iulia Blesneac, Detlef Bockenhauer, Harm Bogaard, Christian J. Bourne, Sara Boyce, John R. Bradley
, Eugene Bragin, Gerome Breen, Paul Brennan, Carole Brewer, Matthew Brown, Andrew C. Browning, Michael J. Browning, Rachel J. Buchan
, Matthew S. Buckland, Teofila Bueser, Carmen Bugarin Diz, John Burn, Siobhan O. Burns, Nigel Burrows, Carolyn Campbell, Gerald Carr-White, Ruth Casey, Jenny Chambers, John Chambers, Melanie M. Y. Chan, Calvin Cheah, Floria Cheng, Manali Chitre, Martin T. Christian, Colin Church, Jill Clayton-Smith, Maureen Cleary, Naomi Clements Brod, Gerry Coghlan, Elizabeth Colby, Trevor R. P. Cole, Janine Collins, Peter W. Collins, Camilla Colombo, Cecilia J. Compton, Robin Condliffe, Stuart A. Cook, H. Terence Cook, Nichola Cooper, Paul A. Corris, Abigail Furnell, Fiona Cunningham, Nicola S. Curry, Antony J. Cutler, Matthew J. Daniels, Mehul Dattani, Louise C. Daugherty, John Davis, Anthony De Soyza, Timothy Dent, Charu Deshpande, Eleanor F. Dewhurst, Sofia Douzgou, Anna M. Drazyk, Elizabeth Drewe, Daniel Duarte, Tina Dutt, J. David M. Edgar, Karen Edwards, William Egner, Melanie N. Ekani, Perry Elliott
, Wendy N. Erber, Marie Erwood, Maria C. Estiu, Dafydd Gareth Evans
, Gillian Evans, Tamara Everington, Mélanie Eyries, Hiva Fassihi, Remi Favier, Jack Findhammer, Debra Fletcher, Frances A. Flinter, R. Andres Floto, Tom Fowler, James Fox, Amy J. Frary, Courtney E. French, Kathleen Freson
, Henning Gall, Vijeya Ganesan, Michael Gattens, Claire Geoghegan, Terence S. A. Gerighty, Ali G. Gharavi, Stefano Ghio, Hossein-Ardeschir Ghofrani, J. Simon R. Gibbs, Kate Gibson, Kimberly C. Gilmour, Barbara Girerd, Nicholas S. Gleadall, Sarah Goddard, David B. Goldstein, Keith Gomez, Pavels Gordins, David Gosal, Jodie Graham, Luigi Grassi, Lynn Greenhalgh, Andreas Greinacher, Paolo Gresele, Philip Griffiths, Sofia Grigoriadou, Russell J. Grocock, Detelina Grozeva, Mark Gurnell, Scott Hackett, Charaka Hadinnapola, William M. Hague, Rosie Hague, Matthew Hall, Helen L. Hanson, Eshika Haque, Kirsty Harkness, Andrew R. Harper, Claire L. Harris, Daniel Hart, Ahamad Hassan, Grant Hayman, Alex Henderson, Archana Herwadkar, Jonathan Hoffman, Simon Holden, Rita Horvath
, Henry Houlden, Arjan C. Houweling, Luke S. G. E. Howard, Fengyuan Hu, Gavin Hudson, Joseph Hughes, Aarnoud P. Huissoon, Marc Humbert, Sarah Hunter, Matthew E. Hurles, Melita Irving, Louise Izatt, Sally A. Johnson, Stephen Jolles, Jennifer Jolley, Dragana Josifova, Neringa Jurkute, Tim Karten, Johannes Karten, Mary A. Kasanicki, Hanadi Kazkaz, Rashid Kazmi, Peter Kelleher, Anne M. Kelly, Wilf Kelsall, Carly Kempster, David G. Kiely, Nathalie Kingston, Robert Klima, Nils Koelling
, Myrto Kostadima, Gabor Kovacs, Roman Kreuzhuber, Taco W. Kuijpers, Ajith Kumar, Dinakantha Kumararatne, Manju A. Kurian, Fiona Lalloo, Michele Lambert, Allan Lawrie, D. Mark Layton, Nick Lench, Claire Lentaigne, Tracy Lester, Rachel Linger, Hilary Longhurst, Lorena E. Lorenzo, Eleni Louka, Paul A. Lyons, Rajiv D. Machado, Robert V. MacKenzie Ross, Bella Madan, Jesmeen Maimaris, Samantha Malka, Sarah Mangles, Kevin J. Marchbank, Stephen Marks, Hanns-Ulrich Marschall
, Andrew G. Marshall
, Jennifer Martin, Mary Mathias, Emma Matthews, Heather Maxwell, Paul McAlinden, Mark I. McCarthy, Harriet McKinney, Aoife McMahon
, Stuart Meacham, Adam J. Mead, Ignacio Medina Castello, Sarju G. Mehta, Michel Michaelides, Carolyn Millar, Shehla N. Mohammed, Shahin Moledina, David Montani, Anthony T. Moore, Monika Mozere, Keith W. Muir, Andrea H. Nemeth, William G. Newman, Michael Newnham, Sadia Noorani, Paquita Nurden, Jennifer O'Sullivan, Samya Obaji, Chris Odhams, Steven Okoli, Andrea Olschewski
, Horst Olschewski, Kai Ren Ong, S. Helen Oram, Willem H. Ouwehand
, Claire Palles, Sofia Papadia, Soo-Mi Park, David Parry, Smita Patel, Joan Paterson, Andrew Peacock, Simon H. Pearce, John Peden, Kathelijne Peerlinck, Christopher J. Penkett, Joanna Pepke-Zaba, Romina Petersen, Clarissa Pilkington, Kenneth E. S. Poole, Radhika Prathalingam, Bethan Psaila, Angela Pyle, Richard Quinton, Shamima Rahman, Anupama Rao, F. Lucy Raymond, Paula J. Rayner-Matthews, Christine Rees, Tara Renton, Christopher J. Rhodes, Andrew S. C. Rice, Alex Richter, Leema Robert, Anthony Rogers, Sarah J. Rose, Robert Ross-Russell, Catherine Roughley, Deborah M. Ruddy, Omid Sadeghi-Alavijeh, Nilesh J. Samani, Crina Samarghitean, Ravishankar B. Sargur, Robert N. Sarkany, Simon Satchell, Sinisa Savic, John A. Sayer, Genevieve Sayer, Laura Scelsi, Andrew M. Schaefer, Sol Schulman, Richard Scott, Marie Scully, Claire Searle, Werner Seeger, Arjune Sen, W. A. Carrock Sewell, Denis Seyres, Neil Shah, Susan E. Shapiro, Adam C. Shaw, Patrick J. Short, Keith Sibson, Lucy Side, Ilenia Simeoni, Michael A. Simpson, Matthew C. Sims, Suthesh Sivapalaratnam, Damian Smedley, Katherine R. Smith, Katie Snape, Nicole Soranzo
, Florent Soubrier, Laura Southgate, Olivera Spasic-Boskovic, Simon Staines, Emily Staples, Charles A. Steward
, Kathleen E. Stirrups, Alex Stuckey, Jay Suntharalingam, Emilia M. Swietlik, Petros Syrris, R. Campbell Tait, Kate Talks, Katie Tate, John M. Taylor, Jenny C. Taylor
, James E. Thaventhiran, Ellen Thomas, David Thomas, Moira J. Thomas, Patrick Thomas, Kate Thomson, Glen Threadgold, Tobias Tilly, Marc Tischkowitz, Catherine Titterton, John A. Todd
, Cheng-Hock Toh, Bas Tolhuis, Ian P. Tomlinson, Mark Toshner, Matthew Traylor, Carmen Treacy, Paul Treadaway, Richard Trembath, Wojciech Turek, Philip Twiss, Tom Vale, Chris Van Geet, Natalie van Zuydam, Maarten Vandekuilen, Anthony M. Vandersteen, Marta Vazquez-Lopez, Julie von Ziegenweidt, Anton Vonk-Noordegraaf, Annette Wagner, Quinten Waisfisz, Suellen M. Walker, Neil Walker
, Klaudia Walter, James S. Ware
, Christopher Watt, Lucy Wedderburn, Wei Wei, Steven B. Welch, Julie Wessels, Sarah K. Westbury, John-Paul Westwood, John Wharton, Deborah Whitehorn, Andrew O. M. Wilkie, Brian T. Wilson, Edwin K. S. Wong, Nicholas W. Wood
, Yvette Wood, Christopher Geoffrey Woods, Emma R. Woodward, Stephen J. Wort, Austen Worth, Michael Wright, Katherine Yates, Patrick F. K. Yong, Timothy Young, Ping Yu, Patrick Yu-Wai-Man, Eliska Zlamalova:
Whole-genome sequencing of patients with rare diseases in a national health system. Nat. 583(7814): 96-102 (2020) - Siddharth R. Krishnan, Hany M. Arafa
, Kyeongha Kwon
, Yujun Deng, Chun-Ju Su, Jonathan T. Reeder
, Juliet Freudman
, Izabela Stankiewicz
, Hsuan-Ming Chen, Robert Loza, Marcus Mims, Mitchell Mims, Kunhyuck Lee, Zachary Abecassis, Aaron Banks, Diana Ostojich, Manish Patel
, Heling Wang, Kaan Börekçi, Joshua Rosenow, Matthew Tate, Yonggang Huang
, Tord Alden, Matthew B. Potts, Amit B. Ayer
, John A. Rogers:
Continuous, noninvasive wireless monitoring of flow of cerebrospinal fluid through shunts in patients with hydrocephalus. npj Digit. Medicine 3 (2020) - Sanjeev Kumar
, John L. Buckley
, John Barton
, Melusine Pigeon, Robert Newberry
, Matthew Rodencal, Adhurim Hajzeraj, Tim Hannon, Ken Rogers, Declan Casey, Donal O'Sullivan, Brendan O'Flynn
:
A Wristwatch-Based Wireless Sensor Platform for IoT Health Monitoring Applications. Sensors 20(6): 1675 (2020) - 2019
- Carrie C. Moore, Oliver Jawitz, Mary B. Aschenbrenner, Carlos Ramirez, Matthew Small, Robert Overton, Tony Leiro, Ursula A. Rogers, Johanna O'Dell, Joseph Kelly, Mihai V. Podgoreanu, Ben Bryner, Erich S. Huang:
Large-scale Database Integration and Analytical Evaluation of Medical Data: Building a Clinical Repository for Extracorporeal Membrane Oxygenation Therapy in Critically Ill Patients. AMIA 2019 - 2018
- Stephen P. Lee, Grace Ha, Don E. Wright, Yinji Ma, Ellora Sen-Gupta, Natalie R. Haubrich, Paul C. Branche, Weihua Li, Gilbert L. Huppert, Matthew Johnson, Hakan B. Mutlu, Kan Li, Nirav Sheth, John A. Wright, Yonggang Huang, Moussa Mansour, John A. Rogers, Roozbeh Ghaffari:
Highly flexible, wearable, and disposable cardiac biosensors for remote and ambulatory monitoring. npj Digit. Medicine 1 (2018) - Yuhao Liu, Limei Tian
, Milan S. Raj, Matthew Cotton, Yinji Ma, Siyi Ma, Bryan McGrane, Arjun V. Pendharkar, Nader Dahaleh, Lloyd Olson, Haiwen Luan, Orin Block, Brandon Suleski, Yadong Zhou
, Chandrasekaran Jayaraman, Tyler Koski, A. J. Aranyosi
, John A. Wright, Arun Jayaraman, Yonggang Huang, Roozbeh Ghaffari, Michel Kliot, John A. Rogers:
Intraoperative monitoring of neuromuscular function with soft, skin-mounted wireless devices. npj Digit. Medicine 1 (2018) - Ursula A. Rogers, Shelley A. Rusincovitch, Matthew Phelan, Nigel B. Neely, Benjamin Alan Goldstein:
Lessons Learned from an EHR-Based Population Health Datamart: Southeastern Diabetes Initiative (SEDI). AMIA 2018 - Anthony Gutierrez
, Bradford M. Beckmann, Alexandru Dutu, Joseph Gross, Michael LeBeane, John Kalamatianos, Onur Kayiran, Matthew Poremba, Brandon Potter, Sooraj Puthoor, Matthew D. Sinclair, Mark Wyse
, Jieming Yin, Xianwei Zhang, Akshay Jain, Timothy G. Rogers
:
Lost in Abstraction: Pitfalls of Analyzing GPUs at the Intermediate Language Level. HPCA 2018: 608-619 - Sudharshan S. Vazhkudai, Bronis R. de Supinski, Arthur S. Bland, Al Geist, James C. Sexton, Jim Kahle, Christopher Zimmer, Scott Atchley, Sarp Oral, Don E. Maxwell, Verónica G. Vergara Larrea, Adam Bertsch, Robin Goldstone, Wayne Joubert, Chris Chambreau, David Appelhans, Robert Blackmore, Ben Casses, George Chochia, Gene Davison, Matthew A. Ezell, Tom Gooding, Elsa Gonsiorowski, Leopold Grinberg, Bill Hanson, Bill Hartner, Ian Karlin, Matthew L. Leininger, Dustin Leverman, Chris Marroquin, Adam Moody, Martin Ohmacht, Ramesh Pankajakshan, Fernando Pizzano, James H. Rogers, Bryan S. Rosenburg, Drew Schmidt, Mallikarjun Shankar, Feiyi Wang, Py Watson, Bob Walkup, Lance D. Weems, Junqi Yin:
The design, deployment, and evaluation of the CORAL pre-exascale systems. SC 2018: 52:1-52:12 - Derek L. Morris III, Matthew D. Hill, Lilshay M. Rogers, Alma D. Salisbury, Hagen C. Hodgkins, Sincere J. Ponton, Linda B. Hayden, Jeffrey A. Wood:
Establishing Paradigms for Modifying and Developing the Workforce Development Section of the Science Gateways Community Institute Site. PEARC 2018: 67:1-67:4 - 2017
- Susan Fitzmaurice, Marc Alexander, Justyna Robinson, Michael Pidd, Iona Hine, Seth Mehl, Fraser Dallachy, Matthew Groves, Kathryn Rogers, Brian Aitken:
The Seven Words of the Virgin: Identifying change in the discourse context of the concept of virginity in Early Modern English. DH 2017 - 2016
- Richard Beare
, Jian Chen
, Claire E. Kelly
, Dimitrios Alexopoulos, Christopher D. Smyser, Cynthia E. Rogers
, Wai Yen Loh, Lillian G. Matthews
, Jeanie L. Y. Cheong
, Alicia J. Spittle
, Peter J. Anderson
, Lex W. Doyle
, Terrie E. Inder, Marc L. Seal
, Deanne K. Thompson
:
Neonatal Brain Tissue Classification with Morphological Adaptation and Unified Segmentation. Frontiers Neuroinformatics 10: 12 (2016) - Susan Fitzmaurice, Marc Alexander, Michael Pidd, Justyna Robinson, Fraser Dallachy, Iona Hine, Seth Mehl, Brian Aitken, Matthew Groves, Katherine Rogers:
Linguistic DNA: Modelling Concepts and Semantic Change in English, 1500-1800. DH 2016: 792-793 - Manchun Zheng, John G. Edenhofner, Ziqing Luo, Mitchell J. Gerrard, Michael S. Rogers, Matthew B. Dwyer, Stephen F. Siegel:
CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution). TACAS 2016: 908-911 - Matthew O. Jackson, Brian W. Rogers, Yves Zenou:
Networks: An Economic Perspective. CoRR abs/1608.07901 (2016) - 2015
- Xinxia Peng
, Jean Thierry-Mieg
, Danielle Thierry-Mieg
, Andrew Nishida, Lenore Pipes, Marjan Bozinoski, Matthew J. Thomas, Sara Kelly, Jeffrey M. Weiss, Muthuswamy Raveendran, Donna M. Muzny, Richard A. Gibbs, Jeffrey Rogers, Gary P. Schroth, Michael G. Katze, Christopher E. Mason:
Tissue-specific transcriptome sequencing analysis expands the non-human primate reference transcriptome resource (NHPRTR). Nucleic Acids Res. 43(Database-Issue): 737-742 (2015) - Manchun Zheng, Michael S. Rogers, Ziqing Luo, Matthew B. Dwyer
, Stephen F. Siegel:
CIVL: Formal Verification of Parallel Programs. ASE 2015: 830-835
skipping 18 more matches
loading more results
failed to load more results, please try again later

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2023-10-03 08:44 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint