Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit

Polynomials Engineering & Materials Science
Cryptography Engineering & Materials Science
Millimeter waves Engineering & Materials Science
Communication Engineering & Materials Science
Semantics Engineering & Materials Science
Hardness Engineering & Materials Science
Data structures Engineering & Materials Science
Experiments Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Profiles

No photo of Marsha Berger

Marsha Berger

Person: Tenured/tenure track faculty

19752018
No photo of Richard Bonneau
19992018
No photo of Kyunghyun Cho

Kyunghyun Cho

Person: Tenured/tenure track faculty

20102018

Research Output 1966 2019

Existential monadic second order logic on random rooted trees

Holroyd, A. E., Levy, A., Podder, M. & Spencer, J., Jan 1 2019, In : Discrete Mathematics. 342, 1, p. 152-167 16 p.

Research output: Contribution to journalArticle

Monadic Second-order Logic
Random Trees
Rooted Trees
Coloring
Finiteness

Simple pattern-only heuristics lead to fast subgraph matching strategies on very large networks

Aparo, A., Bonnici, V., Micale, G., Ferro, A., Shasha, D., Pulvirenti, A. & Giugno, R., Jan 1 2019, Practical Applications of Computational Biology and Bioinformatics, 12th International Conference. Rocha, M., Mohamad, M. S., De Paz, J. F., Fdez-Riverola, F. & Gonzalez, P. (eds.). Springer-Verlag, p. 131-138 8 p. (Advances in Intelligent Systems and Computing; vol. 803).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Computational complexity

Abstract Interpretation of Stateful Networks

Alpernas, K., Manevich, R., Panda, A., Sagiv, M., Shenker, S., Shoham, S. & Velner, Y., Jan 1 2018, Static Analysis - 25th International Symposium, SAS 2018, Proceedings. Podelski, A. (ed.). Springer-Verlag, p. 86-106 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11002 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract Interpretation
Scalability
Vertex of a graph
Isolation
Polynomials