Information and Computation

Venue (Journal)

Homepage

Also Known As

Information & computation

5.8K

Publications

111.1K

Citations

423

Concepts

About

Information and Computation is a journal.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	121	1.1K	76.2K
2	Business	28	53	3.2K
3	Education	19	27	1.5K
4	Arts	6	6	175
5	Humanities	1	1	65

Information and Computation

5.8K

Publications

111.1K

Citations

Showing yearly statistics from 2000-2026.

Page 1

	Year	Citations
A calculus of mobile processes, I Robin Milner, Joachim Parrow, David Walker Information and Computation Mobile ProcessesMobile AgentMobile ComputingProcess CalculusMobile Computing System	1992	2.8K
Symbolic model checking: 1020 States and beyond Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan, Information and Computation EngineeringAutomated ReasoningVerificationFormal MethodsSymbolic Model Checking	1992	2.7K
Learning regular sets from queries and counterexamples Dana Angluin Information and Computation EngineeringInformation RetrievalData ScienceData MiningAutomated Reasoning	1987	2.1K
The Weighted Majority Algorithm N. Littlestone, Manfred K. Warmuth Information and Computation EngineeringComputational Social ChoiceData MiningPreference AggregationKnowledge Discovery	1994	2K
A calculus of mobile processes, II Robin Milner, Joachim Parrow, David Walker Information and Computation Mathematical ProgrammingMobile ProcessesEngineeringStochastic SystemStochastic Calculus	1992	1.7K
Notions of computation and monads Eugenio Moggi Information and Computation Algebraic LogicEngineeringAutomated ReasoningFunctional Programming LanguageFormal Methods	1991	1.7K
Boosting a Weak Learning Algorithm by Majority Yoav Freund Information and Computation EngineeringMachine LearningData MiningPattern RecognitionWeak Learning Algorithm	1995	1.7K
The monadic second-order logic of graphs. I. Recognizable sets of finite graphs Bruno Courcelle Information and Computation Monadic Second-order LogicGraph TheoryRecognizable SetsEngineeringAutomated Reasoning	1990	1.4K
A Syntactic Approach to Type Soundness Andy Wright, Matthias Felleisen Information and Computation SyntaxType SoundnessType TheoryComputational LinguisticsPhonetics	1994	1.1K
The calculus of constructions Thierry Coquand, Gérard Huet Information and Computation SyntaxAutomated ReasoningType TheoryLanguage StudiesLambda Calculus	1988	1.1K

Page 1