CINECA IRIS Institutional Research Information System

BORGER, EGON
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.619
EU - Europa 3.974
AS - Asia 1.166
AF - Africa 29
SA - Sud America 14
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 3
Totale 14.808
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.236
IT - Italia 1.225
CN - Cina 694
SE - Svezia 610
UA - Ucraina 519
DE - Germania 434
BG - Bulgaria 411
CA - Canada 375
CH - Svizzera 237
FI - Finlandia 216
TR - Turchia 177
FR - Francia 138
VN - Vietnam 126
SG - Singapore 110
GB - Regno Unito 89
RU - Federazione Russa 39
HK - Hong Kong 29
CI - Costa d'Avorio 24
BE - Belgio 20
KR - Corea 14
AT - Austria 11
JP - Giappone 9
BR - Brasile 8
CO - Colombia 5
IN - India 5
MX - Messico 5
NL - Olanda 5
CZ - Repubblica Ceca 4
AU - Australia 3
CR - Costa Rica 3
ES - Italia 3
EU - Europa 3
EE - Estonia 2
HU - Ungheria 2
NG - Nigeria 2
PL - Polonia 2
PT - Portogallo 2
RO - Romania 2
SN - Senegal 2
AR - Argentina 1
EG - Egitto 1
GR - Grecia 1
IL - Israele 1
LU - Lussemburgo 1
LV - Lettonia 1
MY - Malesia 1
Totale 14.808
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.456
Woodbridge 1.405
Houston 1.053
Fairfield 782
Chandler 737
Jacksonville 714
Milan 635
Sofia 410
Ashburn 406
Seattle 376
Ottawa 371
Cambridge 300
Wilmington 273
Bern 236
New York 222
Beijing 209
Nanjing 165
Princeton 158
Lawrence 155
Izmir 141
Jüchen 126
Frankfurt am Main 107
Dearborn 106
Marseille 104
Des Moines 103
Medford 75
Nanchang 74
Dong Ket 69
Singapore 66
Düsseldorf 64
San Diego 39
Rome 38
Changsha 32
Shenyang 32
Ogden 31
Kunming 30
Hong Kong 28
Boulder 26
Kocaeli 26
Abidjan 24
Hebei 20
Brussels 18
Hefei 18
Norwalk 17
Jiaxing 16
Tianjin 16
Orange 15
Verona 14
Boardman 13
Guangzhou 12
Hangzhou 11
Helsinki 11
Redwood City 11
Washington 10
Berlin 9
Istanbul 8
Lanzhou 8
Tokyo 8
Jinan 7
Joinville 7
Los Angeles 7
Serra 7
Munich 6
Fuzhou 5
Pune 5
Tappahannock 5
Bremen 4
Changchun 4
London 4
Vienna 4
Brooklyn 3
Council Bluffs 3
Edinburgh 3
Granada 3
Groningen 3
Kent 3
Mexico City 3
Nuremberg 3
San José 3
Secaucus 3
Shaoxing 3
Taizhou 3
Xian 3
Baltimore 2
Budapest 2
Bénodet 2
Cheadle 2
Chehalis 2
Chongqing 2
Conegliano 2
Costa Mesa 2
Dakar 2
Dortmund 2
Falls Church 2
Florence 2
Hasselt 2
Mannheim 2
Ningbo 2
Philadelphia 2
Phoenix 2
Totale 11.777
Salva come PNG Salva come JPEG
Nome #
Computation and Proof Theory 158
Logic and Machines: Decision Problems and Complexity 143
A High-Level Specification for Semantic Web Service Discovery Services 139
A new general approach to the theory of the many-one equivalence of decision problems for algorithmic systems 136
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach 136
Recursively unsolvable algorithmic problems and related questions reexamined 135
A Practical Method for Rigorously Controllable Hardware Design 135
Correctness proof for the WAM with types 133
Abstract State Machines: A Unifying View of Models of Computation and of System Design Frameworks 132
An Abstract Model for Process Mediation 131
A Mathematical Definition of Full Prolog 129
Modeling Workflow Patterns from First Principles 129
A High-Level Specification for Mediators 129
The Horn complexity of Boolean functions and Cook's problem 128
Logical description of computation processes 127
Correctness of Compiling Occam to Transputer Code 127
Prefix classes of Krom formulae with identity 126
A Framework to Specify Database Update Views for Prolog 126
A description of the Tableau Method using Abstract State Machines 124
A Formal Specification of the PVM Architecture 123
Modeling the meaning of transitions from and to concurrent states in UML State Machines 123
The Abstract State Machines Method for High-Level System Design and Analysis 123
Special Abstract State Machines Issue of Journal of Universal Computer Science 123
A description of the Tableau Method using Abstract State Machines 122
BPMN Core Modeling Concepts: Inheritance-Based Execution Semantics 122
Die m-Grade logischer Entscheidungsprobleme 121
A Model for Mathematical Analysis of Functional Logic Programs and their Implementations 121
Decision problems in predicate logic 120
Computation Theory and Logic 120
A Compositional Framework for Service Interaction Patterns and Interaction Flows 120
Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis 120
Linking the Meaning of Programs to What the Compiler Can Verify 120
Ambient Abstract State Machines with Applications 119
Why use evolving algebras for hardware and software engineering 117
Formal Definition of an Abstract VHDL'93 Simulator by EA-Machines 116
Modeling an Operating System Kernel 116
A logical operational semantics for full Prolog. Part I: Selection core and control 115
Architecture Design and Validation Methods 115
Refining abstract machine specifications of the steam boiler control to well documented executable code 114
Abstract State Machines, B and Z 114
The equivalence of Horn and network complexity for Boolean functions 113
Computability, Complexity, Logic 113
A logical operational semantics for full Prolog. Part III: Built-in predicates for files, terms, arithmetic and input-output 112
Refinement of a typed WAM extension by polymorphic order-sorted types 112
Abstract State Machines 2003--Advances in Theory and Practice 112
A High-Level Specification for Mediators (Virtual Providers) 112
A Practical Method for Specification and Analysis of Exception Handling -- A Java/JVM Case Study 112
Advances in Software Engineering 112
Logical Operational Semantics of Parlog. Part II: Or-Parallelism 110
Abstract State Machines. A Method for System Specification and Analysis 109
Uber einige Interpretationen von Registermaschinen mit Anwendungen auf Entscheidungsprobleme in der Logik, der Algorithmentheorie und der Theorie formaler Sprachen 108
Unsolvable Decision Problems for Prolog Programs 108
On the construction of simple first-order formulae without recursive models 107
Fundamenta Informaticae Special Issue with Selected Papers from ASM'05 107
Construction and Analysis of Ground Models and their Refinements as a Foundation for Validating Computer Based Systems 107
A Method for Verifiable and Validatable Business Process Modeling 107
Spektralproblem and Completeness of Logical Decision Problems 106
Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation 105
An ASM specification of C# threads and the .NET memory model 105
Coupling Design and Verification in Software Product Lines 105
Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen 104
Computer Science Logic CSL'93 104
Proc. 12th International Workshop on Abstract State Machines ASM'05 104
High Level System Design and Analysis using Abstract State Machines 104
From Prolog Algebras towards WAM---A Mathematical Study of Implementation 103
CLAM Specification for Provably Correct Compilation of CLP(R) Programs 103
The r. e. complexity of decision problems for commutative semi-Thue Systems with recursive rule set 103
The Classical Decision Problem 102
Undecidability versus Degree Complexity of Decision Problems for Formal Grammars 101
On formalizing UML state machines using ASMs 101
An ASM Semantics for UML Activity Diagrams 101
Logic as Machine: Complexity Relations between Programs and Formulae 100
Computer Science Logic CSL'87 99
Towards A Mathematical Specification of the APE100 Architecture: the APESE Model 99
A Formal Specification of Parlog 98
Design for Reuse via Structuring Techniques for ASMs 97
Remarks on Turbo ASMs for Functional Equations and Recursion Schemes 97
Logical Operational Semantics of Parlog. Part I: And-Parallelism 96
The Origins and the Development of the ASM Method for High Level System Design and Analysis 96
Abstract State Processes 95
The ASM Ground Model Method as a Foundation for Requirements Engineering 95
Using Abstract State Machines at Microsoft: A Case Study 95
Synchronous Message Passing and Semaphores: An Equivalence Proof 94
Linking architectural and component level system views by Abstract State Machines 93
Conservative reduction classes of Krom formulas 93
Eine entscheidbare Klasse von Kromformeln 92
The Mathematics of Set Predicates in Prolog 92
A logical operational semantics for full Prolog. Part II: Built-in predicates for database manipulations 91
Computer Science Logic CSL'90 91
Specification and Validation Methods 91
Abstract State Machines. A Method for High-Level System Design and Analysis 91
Introduction into the Theory of Computation: A Register Machine Approach 90
Computer Science Logic CSL'88 90
A formal method for provably correct composition of a real--life processor out of basic components (The APE100 reverse engineering project) 90
Konzept einer hierarchischen Erweiterung von EURIS 90
Logical Decision Problems and Complexity of Logic Programs 89
Two new reduction classes in Krom formulae with predicate and function symbols 88
Modeling the Dynamics of UML State Machines 88
A high-level modular definition of the semantics of C# 88
Programmer friendly modular definition of the semantics of Java 87
Totale 11.034
Salva come PNG Salva come JPEG
Categoria #
all - tutte 29.943
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 29.943
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.566 328 271 40 154 327 261 307 167 306 122 244 39
2020/20211.323 185 37 146 65 143 37 144 112 82 144 71 157
2021/20221.446 8 79 11 107 345 257 12 56 110 39 47 375
2022/20231.764 217 134 92 176 228 236 10 160 414 5 80 12
2023/20241.864 449 251 295 121 246 244 7 51 26 32 29 113
2024/20251 1 0 0 0 0 0 0 0 0 0 0 0
Totale 14.892