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.


No photo of Marsha Berger

Marsha Berger

Person: Tenured/tenure track faculty

No photo of Richard Bonneau
No photo of Kyunghyun Cho

Kyunghyun Cho

Person: Tenured/tenure track faculty


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

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
Vertex of a graph