CINECA IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.185 0 0 0 0 0 0 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.231 21 161 23 179 372 336 139 0 0 0 0 0
Totale 16.122