|
Acta Informatica
''Acta Informatica'' is a Peer review, peer-reviewed scientific journal publishing original research papers in computer science. The journal is known mostly for publications in theoretical computer science. One of the two 1988 papers awarded the Gödel Prize in 1995 has appeared in this journal. The editor-in-chief is Christel Baier (Technische Universität Dresden). According to the ''Journal Citation Reports'', the journal had a 2020 impact factor of 0.375. References External links * Publications established in 1971 Springer Science+Business Media academic journals Computer science journals English-language journals Formal methods publications 8 times per year journals {{compu-journal-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Christel Baier
Christel Baier (born 26 September 1965) is a German theoretical computer scientist known for her work in model checking, temporal logic, and automata theory. She is a professor at TU Dresden, where she holds the chair for Algebraic and Logic Foundations of Computer Science in the Faculty of Computer Science. Baier is the editor-in-chief of ''Acta Informatica''. Education and career Baier earned a diploma in mathematics at the University of Mannheim in 1990, and stayed at the same university for graduate study in computer science, completing her Ph.D. there in 1994. Her dissertation, ''Transitionssystem- und Baum-Semantiken für CCS'', was supervised by Mila Majster-Cederbaum. She earned a habilitation at Mannheim in 1999. She became an associate professor for computer science at the University of Bonn in 1999, and moved to TU Dresden as a professor in 2006. Book With Joost-Pieter Katoen, Baier is coauthor of the book ''Principles of Model Checking'' (MIT Press, 2008). Recogni ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Technische Universität Dresden
TU Dresden (for german: Technische Universität Dresden, abbreviated as TUD and often wrongly translated as "Dresden University of Technology") is a public research university, the largest institute of higher education in the city of Dresden, the largest university in Saxony and one of the 10 largest universities in Germany with 32,389 students . The name Technische Universität Dresden has only been used since 1961; the history of the university, however, goes back nearly 200 years to 1828. This makes it one of the oldest colleges of technology in Germany, and one of the country’s oldest universities, which in German today refers to institutes of higher education that cover the entire curriculum. The university is a member of TU9, a consortium of the nine leading German Institutes of Technology. The university is one of eleven German universities which succeeded in the Excellence Initiative in 2012, thus getting the title of a "University of Excellence". The TU Dresden succee ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
English-language Journals
English is a West Germanic languages, West Germanic language of the Indo-European language family, with its earliest forms spoken by the inhabitants of early medieval England. It is named after the Angles, one of the ancient Germanic peoples that migrated to the island of Great Britain. Existing on a dialect continuum with Scots language, Scots, and then closest related to the Low German, Low Saxon and Frisian languages, English is Genetic relationship (linguistics), genealogically West Germanic language, West Germanic. However, its vocabulary is also distinctively influenced by Langues d'oïl, dialects of France (about List of English words of French origin, 29% of Modern English words) and Latin (also about 29%), plus some grammar and a small amount of core vocabulary influenced by Old Norse (a North Germanic language). Speakers of English are called Anglophones. The earliest forms of English, collectively known as Old English, evolved from a group of West Germanic (Ingvae ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Science Journals
A computer is a machine that can be programmed to carry out sequences of arithmetic or logical operations (computation) automatically. Modern digital electronic computers can perform generic sets of operations known as programs. These programs enable computers to perform a wide range of tasks. A computer system is a nominally complete computer that includes the hardware, operating system (main software), and peripheral equipment needed and used for full operation. This term may also refer to a group of computers that are linked and function together, such as a computer network or computer cluster. A broad range of industrial and consumer products use computers as control systems. Simple special-purpose devices like microwave ovens and remote controls are included, as are factory devices like industrial robots and computer-aided design, as well as general-purpose devices like personal computers and mobile devices like smartphones. Computers power the Internet, which links ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer Science+Business Media Academic Journals
Springer or springers may refer to: Publishers * Springer Science+Business Media, aka Springer International Publishing, a worldwide publishing group founded in 1842 in Germany formerly known as Springer-Verlag. ** Springer Nature, a multinational academic publishing group created by the merger of Springer Science+Business Media, Nature Publishing Group, Palgrave Macmillan, and Macmillan Education * Axel Springer SE, an important conservative German publishing house, including several newspapers * Springer Publishing Company, an American publishing company of academic journals and books, focusing on public health and the like Places ;United States * Springer, New Mexico * Springer, Oklahoma * Springer Mountain, southern terminus of the Appalachian Trail * Springer Opera House, Columbus, Georgia Animals * In cattle, a cow or heifer near to calving * English Springer Spaniel, a breed of dog * Welsh Springer Spaniel, a breed of dog * Springer (orca), a wild orca (killer whale) also ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Publications Established In 1971
To publish is to make content available to the general public.Berne Convention, article 3(3) URL last accessed 2010-05-10.Universal Copyright Convention, Geneva text (1952), article VI . URL last accessed 2010-05-10. While specific use of the term may vary among countries, it is usually applied to text, images, or other audio-visual content, including paper ( |
Thomson Reuters
Thomson Reuters Corporation ( ) is a Canadian multinational media conglomerate. The company was founded in Toronto, Ontario, Canada, where it is headquartered at the Bay Adelaide Centre. Thomson Reuters was created by the Thomson Corporation's purchase of the British company Reuters Group in April 2008. It is majority-owned by The Woodbridge Company, a holding company for the Thomson family. History Thomson Corporation The forerunner of the Thomson company was founded by Roy Thomson in 1934 in Ontario, as the publisher of ''The Timmins Daily Press''. In 1953, Thomson acquired the ''Scotsman'' newspaper and moved to Scotland the following year. He consolidated his media position in Scotland in 1957, when he won the franchise for Scottish Television. In 1959, he bought the Kemsley Group, a purchase that eventually gave him control of the '' Sunday Times''. He separately acquired the ''Times'' in 1967. He moved into the airline business in 1965, when he acquired Britanni ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Impact Factor
The impact factor (IF) or journal impact factor (JIF) of an academic journal is a scientometric index calculated by Clarivate that reflects the yearly mean number of citations of articles published in the last two years in a given journal, as indexed by Clarivate's Web of Science. As a journal-level metric, it is frequently used as a proxy for the relative importance of a journal within its field; journals with higher impact factor values are given the status of being more important, or carry more prestige in their respective fields, than those with lower values. While frequently used by universities and funding bodies to decide on promotion and research proposals, it has come under attack for distorting good scientific practices. History The impact factor was devised by Eugene Garfield, the founder of the Institute for Scientific Information (ISI) in Philadelphia. Impact factors began to be calculated yearly starting from 1975 for journals listed in the ''Journal Citation Rep ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Journal Citation Reports
''Journal Citation Reports'' (''JCR'') is an annual publicationby Clarivate Analytics (previously the intellectual property of Thomson Reuters). It has been integrated with the Web of Science and is accessed from the Web of Science-Core Collections. It provides information about academic journals in the natural sciences and social sciences, including impact factors. The ''JCR'' was originally published as a part of ''Science Citation Index''. Currently, the ''JCR'', as a distinct service, is based on citations compiled from the '' Science Citation Index Expanded'' and the '' Social Sciences Citation Index''.- - - Basic journal information The information given for each journal includes: * the basic bibliographic information of publisher, title abbreviation, language, ISSN * the subject categories (there are 171 such categories in the sciences and 54 in the social sciences) Citation information * Basic citation data: ** the number of articles published during that year and ** ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Editor-in-chief
An editor-in-chief (EIC), also known as lead editor or chief editor, is a publication's editorial leader who has final responsibility for its operations and policies. The highest-ranking editor of a publication may also be titled editor, managing editor, or executive editor, but where these titles are held while someone else is editor-in-chief, the editor-in-chief outranks the others. Description The editor-in-chief heads all departments of the organization and is held accountable for delegating tasks to staff members and managing them. The term is often used at newspapers, magazines, yearbooks, and television news programs. The editor-in-chief is commonly the link between the publisher or proprietor and the editorial staff. The term is also applied to academic journals, where the editor-in-chief gives the ultimate decision whether a submitted manuscript will be published. This decision is made by the editor-in-chief after seeking input from reviewers selected on the basis of re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Informatics (academic Field)
Informatics is the study of computational systems, especially those for data storage and retrieval. According to ACM ''Europe and'' ''Informatics Europe'', informatics is synonymous with computer science and computing as a profession, in which the central notion is transformation of information. In other countries, the term "informatics" is used with a different meaning in the context of library science. Different meanings In some countries, depending on local interpretations, the term "informatics" is used synonymously to mean information systems, information science, information theory, information engineering, information technology, information processing, or other theoretical or practical fields. In Germany, the term ''informatics'' almost exactly corresponds to modern computer science. Accordingly, universities in continental Europe usually translate "informatics" as computer science, or sometimes information and computer science, although technical universities may tr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
