Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(46)
Ullrich Hustadt
39
Dmitry Tishkovsky
16
Lilia Georgieva
6
Hans Jürgen Ohlbach
5
Boris Konev
4
Conferences
(17)
CADE
10
RelMiCS
7
AIML
5
TABLEAUX
4
DLog
3
Journals
(18)
JAR
4
LOGCOM
3
ENTCS
3
JSC
2
AMAI
2
Keywords
(78)
Embed
Subscribe
Academic
Authors
Renate A. Schmidt
Edit
Renate A. Schmidt
University of Manchester
Publications: 91
|
Citations: 956
|
G-Index: 26
|
H-Index: 18
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Algorithms & Theory
,
Artificial Intelligence
,
Scientific Computing
View FAQ about top research area and research interests
Collaborated with
46 co-authors
from 1991 to 2011
; Cited by
384 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(91)
BibTeX
|
RIS
|
RefWorks
Download
A Tableau Calculus for Minimal Modal Model Generation
Fabio Papacchini
,
Renate A. Schmidt
Journal:
Electronic Notes in Theoretical Computer Science - ENTCS
, vol. 278, pp. 159-172, 2011
Automated Synthesis of Tableau Calculi
Renate A. Schmidt
,
Dmitry Tishkovsky
Journal:
Computing Research Repository - CORR
, vol. abs/1104.4, 2011
Preface: Special Issue of Selected Extended Papers of CADE22
Renate A. Schmidt
,
Brigitte Pientka
Published in 2011.
A Tableau Method for Checking Rule Admissibility in S4
(
Citations: 3
)
Sergey Babenyshev
,
Vladimir V. Rybakov
,
Renate A. Schmidt
,
Dmitry Tishkovsky
Journal:
Electronic Notes in Theoretical Computer Science - ENTCS
, vol. 262, pp. 17-32, 2010
Simulation and Synthesis of Deduction Calculi
(
Citations: 1
)
Renate A. Schmidt
Journal:
Electronic Notes in Theoretical Computer Science - ENTCS
, vol. 262, pp. 221-229, 2010
Order by:
Citations
(956 times by 461 publications)
On Deciding Satisfiability by Theorem Proving with Speculative Inferences
(
Citations: 2
)
Maria Paola Bonacina
,
Christopher A. Lynch
,
Leonardo de Moura
Published in 2011.
A Foundational View on Integration Problems
(
Citations: 1
)
Florian Rabe
,
Michael Kohlhase
,
Claudio Sacerdoti Coen
Journal:
Computing Research Repository - CORR
, vol. abs/1105.2, 2011
Semantic web reasoners and languages
(
Citations: 1
)
Ravi Bhushan Mishra
,
Sandeep Kumar
Journal:
Artificial Intelligence Review - AIR
, vol. 35, no. 4, pp. 339-368, 2011
Axiomatizability of representable domain algebras
Robin Hirsch
,
Szabolcs Mikulás
Journal:
The Journal of Logic and Algebraic Programming - JLP
, vol. 80, no. 2, pp. 75-91, 2011
Resolution with Order and Selection for Hybrid Logics
Carlos Areces
,
Daniel Gorín
Journal:
Journal of Automated Reasoning - JAR
, vol. 46, no. 1, pp. 1-42, 2011
Comments