Eric Koskinen
Eric Koskinen publishes mostly in Artificial Intelligence, Computer Networks and Communications and Computational Theory and Mathematics, on topics such as Logic, programming, and type systems, Distributed systems and fault tolerance and Formal Methods in Verification.
- World rank
- #889,029 of 7,710,434 ranked researchers
- Rank in United States
- #293,689 of 1,627,098
- Works
- 75
- Citations
- 1.5k
- Citations per work
- 20.0
What does Eric Koskinen research?
Eric Koskinen's work is mostly in Computer Science (91%).
Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.
The fields and subfields, with their numbers
- Physical Sciences6891.3%
- Computer Science6891.3%
- Everything else78.7%
- 1Artificial Intelligence30% of their works
- 2Computer Networks and Communications26% of their works
- 3Computational Theory and Mathematics14% of their works
- 4Hardware and Architecture9% of their works
- 5Software6% of their works
- 6Information Systems6% of their works
Research topics
- Logic, programming, and type systems
- Distributed systems and fault tolerance
- Formal Methods in Verification
- Parallel Computing and Optimization Techniques
- Security and Verification in Computing
- Software System Performance and Reliability
- Software Testing and Debugging Techniques
- Advanced Software Engineering Methodologies
Which keywords describe Eric Koskinen's research?
The keywords of their largest research topics: Model Checking, Distributed Systems, Formal Verification, Static Analysis, Consistency, Fault Tolerance, Satisfiability Modulo Theories and Symbolic Model Checker.
- Self-Adaptive Systems
- Software Fault Localization
- Log Analysis
- Side-Channel Attacks
- Performance Optimization
- Symbolic Model Checker
- Fault Tolerance
- Static Analysis
- Distributed Systems
- Model Checking
- Formal Verification
- Consistency
- Satisfiability Modulo Theories
- Parallel Computing
- Security Policies
- Automated Testing
- Performance Prediction
- Autonomic Computing
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 18 words, with their numbers
- Model Checking632 topics
- Distributed Systems422 topics
- Formal Verification351 topic
- Static Analysis351 topic
- Consistency341 topic
- Fault Tolerance341 topic
- Satisfiability Modulo Theories281 topic
- Symbolic Model Checker281 topic
- Parallel Computing171 topic
- Performance Optimization171 topic
- Security Policies161 topic
- Side-Channel Attacks161 topic
- Automated Testing81 topic
- Log Analysis81 topic
- Performance Prediction81 topic
- Software Fault Localization81 topic
- Autonomic Computing71 topic
- Self-Adaptive Systems71 topic
Where does Eric Koskinen work?
Eric Koskinen's main affiliation in the publication record is Stevens Institute of Technology, United States.
How many publications and citations does Eric Koskinen have?
OpenAlex counts 75 works and 1,499 citations for Eric Koskinen, an h-index of 19, ranking #889,029 of 7,710,434 researchers worldwide on the quality score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.
Discussion
Ask a question or share a note about Eric Koskinen. Posts are plain text and can be reported.