CORE
🇺🇦Â
 make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
7 research outputs found
Scenario-Based and Value-Based Specification Mining: Better Together
Author
A. Wasylkowski
A. Wasylkowski
+67Â more
C.L. Goues
D. Harel
D. Harel
D. Harel
D. Harel
D. Harel
D. Lo
D. Lo
D. Lo
D. Lo
D. Lo
D. Lo
D. Lo
D. Lo
D. Lo
D. Lorenzoli
D.F. Jerding
David Lo
F. Klein
G. Ammons
G. Sibay
H. Kugler
H. Kugler
H. Safyallah
I. Krüger
J. Han
J. Han
J. Klose
J. Li
J. Quante
J. Sun
J. Wang
J. Wang
J. Yang
K. Olender
L. Mariani
L. Mariani
M. Acharya
M. Acharya
M. Boshernitsan
M. El-Ramly
M. Ernst
M. Gabel
M. Lettrari
M.B. Dwyer
M.D. Ernst
M.K. Ramanathan
M.K. Ramanathan
N. Milea
P.J. Guo
R. Agrawal
R. Agrawal
RA Santelices
S. Maoz
S. Maoz
S. Maoz
S. Maoz
S. Shoham
S. Uchitel
Shahar Maoz
T. Xie
V. Dallmeier
V.B. Livshits
W. Damm
W. Weimer
Z. Li
Z. Xu
Publication venue
'Springer Science and Business Media LLC'
Publication date
01/01/2012
Field of study
Get PDF
Crossref
Institutional Knowledge at Singapore Management University
Publikationsserver der RWTH Aachen University
Model Checking Value-Passing Modal Specifications
Author
A Antonik
A Classen
+19Â more
A Fantechi
EM Clarke
G Bruns
GE Sibay
JF Groote
K Pohl
KG Larsen
KG Larsen
L Ã…qvist
M Leucker
MH Beek ter
MH Beek ter
MH Beek ter
N Beneš
P Asirelli
P DeMaio
R De Nicola
R Meolic
R Nicola De
Publication venue
'Springer Science and Business Media LLC'
Publication date
Field of study
Full text link
Crossref
Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering
Author
A. Antonik
A. Fantechi
+19Â more
D. Fischbein
D. Fischbein
D. Fischbein
D. Harel
E. Letier
G. Brunet
G. Sibay
H. Hüttel
I. Krka
K.G. Larsen
K.G. Larsen
K.G. Larsen
M. Huth
N. D’Ippolito
R. Milner
R.J. Gabbeek van
S. Uchitel
S. Uchitel
Y. Bontemps
Publication venue
'Springer Science and Business Media LLC'
Publication date
01/01/2009
Field of study
No full text
Crossref
A correlative study on the occurrence of retinopathy and nephropathy in sucrose-fed diabetic rats
Author
A. E. Gonet
A. M. Cohen
+37Â more
A. M. Cohen
A. M. Cohen
A. M. Cohen
A. Patz
Aharon M. Cohen
B. Becker
B. Hellman
D. B. Hackel
D. D. Gellman
D. Pometta
Eliezer Rosenmann
G. E. Gibbs
G. E. Honey
G. Engleson
G. U. Mann
H. Kuhlmann
H. R. Hausler
H. Ørskov
J. E. Lawe
J. L. Federman
J. M. B. Bloodworth Jr.
J. M. B. Bloodworth Jr.
J. M. B. Bloodworth Jr.
J. M. B. Bloodworth Jr.
Lutza Yanko
N. Ashton
N. Ashton
N. Ashton
R. A. Camerini-Dávalos
R. Day
R. Kirschner
R. L. Engerman
R. L. Engerman
R. Levene
T. Kornerup
T. M. Sibay
V. G. Foglia
Publication venue
'Springer Science and Business Media LLC'
Publication date
Field of study
No full text
Crossref
Identification and Distribution of 14.3.3σ (Stratifin) in the Human Cornea
Author
Benziger A
Chan T A
+28Â more
Collier S A
Ferguson A T
Fini E
Ghaffari A
Ghahary A
Guweidhi A
Hermeking H
Hermeking H
Joyce N C
Lam E
Laura P. Zanello
Lee G A
Lodygin D
Lodygin D
Mhawech P
Nakanishi K
Netto M V
Oliva M S
Pamela Farthing-Nayak
Ramesh Nayak
Shevchenko A
Shields C L
Sibay T M
Steely H T
Susana B. Zanello
Van Hemert M J
Wang L
Wilker E
Publication venue
'Informa UK Limited'
Publication date
Field of study
No full text
Crossref
Supporting incremental behaviour model elaboration
Author
A Bertolino
A Dardenne
+85Â more
A Finkelstein
A Gurfinkel
A Lamsweerde van
A Lamsweerde van
A Lamsweerde van
A Pnueli
Alessandra Russo
B Meyer
CAR Hoare
D Alrajeh
D Alrajeh
D Alrajeh
D Alrajeh
D Alrajeh
D Alrajeh
D Beatty
D Dams
D Fischbein
D Fischbein
D Fischbein
D Giannakopoulou
D Harel
D Sykes
Dalal Alrajeh
Dario Fischbein
Diego Garbervetsky
DL Parnas
DS Rosenblum
E Asarin
E Clarke
E Letier
E Letier
E Zoppi
G Caso de
G Caso de
G Sibay
German Sibay
Guido De Caso
HT Van
I Alexander
IEEE
J Kramer
Jeff Kramer
K Chatterjee
K Larsen
KG Larsen
KG Larsen
L Alfaro de
M Autili
M Chechik
M Chechik
M Fitting
M Gelfond
M Jackson
M Jackson
M Sassolas
Marsha Chechik
MS Feather
N D’Ippolito
N D’Ippolito
N D’Ippolito
N Piterman
Nicolas D’Ippolito
P Bertoli
P Bertoli
PJG Ramadge
R Alur
R Darimont
R DeLine
R Keller
R Milner
RA Kowalski
RJ Gabbeek van
RS Pressman
S Ben-David
S Uchitel
S Uchitel
S Uchitel
S Uchitel
SA Kripke
Sebastian Uchitel
Shoham Ben-David
Victor Braberman
W Grieskamp
W Heaven
Publication venue
'Springer Science and Business Media LLC'
Publication date
Field of study
No full text
Crossref
Funduscopic findings following cataract extraction by means of phacoemulsification in diabetic dogs: 52 cases (1993-2003)
Author
Antcliff RJ
Bagley LH
+54Â more
Barnett KC
Basher AW
Benson WE
Bron AJ
Burger W
David L. Panciera
Early Treatment Diabetic Retinopathy Study Group
Early Treatment Diabetic Retinopathy Study Group
Engerman RL
Engerman RL
Fox SM
Frank RN
Frank RN.
Goldstein DE
Gwin RM
Ian P. Herring
Ivanisevic M
Jaffe GJ
Jaffe GJ
Jain IS
Kern TS
Keyes JEL
Kinyoun JL
Klein BEK
Klein R
Klein R
Krepler K
Littman MP
Marshall G
Matthew P. Landry
Merimee TJ
Monti F
Moss SE
Moss SE
Munana KR
Narfstrom K
Ono K
Patz A
Patz A
Paulsen ME
Pollack A
Ricketts AP
Rubin LF
Sibay TM
Stiles J
Struble AL
Tapp RJ
The DAMAD Study Group
The Diabetes Control and Complications Group
Toole DO
Valone
van den Broek AHM
Wyman M
Yee RW
Publication venue
'American Veterinary Medical Association (AVMA)'
Publication date
Field of study
No full text
Crossref