BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Antti Kuusisto
SearchCollections
Map detail
Antti Kuusisto19 visible / 19 total nodes / 49 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipAuthorshipAuthorshipAuthorshipAuthorshipWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalAuthorshipAntti KuusistoAAntti KuusistoResearcherCross-Attention and Encoder-Decoder Transformers: A Logical CharacterizationWCross-Attention and Enc...preprint / 2026Veeti AhvonenAVeeti AhvonenResearcherDamian HeimanADamian HeimanResearcherMiguel MorenoAMiguel MorenoResearcherMatias SelinAMatias SelinResearcherOn expressive rule-based logicsWOn expressive rule-base...preprint / 2022Optimal protocols for the most difficult repeated coordination gamesWOptimal protocols for t...preprint / 2020Undecidable First-Order Theories of Affine GeometriesWUndecidable First-Order...preprint / 2012Team Semantics and Recursive EnumerabilityWTeam Semantics and Recu...preprint / 2014Logic in Computer ScienceTLogic in Computer Science2208 worksArtificial IntelligenceTArtificial Intelligence22915 worksAlgebraic classifications for fragments of first-order logic and beyondWAlgebraic classificatio...preprint / 2023First-order logic with self-referenceWFirst-order logic with ...preprint / 2022Bounded game-theoretic semantics for modal mu-calculusWBounded game-theoretic ...preprint / 2020Complexity of two-variable Dependence Logic and IF-LogicWComplexity of two-varia...preprint / 2011One-dimensional fragment of first-order logicWOne-dimensional fragmen...preprint / 2014Complexity and Expressivity of Uniform One-Dimensional Fragment with EqualityWComplexity and Expressi...preprint / 2014Decidability of predicate logics with team semanticsWDecidability of predica...preprint / 2016
Person18 links

Antti Kuusisto

Researcher

PaperCross-Attention and Encoder-Decoder Transformers: A Logical CharacterizationAuthorship / preprint / 2026PersonVeeti AhvonenCo-authorship / ResearcherPersonDamian HeimanCo-authorship / ResearcherPersonMiguel MorenoCo-authorship / ResearcherPersonMatias SelinCo-authorship / ResearcherPaperOn expressive rule-based logicsAuthorship / preprint / 2022PaperOptimal protocols for the most difficult repeated coordination gamesAuthorship / preprint / 2020PaperUndecidable First-Order Theories of Affine GeometriesAuthorship / preprint / 2012

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)