Asc-Seurat: analytical single-cell Seurat-based web application
Pereira, W J, Almeida, F M, Conde, D, Balmant, K M, Triozzi, P M, Schmidt, H W, Dervinis, C, Pappas, Jr, G J, Kirst, M
Published in BMC bioinformatics (18.11.2021)
Published in BMC bioinformatics (18.11.2021)
Get full text
Journal Article
Graph-theoretic connectivity control of mobile robot networks
Zavlanos, Michael M., Egerstedt, Magnus B., Pappas, George J.
Published in Proceedings of the IEEE (01.09.2011)
Published in Proceedings of the IEEE (01.09.2011)
Get full text
Journal Article
Minimal Actuator Placement With Bounds on Control Effort
Tzoumas, V., Rahimian, M. A., Pappas, G. J., Jadbabaie, A.
Published in IEEE transactions on control of network systems (01.03.2016)
Published in IEEE transactions on control of network systems (01.03.2016)
Get full text
Journal Article
Flocking in Fixed and Switching Networks
Tanner, H.G., Jadbabaie, A., Pappas, G.J.
Published in IEEE transactions on automatic control (01.05.2007)
Published in IEEE transactions on automatic control (01.05.2007)
Get full text
Journal Article
Characterization of Aspergillus flavus strains from Brazilian Brazil nuts and cashew by RAPD and ribosomal DNA analysis
Midorikawa, G.E.O, Pinheiro, M.R.R, Vidigal, B.S, Arruda, M.C, Costa, F.F, Pappas Jr, G.J, Ribeiro, S.G, Freire, F, Miller, R.N.G
Published in Letters in applied microbiology (01.07.2008)
Published in Letters in applied microbiology (01.07.2008)
Get full text
Journal Article
Identification and Expression Profile of Two Putative Odorant-Binding Proteins from the Neotropical Brown Stink Bug, Euschistus heros (Fabricius) (Hemiptera: Pentatomidae)
Farias, L R, Paula, D P, Zhou, J J, Liu, R, Pappas, G J, Jr, Moraes, M C B, Laumann, R A, Borges, M, Birkett, M A, Pickett, J A, Field, L M, Báo, S N
Published in Neotropical entomology (01.04.2014)
Published in Neotropical entomology (01.04.2014)
Get full text
Journal Article
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees
Hasanbeig, M., Kantaros, Y., Abate, A., Kroening, D., Pappas, G. J., Lee, I.
Published in 2019 IEEE 58th Conference on Decision and Control (CDC) (01.12.2019)
Published in 2019 IEEE 58th Conference on Decision and Control (CDC) (01.12.2019)
Get full text
Conference Proceeding
Identification of genes encoding hypothetical proteins in open-reading frame expressed sequence tags from mammalian stages of Trypanosoma cruzi
Martins, C, Reis-Cunha, J L, Silva, M N, Pereira, E G, Pappas, Jr, G J, Bartholomeu, D C, Zingales, B
Published in Genetics and molecular research (2011)
Published in Genetics and molecular research (2011)
Get full text
Journal Article
Sensor placement for optimal Kalman filtering: Fundamental limits, submodularity, and algorithms
Tzoumas, V., Jadbabaie, A., Pappas, G. J.
Published in 2016 American Control Conference (ACC) (01.07.2016)
Published in 2016 American Control Conference (ACC) (01.07.2016)
Get full text
Conference Proceeding
Journal Article
Conflict resolution for air traffic management: a study in multiagent hybrid systems
Tomlin, C., Pappas, G.J., Sastry, S.
Published in IEEE transactions on automatic control (01.04.1998)
Published in IEEE transactions on automatic control (01.04.1998)
Get full text
Journal Article
A molecular and clinical study of Larsen syndrome caused by mutations in FLNB
Bicknell, Louise S, Farrington-Rock, Claire, Shafeghati, Yousef, Rump, Patrick, Alanay, Yasemin, Alembik, Yves, Al-Madani, Navid, Firth, Helen, Karimi-Nejad, Mohammad Hassan, Kim, Chong Ae, Leask, Kathryn, Maisenbacher, Melissa, Moran, Ellen, Pappas, John G, Prontera, Paolo, de Ravel, Thomy, Fryns, Jean-Pierre, Sweeney, Elizabeth, Fryer, Alan, Unger, Sheila, Wilson, L C, Lachman, Ralph S, Rimoin, David L, Cohn, Daniel H, Krakow, Deborah, Robertson, Stephen P
Published in Journal of medical genetics (01.02.2007)
Published in Journal of medical genetics (01.02.2007)
Get full text
Journal Article
Discrete abstractions of hybrid systems
Alur, R., Henzinger, T.A., Lafferriere, G., Pappas, G.J.
Published in Proceedings of the IEEE (01.07.2000)
Published in Proceedings of the IEEE (01.07.2000)
Get full text
Journal Article
Optimal paths in weighted timed automata
Alur, Rajeev, La Torre, Salvatore, Pappas, George J.
Published in Theoretical computer science (08.06.2004)
Published in Theoretical computer science (08.06.2004)
Get full text
Journal Article
High-confidence medical device software and systems
Lee, I., Pappas, G.J., Cleaveland, R., Hatcliff, J., Krogh, B.H., Lee, P., Rubin, H., Sha, L.
Published in Computer (Long Beach, Calif.) (01.04.2006)
Published in Computer (Long Beach, Calif.) (01.04.2006)
Get full text
Journal Article
Hierarchically consistent control systems
Pappas, G.J., Lafferriere, G., Sastry, S.
Published in IEEE transactions on automatic control (01.06.2000)
Published in IEEE transactions on automatic control (01.06.2000)
Get full text
Journal Article